Class ContextInsensitiveBuilder


  • public class ContextInsensitiveBuilder
    extends Object
    A context insensitive pointer assignment graph builder.
    Author:
    Ondrej Lhotak
    • Constructor Detail

      • ContextInsensitiveBuilder

        public ContextInsensitiveBuilder()
    • Method Detail

      • preJimplify

        public void preJimplify()
      • setup

        public PAG setup​(SparkOptions opts)
        Creates an empty pointer assignment graph.
      • build

        public void build()
        Fills in the pointer assignment graph returned by setup.
      • handleClass

        protected void handleClass​(SootClass c)