analyses Directory Reference

Directory dependency graph for analyses:

Files
file	ai.cpp [code]
	Abstract Interpretation.
file	ai.h [code]
	Abstract Interpretation.
file	ai_domain.cpp [code]
	Abstract Interpretation Domain.
file	ai_domain.h [code]
	Abstract Interpretation Domain.
file	call_graph.cpp [code]
	Function Call Graphs.
file	call_graph.h [code]
	Function Call Graphs.
file	call_graph_helpers.cpp [code]
	Function Call Graph Helpers.
file	call_graph_helpers.h [code]
	Function Call Graph Helpers.
file	cfg_dominators.h [code]
	Compute dominators for CFG of goto_function.
file	constant_propagator.cpp [code]
	Constant Propagation.
file	constant_propagator.h [code]
	Constant propagation.
file	custom_bitvector_analysis.cpp [code]
	Field-insensitive, location-sensitive bitvector analysis.
file	custom_bitvector_analysis.h [code]
	Field-insensitive, location-sensitive bitvector analysis.
file	dependence_graph.cpp [code]
	Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.
file	dependence_graph.h [code]
	Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.
file	dirty.cpp [code]
	Local variables whose address is taken.
file	dirty.h [code]
	Variables whose address is taken.
file	does_remove_const.cpp [code]
	Analyses.
file	does_remove_const.h [code]
	Analyses.
file	escape_analysis.cpp [code]
	Field-insensitive, location-sensitive escape analysis.
file	escape_analysis.h [code]
	Field-insensitive, location-sensitive, over-approximative escape analysis.
file	flow_insensitive_analysis.cpp [code]
	Flow Insensitive Static Analysis.
file	flow_insensitive_analysis.h [code]
	Flow Insensitive Static Analysis.
file	global_may_alias.cpp [code]
	Field-insensitive, location-sensitive global may alias analysis.
file	global_may_alias.h [code]
	Field-insensitive, location-sensitive, over-approximative escape analysis.
file	goto_check.cpp [code]
	GOTO Programs.
file	goto_check.h [code]
	Program Transformation.
file	goto_rw.cpp [code]
file	goto_rw.h [code]
file	interval_analysis.cpp [code]
	Interval Analysis – implements the functionality necessary for performing abstract interpretation over interval domain for goto programs.
file	interval_analysis.h [code]
	Interval Analysis.
file	interval_domain.cpp [code]
	Interval Domain.
file	interval_domain.h [code]
	Interval Domain.
file	interval_template.h [code]
file	invariant_propagation.cpp [code]
	Invariant Propagation.
file	invariant_propagation.h [code]
	Invariant Propagation.
file	invariant_set.cpp [code]
	Invariant Set.
file	invariant_set.h [code]
	Value Set.
file	invariant_set_domain.cpp [code]
	Invariant Set Domain.
file	invariant_set_domain.h [code]
	Value Set.
file	is_threaded.cpp [code]
	Over-approximate Concurrency for Threaded Goto Programs.
file	is_threaded.h [code]
	Over-approximate Concurrency for Threaded Goto Programs.
file	local_bitvector_analysis.cpp [code]
	Field-insensitive, location-sensitive may-alias analysis.
file	local_bitvector_analysis.h [code]
	Field-insensitive, location-sensitive bitvector analysis.
file	local_cfg.cpp [code]
	CFG for One Function.
file	local_cfg.h [code]
	CFG for One Function.
file	local_may_alias.cpp [code]
	Field-insensitive, location-sensitive may-alias analysis.
file	local_may_alias.h [code]
	Field-insensitive, location-sensitive may-alias analysis.
file	local_safe_pointers.cpp [code]
	Local safe pointer analysis.
file	local_safe_pointers.h [code]
	Local safe pointer analysis.
file	locals.cpp [code]
	Local variables.
file	locals.h [code]
	Local variables whose address is taken.
file	natural_loops.cpp [code]
	Dominators.
file	natural_loops.h [code]
	Compute natural loops in a goto_function.
file	reaching_definitions.cpp [code]
	Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)
file	reaching_definitions.h [code]
	Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)
file	static_analysis.cpp [code]
	Value Set Propagation.
file	static_analysis.h [code]
	Static Analysis.
file	uncaught_exceptions_analysis.cpp [code]
	Over-approximating uncaught exceptions analysis.
file	uncaught_exceptions_analysis.h [code]
	Over-approximative uncaught exceptions analysis.
file	uninitialized_domain.cpp [code]
	Detection for Uninitialized Local Variables.
file	uninitialized_domain.h [code]
	Detection for Uninitialized Local Variables.