Package pascal.taie.frontend.soot

Class SootWorldBuilder

java.lang.Object

pascal.taie.AbstractWorldBuilder

pascal.taie.frontend.soot.SootWorldBuilder

All Implemented Interfaces:

WorldBuilder

public class SootWorldBuilder
extends AbstractWorldBuilder

Field Summary

Fields inherited from class pascal.taie.AbstractWorldBuilder

implicitEntries, JREs

Constructor Summary

Constructors

Constructor	Description
SootWorldBuilder()

Method Summary

Modifier and Type	Method	Description
void	build(Options options, List<AnalysisConfig> analyses)	Builds a new instance of World and make it globally accessible through static methods of World.
protected static void	buildClasses(ClassHierarchy hierarchy, soot.Scene scene)

Methods inherited from class pascal.taie.AbstractWorldBuilder

getClassPath, getInputClasses, getNativeModel

Methods inherited from class java.lang.Object

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

Constructor Details

SootWorldBuilder

public SootWorldBuilder()

Method Details

build

public void build(Options options,
 List<AnalysisConfig> analyses)

Description copied from interface: WorldBuilder

Builds a new instance of World and make it globally accessible through static methods of World. TODO: remove analyses.

Parameters:

options - the options

analyses - the analyses to be executed

buildClasses

protected static void buildClasses(ClassHierarchy hierarchy,
 soot.Scene scene)