boomerang.solver

Interfaces

• AllocationTypeListener
• ReachableMethodListener

Classes

• AbstractBoomerangSolver
• BackwardBoomerangSolver
• ForwardBoomerangSolver
• MethodBasedFieldTransitionListener
• StatementBasedCallTransitionListener
• StatementBasedFieldTransitionListener