N
InterproceduralMonotoneDataFlowAnalysisFramework BuildICFGFromExistingPTAResult InterproceduralSuperSpark
NO
MsgLevel
NOT_LOADED
ResolveLevel
NameSlot
pta
NativeCallModel
model
NewObj
core
NoAbstractFile
io
NoFile
io
NoPosition
io
NoReporter
core
NoSourceFile
io
Node
ControlFlowGraph InterproceduralDataDependenceAnalysis InterproceduralReachingDefinitionAnalysis
NodeListener
dataFlowAnalysis
NormalModelCallHandler
model
name
JawaBaseType JawaField JawaMethod JawaPackage JawaType ClassRepresentation Classpath ClassRep DirectoryClasspath MergedClasspath PackageEntry SourcePath AbstractFile FileZipArchive ManifestResources NoAbstractFile Path PlainFile URLZipArchive VirtualDirectory VirtualFile ResourceRetriever
needCompile
JavaPlatform Platform
newClasspath
JavaContext ClasspathFactory FlatClasspathFactory
newICFGCallNode
InterproceduralControlFlowGraph
newICFGCenterNode
InterproceduralControlFlowGraph
newICFGEntryNode
InterproceduralControlFlowGraph
newICFGExitNode
InterproceduralControlFlowGraph
newICFGNormalNode
InterproceduralControlFlowGraph
newICFGReturnNode
InterproceduralControlFlowGraph
newIDDGCallArgNode
DataDependenceBaseGraph
newIDDGCenterNode
DataDependenceBaseGraph
newIDDGEntryNode
DataDependenceBaseGraph
newIDDGEntryParamNode
DataDependenceBaseGraph
newIDDGExitParamNode
DataDependenceBaseGraph
newIDDGNormalNode
DataDependenceBaseGraph
newIDDGReturnArgNode
DataDependenceBaseGraph
newIDDGReturnVarNode
DataDependenceBaseGraph
newIDDGVirtualBodyNode
DataDependenceBaseGraph
newNode
PointerAssignmentGraph
newOutputStream
JarWriter
newTaintNode
TaintGraph
nextLocTable
MethodBody
node
PTACallee TaintSink TaintSource
nodeExists
PointerAssignmentGraph
nonParamLocals
MethodBody
normalize
Directory File Path