org.sonar.java.symexec

Classes

• ExecutionState
• SymbolicEvaluator
• SymbolicEvaluator.PackedStates

Enums

• SymbolicBooleanConstraint

Exceptions

• SymbolicExecutionException