BODY
JawaMethod
ResolveLevel
BRANCH_PROPERTY_KEY
ControlFlowGraph
InterproceduralControlFlowGraph
BUFSIZE
ZipUtil
BackwardCallChain
reachability
Base
core
BuildICFGFromExistingPTAResult
pta
Bytes
Streamable
backend
core
baseName
Base
PointBaseL
PointBaseR
baseP
Field
PointFieldL
PointFieldR
baseTyp
JawaType
baseType
JawaType
basis
Calculated
binary
ClassRepresentation
ClassRep
body
MyMethod
bodyTemplate
MethodGenerator
breakPiEdges
PointerAssignmentGraph
buffer
ZipUtil
bufferReader
ZipUtil
bufferedInput
Bytes
bufferedOutput
AbstractFile
File
bufferedReader
Chars
bufferedWriter
File
build
ControlFlowGraph
InterproceduralDataDependenceAnalysis
InterproceduralReachingDefinitionAnalysis
InterproceduralMonotoneDataFlowAnalysisFramework
InterproceduralSuperSpark
IntraprocedureSuperSpark
SignatureBasedCallGraph
JawaReachingDefinitionAnalysis
ClassHierarchy
build0
InterproceduralMonotoneDataFlowAnalysisFramework
buildProcedureSymbolTables
JawaSymbolTableBuilder
buildSymbolTable
JawaSymbolTableBuilder
buildingEdges
PointerAssignmentGraph
bytes
Streamable
Bytes
bytesAsInts
Bytes