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