soot.jimple.spark.builder

Class ContextInsensitiveBuilder

java.lang.Object

soot.jimple.spark.builder.ContextInsensitiveBuilder

public class ContextInsensitiveBuilder
extends java.lang.Object

A context insensitive pointer assignment graph builder.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor and Description
ContextInsensitiveBuilder()

Method Summary

Methods

Modifier and Type	Method and Description
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)