soot.jimple.spark.builder
Class ContextInsensitiveBuilder

java.lang.Object
  soot.jimple.spark.builder.ContextInsensitiveBuilder

public class ContextInsensitiveBuilder
extends Object

A context insensitive pointer assignment graph builder.

Author:

Ondrej Lhotak

Constructor Summary

ContextInsensitiveBuilder()

Method Summary

void	build() Fills in the pointer assignment graph returned by setup.
protected void	handleClass(SootClass c)
void	preJimplify()
PAG	setup(SparkOptions opts) Creates an empty pointer assignment graph.

Methods inherited from class java.lang.Object

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

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)