Package com.tonic.analysis.source.recovery.rcs

Reaching-condition structuring, recovering control flow through boolean formulas and BDDs.

Interface Summary

Interface	Description
RegionRecoveryBridge	The narrow set of statement/expression recovery leaves the reaching-condition engine needs from the host StatementRecoverer.

Class Summary

Class	Description
BoolFormula	A reaching-condition boolean formula carried as two representations kept in sync by BoolFormulaFactory.
BoolFormulaFactory	The reaching-condition boolean engine for one method's structuring pass.
ReachingConditionStructurer	Reaching-condition control-flow structurer: the DREAM-style ("No More Gotos") replacement for schema-based structural analysis.
SwitchDescriptor	A decoded, structuring-ready view of a native int/enum switch.
SwitchDescriptor.CaseSpec	One case of a decoded switch.
TryNodeDescriptor	A statically decoded try region treated as one opaque composite node by the reaching-condition engine.