Class Hierarchy

• Detector
  • ASTDetector
    • ArgCopyMutation
    • AsmIsUsed
    • BranchDuplicate
    • ConstantAddress
    • DumpIsUsed
    • DuplicatedCondition
    • EnsurePrgSeed
    • EtaLikeSimplifications
    • FalseCondition
    • FieldDoubleInit
    • InheritedStateMutation
    • OptimalMathFunction
    • PreferAugmentedAssign
    • PreferredStdlibApi
    • SendInLoop
    • ShortCircuitCondition
    • SuspiciousMessageMode
    • UnboundMap
    • UnusedExpressionResult
    • UnusedOptional
    • ZeroAddress
  • DataflowDetector
    • CellBounds
    • ExitCodeUsage
    • NeverAccessedVariables
    • StringReceiversOverlap
  • SouffleDetector
    • DivideBeforeMultiply
    • ReadOnlyVariables
    • UnboundLoop

• Logger
  • QuietLogger
  • DebugLogger
  • TraceLogger

• Semilattice
  • JoinSemilattice
    • IntervalJoinSemiLattice
    • SetJoinSemilattice
  • MeetSemilattice
    • SetMeetSemilattice
  • WideningLattice

• Solver
  • AbstractWorklistSolver
    • WorklistSolver
    • WideningWorklistSolver
  • SouffleSolver

• Tool
  • DumpAst
  • DumpCallGraph
  • DumpCfg
  • DumpConfig
  • DumpImports