Class Hierarchy

• Detector
  • ASTDetector
    • BranchDuplicate
    • ConstantAddress
    • DumpIsUsed
    • FieldDoubleInit
    • PreferAugmentedAssign
    • ZeroAddress
  • DataflowDetector
    • NeverAccessedVariables
    • StringReceiversOverlap
  • SouffleDetector
    • DivideBeforeMultiply
    • ReadOnlyVariables
    • UnboundLoops

• Lattice
  • JoinSemilattice
    • SetJoinSemilattice
  • MeetSemilattice
    • SetMeetSemilattice

• Logger
  • QuietLogger
  • DebugLogger
  • TraceLogger

• Solver
  • SouffleSolver
  • WorklistSolver