ReachConsts Directory Reference

Files
file	Interface.hpp [code]
	Abstract interface that all ReachConsts analysis results must satisfy.
file	InterReachConsts.cpp [code]
	Definition for InterReachConsts.
file	InterReachConsts.hpp [code]
	Declarations for the ReachConsts::Interface implementation of interprocedural ReachConsts results.
file	ManagerICFGReachConsts.cpp [code]
	The AnnotationManager that generates InterReachConsts using ICFGDFSolver.
file	ManagerICFGReachConsts.hpp [code]
	Declarations of an AnnotationManager that generates an InterReachConsts using the ICFGDFSolver.
file	ManagerInterReachConsts.cpp [code]
	The AnnotationManager that generates InterReachConsts INTERprocedurally.
file	ManagerInterReachConsts.hpp [code]
	Declarations of the AnnotationManager that generates ReachConsts analysis results for each procedure interprocedurally.
file	ManagerReachConstsStandard.cpp [code]
	The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement.
file	ManagerReachConstsStandard.hpp [code]
	Declarations of the AnnotationManager that generates a ReachConstsStandard.
file	ReachConstsStandard.cpp [code]
	Implementation of ReachConsts::ReachConstsStandard.
file	ReachConstsStandard.hpp [code]
	Maps StmtHandles to set of constant defs that reach each StmtHandle.
file	ReachConstsStandard_output.cpp [code]