Package com.ensoftcorp.open.slice.analysis

Class TaintGraph

  • public class TaintGraph
extends java.lang.Object
    A program dependence graph based taint graph (also known as chopping)
    Author:
    Ben Holland

    • Constructor Summary

      Constructors 
      Constructor Description
      TaintGraph​(com.ensoftcorp.atlas.core.db.graph.Node source, com.ensoftcorp.atlas.core.db.graph.Node sink)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ensoftcorp.atlas.core.query.Q getGraph()  
      com.ensoftcorp.atlas.core.highlight.Highlighter getHighlighter()  
      com.ensoftcorp.atlas.core.markup.IMarkup getMarkup()  
      com.ensoftcorp.atlas.core.db.graph.Node getSink()  
      com.ensoftcorp.atlas.core.db.graph.Node getSource()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • TaintGraph

        public TaintGraph​(com.ensoftcorp.atlas.core.db.graph.Node source,
                  com.ensoftcorp.atlas.core.db.graph.Node sink)

    • Method Detail

      • getSource

        public com.ensoftcorp.atlas.core.db.graph.Node getSource()

      • getSink

        public com.ensoftcorp.atlas.core.db.graph.Node getSink()

      • getGraph

        public com.ensoftcorp.atlas.core.query.Q getGraph()

      • getHighlighter

        public com.ensoftcorp.atlas.core.highlight.Highlighter getHighlighter()

      • getMarkup

        public com.ensoftcorp.atlas.core.markup.IMarkup getMarkup()