PAGConstraint
suspark
PARAM_NUM
PointerAssignmentGraph
PTAAbstractStringInstance
pta
PTACallee
PointerAssignmentGraph
PTAConcreteStringInstance
pta
PTAInstance
pta
PTAPointStringInstance
pta
PTAResult
pta
PTAScopeManager
pta
PTASlot
pta
PTATupleInstance
pta
PTSMap
PTAResult
PackageEntry
classpath
PackageNameUtils
classpath
Param
core
Path
io
PathResolver
classpath
PathResolverBase
classpath
PathResolverFactory
classpath
PathResolverResult
classpath
PilarAstHelper
core
PilarCodeModelProvider
pilarCodeGenerator
PlainDirectory
io
PlainFile
io
Platform
backend
Point
core
PointArgCall
core
PointArgReturn
core
PointAsmt
core
PointBaseL
core
PointBaseR
core
PointCall
core
PointCastR
core
PointClassO
core
PointExceptionR
core
PointFieldL
core
PointFieldR
core
PointI
core
PointInstanceOfR
core
PointL
core
PointLengthR
core
PointMethod
core
PointMethodRet
core
PointMyArrayL
core
PointMyArrayR
core
PointO
core
PointParamEntry
core
PointParamExit
core
PointR
core
PointRecvCall
core
PointRecvReturn
core
PointRet
core
PointStaticFieldL
core
PointStaticFieldMyArrayL
core
PointStaticFieldMyArrayR
core
PointStaticFieldR
core
PointStaticI
core
PointStaticMethod
core
PointStringO
core
PointThisEntry
core
PointThisExit
core
PointerAssignmentGraph
suspark
PointsCollector
core
PointsToMap
suspark
Pos
Position
Position
io
PrimitiveTaintSlot
taintAnalysis
PrintReporter
core
Problem
core
Problem1
core
PstProvider
dataFlowAnalysis
Pstr
InterproceduralReachingDefinitionAnalysis
PtaNode
suspark
packageName
JawaBaseType
packagePrefix
PackageNameUtils
packages
Classpath
DirectoryClasspath
FlatClasspathEntries
MergedClasspath
SourcePath
param
MethodBody
paramClasses
MethodGenerator
paramMap
CallInfo
paramName
IDDGEntryParamNode
IDDGExitParamNode
Param
PointParamEntry
PointParamExit
PointThisEntry
PointThisExit
paramPsEntry
Method
PointMethod
PointStaticMethod
paramPsExit
Method
PointMethod
PointStaticMethod
paramTyp
Param
PointParamEntry
PointParamExit
PointThisEntry
PointThisExit
params
JawaMethod
MethodBody
MyMethod
parent
JawaPackage
Path
parents
Path
parse
SSParser
SourceAndSinkManager
TaintTag
ClassfileParser
SourcefileParser
parseCodes
JawaResolver
parseLine
SSParser
path
TaintSimplePath
AbstractFile
FileZipArchive
ManifestResources
NoAbstractFile
Path
PlainFile
SourceFile
URLZipArchive
VirtualDirectory
VirtualFile
ResourceRetriever
pathSeparator
File
paths
TaintAnalysisSimpleResult
pdMap
JawaSymbolTable
pi
PTACallee
pilarCodeGenerator
core
pkg
JawaBaseType
pl
InterproceduralGraph
platform
JawaClasspathManager
point
PtaNode
OffsetPosition
Position
UndefinedPosition
points
PointsCollector
pointsToMap
PTAResult
PointerAssignmentGraph
pointsToSet
PTAResult
PointsToMap
pool
InterproceduralGraph
pos
InstanceTaintSlot
PrimitiveTaintSlot
TaintSimpleNode
TaintSlot
Problem
Position
position
IDDGCallArgNode
IDDGEntryParamNode
IDDGExitParamNode
IDDGReturnArgNode
TypeTaintDescriptor
SourceFile
positionInUltimateSource
SourceFile
positions
TagTaintDescriptor
ppcp
PathResolver
predecessor
InterproceduralControlFlowGraph
printDetail
JawaClass
JawaField
JawaMethod
printDetails
ClassHierarchy
JawaClassLoadManager
printWriter
File
printlnAll
File
problems
DefaultReporter
problems1
DefaultReporter
procDeclTemplate
MethodGenerator
procPoint
PointRet
procSig
InterproceduralSideEffectResult
procedure
IntraproceduralSideEffectResult
MethodBody
procedureSymbolTable
JawaSymbolTable
procedureSymbolTableProducer
JawaSymbolTable
procedureSymbolTables
JawaSymbolTable
procedureUri
MethodBody
procedures
JawaSymbolTable
processCallArg
InterproceduralDataDependenceAnalysis
processCondition
InterproceduralDataDependenceAnalysis
processElement
WorklistAlgorithm
processExp
InterproceduralDataDependenceAnalysis
processLHSs
InterproceduralDataDependenceAnalysis
ReachingFactsAnalysisHelper
processLocation
InterproceduralDataDependenceAnalysis
processObjectAllocation
PointerAssignmentGraph
processRHSs
InterproceduralDataDependenceAnalysis
ReachingFactsAnalysisHelper
processStaticCall
PointerAssignmentGraph
processVirtualBody
InterproceduralDataDependenceAnalysis
projectName
Global
propagatePointsToSet
PointsToMap
propertyMap
InterproceduralNode
JawaElement
proto
Signature
pst
TransformIntraMethodResult
pta
alir
InterproceduralSuperSpark
ptaresult
InterproceduralDataFlowGraph