class icon trait icon trait icon trait icon
    1. akka
        1. akka.pattern
        2. org
            1. org.sireum
                1. org.sireum.amandroid
                  1. (object)
                    AndroidConstants
                  2. (object)
                    AndroidGlobalConfig
                  3. (object)(case class)Apk
                  4. (case class)InvalidApk
                  1. org.sireum.amandroid.alir
                      1. org.sireum.amandroid.alir.componentSummary
                        1. (class)ApkYard
                        2. (object)(class)ComponentBasedAnalysis
                        3. (trait)ComponentSummaryProvider
                        4. (object)(class)ComponentSummaryTable
                        5. (trait)CSTCallee
                        6. (trait)CSTCaller
                        7. (trait)CSTContent
                        8. (class)Intent_Summary
                        9. (case class)IntentCallee
                        10. (case class)IntentCaller
                        11. (class)LightweightCSTBuilder
                        12. (class)RPC_Summary
                        13. (case class)RPCCallee
                        14. (case class)RPCCaller
                        15. (class)Storage_Summary
                        16. (case class)StorageCallee
                        17. (case class)StorageCaller
                      2. org.sireum.amandroid.alir.dataRecorder
                        1. (case class)AmandroidResult
                        2. (object)
                          DataCollector
                        3. (object)
                          MetricRepo
                      3. org.sireum.amandroid.alir.pta
                          1. org.sireum.amandroid.alir.pta.reachingFactsAnalysis
                            1. (object)
                              AndroidReachingFactsAnalysis
                            2. (class)AndroidReachingFactsAnalysisBuilder
                            3. (object)
                              AndroidReachingFactsAnalysisConfig
                            4. (object)
                              AndroidReachingFactsAnalysisHelper
                            5. (object)
                              AndroidRFAConfig
                            6. (class)AndroidRFAScopeManager
                            7. (object)
                              IntentHelper
                            1. org.sireum.amandroid.alir.pta.reachingFactsAnalysis.model
                              1. (object)
                                ActivityModel
                              2. (object)
                                AndroidModelCallHandler
                              3. (object)
                                BundleModel
                              4. (object)
                                BypassedModel
                              5. (object)
                                ComponentNameModel
                              6. (object)
                                FrameworkMethodsModel
                              7. (object)
                                HandlerModel
                              8. (object)
                                IntentFilterModel
                              9. (object)
                                IntentModel
                              10. (object)
                                InterComponentCommunicationModel
                              11. (object)
                                LifecycleMethodModel
                              12. (object)
                                UriModel
                        1. org.sireum.amandroid.alir.sideEffectAnalysis
                          1. (object)
                            AndroidLibSideEffectAnalysis
                        2. org.sireum.amandroid.alir.taintAnalysis
                          1. (object)
                            AndroidDataDependentTaintAnalysis
                          2. (class)AndroidSourceAndSinkManager
                          3. (class)DataLeakageAndroidSourceAndSinkManager
                          4. (class)DefaultAndroidSourceAndSinkManager
                          5. (object)
                            SourceAndSinkCategory
                      4. org.sireum.amandroid.appInfo
                        1. (case class)ApkCertificate
                        2. (case class)ApkCertificateFingerprints
                        3. (object)
                          ApkCertificateReader
                        4. (case class)ApkCertificateSignature
                        5. (case class)ApkCertificateValidity
                        6. (case class)ApkPublicKey
                        7. (object)
                          AppInfoCollector
                        8. (class)ReachableInfoCollector
                      5. org.sireum.amandroid.cache
                        1. (class)AndroidCacheFile
                      6. org.sireum.amandroid.cli
                        1. (object)
                          CryptoMisuse
                        2. (object)
                          CryptoMisuseCli
                        3. (object)
                          Decompiler
                        4. (object)
                          DecompilerCli
                        5. (object)
                          GenGraph
                        6. (object)
                          GenGraphCli
                        7. (object)
                          TaintAnalysis
                        8. (object)
                          TaintAnalyzeCli
                        1. org.sireum.amandroid.cli.concurrent
                          1. (object)
                            Staging
                          2. (object)
                            StagingCli
                        2. org.sireum.amandroid.cli.util
                          1. (object)
                            CliLogger
                      7. org.sireum.amandroid.concurrent
                        1. (trait)AmandroidData
                        2. (class)AmandroidSupervisorActor
                        3. (class)AmandroidSupervisorActorPrioMailbox
                        4. (object)
                          AmandroidTestApplication
                        5. (case class)AnalysisSpec
                        6. (case class)APIMisconfigureResult
                        7. (case class)APIMisconfigureSpec
                        8. (class)ApkInfoCollectActor
                        9. (case class)ApkInfoCollectData
                        10. (case class)ApkInfoCollectFailResult
                        11. (trait)ApkInfoCollectResult
                        12. (case class)ApkInfoCollectSuccResult
                        13. (case class)DecompileData
                        14. (case class)DecompileFailResult
                        15. (class)DecompilerActor
                        16. (trait)DecompilerResult
                        17. (case class)DecompileSuccResult
                        18. (object)
                          DecompileTestApplication
                        19. (trait)Failure
                        20. (class)PointsToAnalysisActor
                        21. (case class)PointsToAnalysisData
                        22. (case class)PointsToAnalysisFailResult
                        23. (trait)PointsToAnalysisResult
                        24. (case class)PointsToAnalysisSuccResult
                        25. (case class)PointsToAnalysisSuccStageResult
                        26. (object)
                          PTAAlgorithms
                        27. (trait)SecResult
                        28. (trait)SecSpec
                        29. (class)SecurityEngineActor
                        30. (case class)SecurityEngineData
                        31. (case class)SecurityEngineFailResult
                        32. (trait)SecurityEngineResult
                        33. (case class)SecurityEngineSuccResult
                        34. (trait)Success
                        35. (case class)TaintAnalysisResult
                        36. (case class)TaintAnalysisSpec
                        1. org.sireum.amandroid.concurrent.util
                          1. (object)
                            GlobalUtil
                      8. org.sireum.amandroid.decompile
                        1. (object)
                          AmDecoder
                        2. (object)
                          ApkDecompiler
                        3. (object)
                          ConverterUtil
                        4. (object)
                          Dex2PilarConverter
                      9. org.sireum.amandroid.dedex
                        1. (object)(trait)DedexTypeResolver
                        2. (trait)DexConstants
                        3. (object)(case class)DexInstructionToPilarParser
                        4. (case class)FillArrayDataTask
                        5. (case class)LabelTask
                        6. (case class)PackedSwitchTask
                        7. (object)(class)PilarDeDex
                        8. (trait)PilarDedexerTask
                        9. (object)
                          PilarModelProvider
                        10. (object)(class)PilarStyleCodeGenerator
                        11. (trait)PilarStyleCodeGeneratorListener
                        12. (case class)PilarTaskCollection
                        13. (case class)SparseSwitchTask
                      10. org.sireum.amandroid.parser
                        1. (object)
                          AbstractAndroidXMLParser
                        2. (trait)AndroidXMLHandler
                        3. (object)
                          AndroidXMLParser
                        4. (class)ARSCFileParser
                        5. (class)ARSCFileParser_apktool
                        6. (case class)Authority
                        7. (case class)ComponentInfo
                        8. (object)
                          ComponentType
                        9. (class)Data
                        10. (class)IntentFilter
                        11. (class)IntentFilterDataBase
                        12. (case class)LayoutControl
                        13. (class)LayoutFileParser
                        14. (object)(class)ManifestParser
                        15. (class)ResourceFileParser
                        16. (class)UriData
                      11. org.sireum.amandroid.pilarCodeGenerator
                        1. (object)
                          AndroidEntryPointConstants
                        2. (class)AndroidEnvironmentGenerator
                        3. (object)
                          AndroidSubstituteClassMap
                      12. org.sireum.amandroid.run
                          1. org.sireum.amandroid.run.csm
                            1. (object)
                              ComponentInfo_run
                            2. (object)
                              CryptoMisuse_run
                            3. (object)
                              HideIconAPI_run
                            4. (object)
                              HttpsMisuse_run
                            5. (object)
                              TaintAnalysis_run
                          2. org.sireum.amandroid.run.framework
                            1. (object)
                              HiddenApi_run
                            2. (object)
                              HiddenApiAnalysis_run
                            3. (object)
                              MalwareHiddenApiUsageStudy
                          3. org.sireum.amandroid.run.report
                            1. (class)LibraryAPICollector
                          4. org.sireum.amandroid.run.test
                            1. (object)
                              ProposalNeeds_run
                            2. (object)
                              UrlCategorize_run
                        1. org.sireum.amandroid.security
                          1. (class)AmandroidSocket
                          2. (trait)AmandroidSocketListener
                          3. (object)
                            AndroidProblemCategories
                          4. (object)
                            TaintAnalysisModules
                          5. (case class)TaintAnalysisTask
                          1. org.sireum.amandroid.security.apiMisuse
                            1. (object)
                              CryptographicConstants
                            2. (object)
                              CryptographicMisuse
                            3. (object)
                              HideIconAPIMisuse
                            4. (object)
                              HttpsMisuse
                            5. (object)
                              LogSensitiveInfo
                          2. org.sireum.amandroid.security.communication
                            1. (class)CommunicationSourceAndSinkManager
                          3. org.sireum.amandroid.security.dataInjection
                            1. (class)IntentInjectionSourceAndSinkManager
                          4. org.sireum.amandroid.security.oauth
                            1. (class)OAuthSourceAndSinkManager
                          5. org.sireum.amandroid.security.password
                            1. (class)PasswordSourceAndSinkManager
                          6. org.sireum.amandroid.security.report
                            1. (class)ReportGen
                        2. org.sireum.amandroid.serialization
                          1. (object)
                            ApkSerializer
                          2. (object)
                            ApkSerTest
                          3. (object)
                            ContextSerializer
                          4. (object)
                            IfDataSerializer
                          5. (object)
                            InstanceSerializer
                          6. (object)
                            IntentFilterDataBaseSerializer
                          7. (object)
                            IntentFilterSerializer
                          8. (object)
                            JawaTypeKeySerializer
                          9. (object)
                            JawaTypeSerializer
                          10. (object)
                            PTAResultSerializer
                          11. (object)
                            PTASlotKeySerializer
                          12. (object)
                            SignatureKeySerializer
                          13. (object)
                            SignatureSerializer
                          1. org.sireum.amandroid.serialization.stage
                            1. (object)
                              Staging
                        3. org.sireum.amandroid.util
                          1. (object)
                            AndroidLibraryAPISummary
                          2. (object)
                            AndroidUrlCollector
                          3. (object)
                            ApkFileUtil
                          4. (object)
                            FixResources
                          5. (object)
                            GetDexFromJar
                          6. (object)
                            PScoutTranslator
                          7. (object)
                            TypedValue
                      13. org.sireum.jawa
                        1. (object)
                          AccessFlag
                        2. (trait)Arg
                        3. (trait)Array
                        4. (trait)Base
                        5. (trait)Call
                        6. (object)(trait)Chars
                        7. (class)ClassHierarchy
                        8. (class)ClassLoadManager
                        9. (object)
                          ClasspathRepresentationType
                        10. (object)
                          Constants
                        11. (object)
                          DefaultLibraryAPISummary
                        12. (class)DefaultReporter
                        13. (class)DefaultScopeManager
                        14. (trait)Dynamic
                        15. (trait)Entry
                        16. (object)
                          ExceptionCenter
                        17. (trait)Exit
                        18. (case class)FatalError
                        19. (trait)Field
                        20. (case class)FieldFQN
                        21. (class)FileReporter
                        22. (class)Global
                        23. (case class)InheritanceError
                        24. (case class)InvalidTypeException
                        25. (trait)Invoke
                        26. (object)(trait)JavaKnowledge
                        27. (case class)JawaBaseType
                        28. (case class)JawaClass
                        29. (trait)JawaClassLoadManager
                        30. (trait)JawaClasspathManager
                        31. (trait)JawaElement
                        32. (case class)JawaField
                        33. (case class)JawaMethod
                        34. (case class)JawaPackage
                        35. (object)(trait)JawaResolver
                        36. (case class)JawaResolverError
                        37. (object)(case class)JawaType
                        38. (trait)Left
                        39. (trait)LibraryAPISummary
                        40. (object)
                          LightWeightPilarParser
                        41. (trait)Loc
                        42. (trait)Method
                        43. (class)MethodBody
                        44. (case class)MethodInvisibleException
                        45. (object)
                          MsgLevel
                        46. (case class)MyClass
                        47. (case class)MyField
                        48. (case class)MyMethod
                        49. (trait)NewObj
                        50. (class)NoReporter
                        51. (trait)Param
                        52. (object)
                          PilarAstHelper
                        53. (class)Point
                        54. (case class)PointArgCall
                        55. (case class)PointArgReturn
                        56. (case class)PointArrayL
                        57. (case class)PointArrayR
                        58. (case class)PointAsmt
                        59. (case class)PointBaseL
                        60. (case class)PointBaseR
                        61. (case class)PointCall
                        62. (case class)PointCastR
                        63. (case class)PointClassO
                        64. (case class)PointExceptionR
                        65. (case class)PointFieldL
                        66. (case class)PointFieldR
                        67. (case class)PointI
                        68. (case class)PointInstanceOfR
                        69. (case class)PointL
                        70. (case class)PointLengthR
                        71. (case class)PointMethod
                        72. (case class)PointMethodRet
                        73. (case class)PointO
                        74. (case class)PointParamEntry
                        75. (case class)PointParamExit
                        76. (case class)PointR
                        77. (case class)PointRecvCall
                        78. (case class)PointRecvReturn
                        79. (case class)PointRet
                        80. (class)PointsCollector
                        81. (case class)PointStaticFieldArrayL
                        82. (case class)PointStaticFieldArrayR
                        83. (case class)PointStaticFieldL
                        84. (case class)PointStaticFieldR
                        85. (case class)PointStaticI
                        86. (case class)PointStaticMethod
                        87. (case class)PointStringO
                        88. (case class)PointThisEntry
                        89. (case class)PointThisExit
                        90. (class)PrintReporter
                        91. (case class)Problem
                        92. (case class)Problem1
                        93. (trait)Reporter
                        94. (trait)ReporterImpl
                        95. (object)(trait)ResolveLevel
                        96. (trait)Return
                        97. (trait)Right
                        98. (object)(trait)ScopeManager
                        99. (object)(case class)Signature
                        100. (trait)Static_Field
                        101. (trait)Virtual
                        1. org.sireum.jawa.alir
                          1. (object)(class)Context
                          2. (object)
                            JawaAlirInfoProvider
                          3. (object)
                            LibSideEffectProvider
                          4. (case class)TransformIntraMethodResult
                          1. org.sireum.jawa.alir.apicheck
                            1. (trait)ApiMisuseChecker
                            2. (case class)ApiMisuseResult
                          2. org.sireum.jawa.alir.callGraph
                            1. (class)CallGraph
                            2. (class)CGCallNode
                            3. (case class)CGDetailCallNode
                            4. (case class)CGEntryNode
                            5. (case class)CGExitNode
                            6. (class)CGNode
                            7. (case class)CGSimpleCallNode
                            8. (class)CGVirtualNode
                          3. org.sireum.jawa.alir.compressedControlFlowGraph
                            1. (trait)AlirIntraProceduralGraphExtra
                            2. (object)(trait)CompressedControlFlowGraph
                          4. org.sireum.jawa.alir.controlFlowGraph
                            1. (object)
                              ControlFlowGraph
                            2. (case class)ICFGCallNode
                            3. (case class)ICFGCenterNode
                            4. (case class)ICFGEntryNode
                            5. (case class)ICFGExitNode
                            6. (class)ICFGInvokeNode
                            7. (class)ICFGLocNode
                            8. (class)ICFGNode
                            9. (case class)ICFGNormalNode
                            10. (case class)ICFGReturnNode
                            11. (class)ICFGVirtualNode
                            12. (class)InterproceduralControlFlowGraph
                          5. org.sireum.jawa.alir.dataDependenceAnalysis
                            1. (trait)DataDependenceBaseGraph
                            2. (class)DefaultInterproceduralDataDependenceInfo
                            3. (case class)IDDGCallArgNode
                            4. (case class)IDDGCenterNode
                            5. (case class)IDDGEntryNode
                            6. (case class)IDDGEntryParamNode
                            7. (case class)IDDGExitParamNode
                            8. (class)IDDGInvokeNode
                            9. (class)IDDGLocNode
                            10. (class)IDDGNode
                            11. (case class)IDDGNormalNode
                            12. (case class)IDDGReturnArgNode
                            13. (case class)IDDGReturnVarNode
                            14. (case class)IDDGVirtualBodyNode
                            15. (class)IDDGVirtualNode
                            16. (object)
                              InterproceduralDataDependenceAnalysis
                            17. (class)InterProceduralDataDependenceGraph
                            18. (trait)InterproceduralDataDependenceInfo
                            19. (object)(class)InterproceduralReachingDefinitionAnalysis
                            20. (class)MultiDataDependenceGraph
                          6. org.sireum.jawa.alir.dataFlowAnalysis
                            1. (trait)CallResolver
                            2. (trait)InterProceduralDataFlowAnalysisResult
                            3. (case class)InterProceduralDataFlowGraph
                            4. (object)
                              InterProceduralMonotoneDataFlowAnalysisFramework
                            5. (trait)InterProceduralMonotoneDataFlowAnalysisResult
                            6. (trait)InterProceduralMonotonicFunction
                            7. (trait)NodeListener
                            8. (trait)PstProvider
                          7. org.sireum.jawa.alir.interProcedural
                            1. (class)Callee
                            2. (case class)InstanceCallee
                            3. (trait)InterProceduralGraph
                            4. (class)InterProceduralNode
                            5. (case class)StaticCallee
                            6. (case class)UnknownCallee
                          8. org.sireum.jawa.alir.pta
                            1. (case class)ArraySlot
                            2. (object)
                              BuildICFGFromExistingPTAResult
                            3. (case class)ClassInstance
                            4. (case class)ClassSlot
                            5. (case class)FieldSlot
                            6. (class)HeapSlot
                            7. (class)Instance
                            8. (case class)InstanceSlot
                            9. (case class)InvokeSlot
                            10. (class)NameSlot
                            11. (class)PTAAbstractStringInstance
                            12. (case class)PTAConcreteStringInstance
                            13. (case class)PTAInstance
                            14. (case class)PTAPointStringInstance
                            15. (object)(class)PTAResult
                            16. (object)
                              PTAScopeManager
                            17. (class)PTASlot
                            18. (case class)PTATupleInstance
                            19. (case class)StaticFieldSlot
                            20. (case class)VarSlot
                            1. org.sireum.jawa.alir.pta.reachingFactsAnalysis
                              1. (object)
                                ReachingFactsAnalysisHelper
                              2. (case class)RFAFact
                              3. (class)RFAFactFactory
                              1. org.sireum.jawa.alir.pta.reachingFactsAnalysis.model
                                1. (object)
                                  ClassModel
                                2. (object)
                                  ConstructorModel
                                3. (object)
                                  ListModel
                                4. (object)
                                  MapModel
                                5. (trait)ModelCallHandler
                                6. (object)
                                  NativeCallModel
                                7. (object)
                                  NormalModelCallHandler
                                8. (object)
                                  ObjectModel
                                9. (object)
                                  SetModel
                                10. (object)
                                  StringBuilderModel
                                11. (object)
                                  StringModel
                                12. (object)
                                  UnknownCallModel
                            2. org.sireum.jawa.alir.pta.suspark
                              1. (object)
                                InterproceduralSuperSpark
                              2. (class)IntraprocedureSuperSpark
                              3. (trait)PAGConstraint
                              4. (class)PointerAssignmentGraph
                              5. (class)PointsToMap
                              6. (case class)PtaNode
                          9. org.sireum.jawa.alir.reachability
                            1. (object)
                              BackwardCallChain
                            2. (object)
                              ReachabilityAnalysis
                            3. (object)
                              SignatureBasedCallGraph
                          10. org.sireum.jawa.alir.reachingDefinitionAnalysis
                            1. (class)JawaDefRef
                            2. (object)
                              JawaReachingDefinitionAnalysis
                            3. (class)JawaVarAccesses
                          11. org.sireum.jawa.alir.sideEffectAnalysis
                            1. (case class)CallInfo
                            2. (trait)InterProceduralSideEffectAnalysisResult
                            3. (case class)InterProceduralSideEffectResult
                            4. (case class)IntraProceduralSideEffectResult
                            5. (object)
                              SideEffectAnalysis
                          12. org.sireum.jawa.alir.taintAnalysis
                            1. (case class)InstanceTaintSlot
                            2. (case class)PrimitiveTaintSlot
                            3. (trait)SourceAndSinkManager
                            4. (object)
                              SSParser
                            5. (case class)TagTaintDescriptor
                            6. (trait)TaintAnalysisResult
                            7. (case class)TaintAnalysisSimpleResult
                            8. (trait)TaintDescriptor
                            9. (case class)TaintFact
                            10. (class)TaintGraph
                            11. (case class)TaintNode
                            12. (trait)TaintPath
                            13. (case class)TaintSimpleNode
                            14. (case class)TaintSimplePath
                            15. (case class)TaintSink
                            16. (trait)TaintSlot
                            17. (object)
                              TaintSlotPosition
                            18. (case class)TaintSource
                            19. (class)TaintTag
                            20. (case class)TypeTaintDescriptor
                          13. org.sireum.jawa.alir.util
                            1. (object)
                              CallHandler
                            2. (object)
                              ExplicitValueFinder
                        2. org.sireum.jawa.backend
                          1. (trait)JavaPlatform
                          2. (trait)Platform
                        3. org.sireum.jawa.classfile
                          1. (object)
                            ClassfileParser
                          2. (class)MyClassVisitor
                        4. org.sireum.jawa.classpath
                          1. (case class)AggregateFlatClasspath
                          2. (trait)ClassFileEntry
                          3. (trait)ClassFileLookup
                          4. (object)(class)Classpath
                          5. (trait)ClasspathFactory
                          6. (trait)ClassRepClasspathEntry
                          7. (object)(trait)ClassRepresentation
                          8. (class)DeltaClasspath
                          9. (class)DirectoryClasspath
                          10. (object)(trait)DirectoryFileLookup
                          11. (object)(case class)DirectoryFlatClasspath
                          12. (object)(case class)DirectoryFlatSourcePath
                          13. (object)
                            FileUtils
                          14. (object)(trait)FlatClasspath
                          15. (object)(case class)FlatClasspathEntries
                          16. (class)FlatClasspathFactory
                          17. (class)FlatClasspathResolver
                          18. (class)JavaClasspath
                          19. (class)MergedClasspath
                          20. (trait)PackageEntry
                          21. (object)
                            PackageNameUtils
                          22. (object)(class)PathResolver
                          23. (class)PathResolverBase
                          24. (object)
                            PathResolverFactory
                          25. (trait)PathResolverResult
                          26. (trait)SourceFileEntry
                          27. (class)SourcePath
                          28. (trait)ZipAndJarFileLookupFactory
                          29. (object)
                            ZipAndJarFlatClasspathFactory
                          30. (object)
                            ZipAndJarFlatSourcepathFactory
                          31. (trait)ZipArchiveFileLookup
                        5. org.sireum.jawa.io
                          1. (object)(class)AbstractFile
                          2. (class)DefinedPosition
                          3. (object)(class)Directory
                          4. (case class)FakePos
                          5. (class)FgSourceFile
                          6. (object)(class)File
                          7. (case class)FileOperationException
                          8. (class)FileZipArchive
                          9. (object)(class)Jar
                          10. (class)JarWriter
                          11. (class)ManifestResources
                          12. (object)
                            NoAbstractFile
                          13. (object)
                            NoFile
                          14. (object)
                            NoPosition
                          15. (object)
                            NoSourceFile
                          16. (class)OffsetPosition
                          17. (object)(class)Path
                          18. (class)PlainDirectory
                          19. (class)PlainFile
                          20. (object)(class)Position
                          21. (case class)Range
                          22. (class)RangePosition
                          23. (class)SourceFile
                          24. (object)
                            Streamable
                          25. (class)UndefinedPosition
                          26. (class)URLZipArchive
                          27. (class)VirtualDirectory
                          28. (class)VirtualFile
                          29. (object)(class)ZipArchive
                        6. org.sireum.jawa.pilarCodeGenerator
                          1. (class)MethodGenerator
                          2. (object)
                            PilarCodeModelProvider
                          3. (class)VariableGenerator
                        7. org.sireum.jawa.sjc
                            1. org.sireum.jawa.sjc.alir
                              1. (object)(trait)ControlFlowGraph
                            2. org.sireum.jawa.sjc.astselect
                              1. (object)(class)AstSelector
                            3. org.sireum.jawa.sjc.codegen
                              1. (object)(class)JavaByteCodeGenerator
                            4. org.sireum.jawa.sjc.compile
                              1. (class)AggressiveCompile
                              2. (class)AlreadyHandledException
                              3. (class)CompileFailed
                              4. (trait)CompileProgress
                              5. (trait)Compilers
                              6. (trait)DefinesClass
                              7. (trait)FeedbackProvidedException
                              8. (trait)JavaCompiler
                              9. (object)(class)JawaCompiler
                              10. (class)MessageOnlyException
                              11. (trait)MultipleOutput
                              12. (trait)Output
                              13. (class)RawCompiler
                              14. (trait)SingleOutput
                              15. (trait)UnprintableException
                              1. org.sireum.jawa.sjc.compile.io
                                1. (object)
                                  AllPassFilter
                                2. (trait)Alternative
                                3. (object)(trait)Alternatives
                                4. (object)
                                  DirectoryFilter
                                5. (object)
                                  ErrorHandling
                                6. (class)ExactFilter
                                7. (object)
                                  ExistsFileFilter
                                8. (object)(trait)FileFilter
                                9. (object)
                                  GlobFilter
                                10. (object)
                                  Hash
                                11. (object)
                                  HiddenFileFilter
                                12. (object)
                                  IO
                                13. (trait)Mapper
                                14. (object)(trait)NameFilter
                                15. (object)
                                  NothingFilter
                                16. (trait)OpenFile
                                17. (object)
                                  Path
                                18. (trait)PathExtra
                                19. (object)(class)PathFinder
                                20. (trait)PathLow
                                21. (class)PatternFilter
                                22. (class)RichFile
                                23. (class)SimpleFileFilter
                                24. (class)SimpleFilter
                                25. (class)TranslatedException
                                26. (class)TranslatedIOException
                                27. (object)(class)Using
                                28. (class)WrapUsing
                            5. org.sireum.jawa.sjc.interactive
                              1. (object)
                                CancelException
                              2. (trait)CompilerControl
                              3. (trait)CompilerLifecycleManagement
                              4. (class)FreshRunReq
                              5. (class)Global
                              6. (class)InteractiveReporter
                              7. (case class)JawaDelta
                              8. (trait)JawaResolver
                              9. (class)MissingResponse
                              10. (class)NoSuchUnitError
                              11. (class)PresentationCompilerThread
                              12. (class)Response
                              13. (trait)RichCompilationUnits
                              14. (object)
                                ShutdownReq
                            6. org.sireum.jawa.sjc.lexer
                              1. (object)(class)Comment
                              2. (case class)DocComment
                              3. (class)HiddenToken
                              4. (case class)HiddenTokens
                              5. (object)(class)JawaLexer
                              6. (class)JawaLexerException
                              7. (object)
                                Keywords
                              8. (case class)MultiLineComment
                              9. (object)
                                NoHiddenTokens
                              10. (case class)SingleLineComment
                              11. (case class)Token
                              12. (object)
                                Tokens
                              13. (case class)TokenType
                              14. (case class)Whitespace
                              15. (class)WhitespaceAndCommentsGrouper
                            7. org.sireum.jawa.sjc.log
                              1. (class)AbstractLogger
                              2. (object)(class)ControlEvent
                              3. (object)
                                Level
                              4. (class)Log
                              5. (trait)LogEvent
                              6. (object)(trait)Logger
                              7. (trait)Problem
                              8. (class)SetLevel
                              9. (class)SetSuccess
                              10. (class)SetTrace
                              11. (object)
                                Severity
                              12. (class)Success
                              13. (class)Trace
                            8. org.sireum.jawa.sjc.parser
                              1. (case class)AccessExpression
                              2. (case class)Annotation
                              3. (trait)AnnotationValue
                              4. (case class)ArgClause
                              5. (case class)AssignmentStatement
                              6. (case class)BinaryExpression
                              7. (trait)Body
                              8. (case class)CallLhs
                              9. (case class)CallStatement
                              10. (case class)CastExpression
                              11. (case class)CatchClause
                              12. (case class)CatchRange
                              13. (case class)ClassOrInterfaceDeclaration
                              14. (trait)ClassSym
                              15. (case class)CmpExpression
                              16. (case class)CompilationUnit
                              17. (case class)ConstClassExpression
                              18. (trait)Declaration
                              19. (trait)DefSymbol
                              20. (case class)EmptyStatement
                              21. (case class)ExceptionExpression
                              22. (trait)Expression
                              23. (case class)ExtendAndImpliment
                              24. (case class)ExtendsAndImplimentsClauses
                              25. (trait)Field
                              26. (case class)FieldDefSymbol
                              27. (case class)FieldNameSymbol
                              28. (trait)FieldSym
                              29. (case class)GotoStatement
                              30. (case class)IfStatement
                              31. (case class)IndexingExpression
                              32. (case class)IndexingSuffix
                              33. (case class)InstanceFieldDeclaration
                              34. (case class)InstanceFieldDeclarationBlock
                              35. (case class)InstanceofExpression
                              36. (trait)JawaAstNode
                              37. (object)(class)JawaParser
                              38. (class)JawaParserException
                              39. (trait)JawaSymbol
                              40. (case class)LengthExpression
                              41. (trait)LHS
                              42. (case class)LiteralExpression
                              43. (case class)LocalVarDeclaration
                              44. (case class)Location
                              45. (case class)LocationDefSymbol
                              46. (trait)LocationSym
                              47. (case class)LocationSymbol
                              48. (case class)MethodDeclaration
                              49. (case class)MethodDefSymbol
                              50. (case class)MethodNameSymbol
                              51. (trait)MethodSym
                              52. (case class)MonitorStatement
                              53. (case class)NameExpression
                              54. (case class)NewExpression
                              55. (case class)NullExpression
                              56. (case class)Param
                              57. (case class)ParamClause
                              58. (trait)ParsableAstNode
                              59. (trait)RefSymbol
                              60. (case class)ResolvedBody
                              61. (case class)ReturnStatement
                              62. (trait)RHS
                              63. (case class)SignatureSymbol
                              64. (trait)Statement
                              65. (case class)StaticFieldDeclaration
                              66. (case class)SwitchCase
                              67. (case class)SwitchDefaultCase
                              68. (case class)SwitchStatement
                              69. (case class)SymbolValue
                              70. (case class)ThrowStatement
                              71. (case class)TokenValue
                              72. (case class)TupleExpression
                              73. (case class)Type
                              74. (case class)TypeDefSymbol
                              75. (case class)TypeExpression
                              76. (case class)TypeExpressionValue
                              77. (case class)TypeFragment
                              78. (case class)TypeFragmentWithInit
                              79. (case class)TypeSymbol
                              80. (case class)UnaryExpression
                              81. (case class)UnresolvedBody
                              82. (case class)VarDefSymbol
                              83. (trait)VarSym
                              84. (case class)VarSymbol
                            9. org.sireum.jawa.sjc.util
                              1. (trait)CaseClassReflector
                              2. (object)(trait)Change
                              3. (trait)ControlThrowable
                              4. (class)EmptyAction
                              5. (class)FailedInterrupt
                              6. (class)InterruptReq
                              7. (class)Locator
                              8. (object)
                                MyFileUtil
                              9. (case class)NewFileChange
                              10. (object)(trait)NoStackTrace
                              11. (object)
                                ReadClassFile
                              12. (case class)TextChange
                              13. (class)WorkScheduler
                              1. org.sireum.jawa.sjc.util.cp
                                1. (object)
                                  ClasspathUtilities
                                2. (object)
                                  Locate
                              2. org.sireum.jawa.sjc.util.refactoring
                                1. (trait)CompilerAccess
                                2. (trait)Indexes
                          1. org.sireum.jawa.sourcefile
                            1. (class)MySTVisitor
                            2. (object)
                              SourcefileParser
                          2. org.sireum.jawa.symbolResolver
                            1. (class)JawaSymbolTable
                            2. (object)
                              JawaSymbolTableBuilder
                          3. org.sireum.jawa.util
                            1. (object)
                              ASTUtil
                            2. (trait)CacheProvider
                            3. (object)
                              CombinationIterator
                            4. (trait)FileCaseFactory
                            5. (object)
                              FutureUtil
                            6. (class)IgnoreException
                            7. (object)
                              JVMUtil
                            8. (class)MyExecutionContext
                            9. (object)
                              MyFileUtil
                            10. (class)MyTimeout
                            11. (object)
                              OsUtils
                            12. (case class)ResourceRetriever
                            13. (object)
                              SubStringCounter
                            14. (trait)Task
                            15. (object)
                              TaskRunner
                            16. (object)
                              URLInString
                          4. org.sireum.jawa.xml
                            1. (class)AndroidScalaCollection
                            2. (class)AndroidScalaCollectionType
                            3. (object)
                              AndroidXStream
                            4. (class)ArrayUnenforcedSetConverter
                            5. (object)
                              Converter
                            6. (class)HashBiMapConverter
                            7. (class)LinkedHashMapConverter
                            8. (class)MMapConverter