SSParser
taintAnalysis
STATIC_FIELD_LOAD
EdgeType
STATIC_FIELD_STORE
EdgeType
SU
Chars
SYSTEM_LIBRARY
ClassCategory
ScopeManager
core
SetModel
model
Severity
Reporter
ReporterImpl
ShouldIncludeFlowFunction
ControlFlowGraph
SideEffectAnalysis
sideEffectAnalysis
Signature
core
SignatureBasedCallGraph
reachability
SourceAndSinkManager
taintAnalysis
SourceFile
io
SourceFileEntry
classpath
SourcePath
classpath
SourcefileParser
sourcefile
StaticCallee
interprocedural
StaticFieldSlot
pta
Static_Field
core
Streamable
io
StringBuilderModel
model
StringModel
model
SubStringCounter
util
s
RFAFact
InstanceTaintSlot
PrimitiveTaintSlot
TaintFact
AsLines
safeSlurp
File
saom
JawaAlirInfoProvider
sasFilePath
SourceAndSinkManager
saveFile
ZipUtil
searchAndBuildMethodCall
MethodGenerator
searchRda
InterproceduralDataDependenceAnalysis
PAGConstraint
segments
Path
separatePkgAndClassNames
PackageNameUtils
separatePkgAndTyp
JavaKnowledge
separator
File
Path
separatorStr
Path
setBody
JawaMethod
MyMethod
setCallType
ICFGInvokeNode
setCallbackFunctions
MethodGenerator
setCalleeSet
ICFGInvokeNode
setCalleeSig
ICFGInvokeNode
setCode
CodeFragmentGenerator
setCodeCounter
MethodGenerator
setContainer
Call
Return
setContext
Context
setCurrentComponent
MethodGenerator
setEntryPointClasses
MethodGenerator
setExceptions
JawaMethod
setExecutable
File
setFieldPoint
Base
setInstance
PTAResult
setInstances
PTAResult
setJavaLib
JawaClasspathManager
setLoadedClassBitSet
ICFGNode
setLocIndex
ICFGLocNode
setMode
PTAScopeManager
setOuter
MyClass
setOwner
ICFGNode
setResolvingLevel
JawaClass
JawaMethod
ResolveLevel
setScopeManager
ScopeManager
setSubstituteClassMap
MethodGenerator
setSuperClass
JawaClass
setTags
TaintTag
setUnknown
JawaElement
sev
Problem
Problem1
shouldBypass
PTAScopeManager
DefaultScopeManager
ScopeManager
show
MergedClasspath
showMemoryUsage
JVMUtil
sideEffectAnalysis
alir
siff
JawaAlirInfoProvider
sig
CGDetailCallNode
InvokeSlot
CallChain
Invoke
PointI
PointStaticI
signature
MyMethod
Signature
simpleName
JawaType
sink
TaintSimplePath
sinks
SourceAndSinkManager
TaintAnalysisSimpleResult
sizeOption
AbstractFile
FileZipArchive
PlainFile
VirtualFile
skipWhitespace
SourceFile
slot
RFAFact
slurp
Streamable
Chars
sortString
Classpath
source
TaintSimplePath
ClassRepresentation
ClassRep
OffsetPosition
Position
UndefinedPosition
sourcefile
core
sourcepaths
Classpath
DirectoryClasspath
MergedClasspath
SourcePath
sources
SourceAndSinkManager
TaintAnalysisSimpleResult
sourcesInPath
ClasspathContext
ClasspathFactory
FlatClasspathFactory
specToURL
Classpath
split
Classpath
splitCode
LightWeightPilarParser
start
FgSourceFile
OffsetPosition
Position
RangePosition
UndefinedPosition
startSecondJVM
JVMUtil
staticFieldFQN
PointStaticFieldL
PointStaticFieldMyArrayL
PointStaticFieldMyArrayR
PointStaticFieldR
Static_Field
staticInitializerName
JavaKnowledge
storeDetailedCallGraph
CallGraph
storeSimpleCallGraph
CallGraph
strictlyContains
Range
string
PTAConcreteStringInstance
string2path
Path
stripClassExtension
FileUtils
stripExtension
Path
stripJavaExtension
FileUtils
stripSourceExtension
FileUtils
strongDefinitions
JawaDefRef
strongGlobalVarWrites
JawaVarAccesses
subdirectoryNamed
AbstractFile
VirtualDirectory
substituteClassMap
MethodGenerator
successor
InterproceduralControlFlowGraph
superClass
JawaClass
superType
MyClass
suspark
pta
symbolResolver
core
symbolTable
MethodBody
symbolTableProducer
MethodBody