analyses Directory Reference

Directory dependency graph for analyses:

Directories
directory	variable-sensitivity

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	ai_history.cpp [code]
	Abstract Interpretation history.
file	ai_history.h [code]
	Abstract Interpretation history.
file	ai_storage.h [code]
	Abstract Interpretation Storage.
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	call_stack_history.cpp [code]
	History for tracking the call stack and performing interprocedural analysis.
file	call_stack_history.h [code]
	History for tracking the call stack and performing interprocedural analysis.
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_rw.cpp [code]
file	goto_rw.h [code]
file	guard.h [code]
	Guard Data Structure.
file	guard_bdd.cpp [code]
	Implementation of guards using BDDs.
file	guard_bdd.h [code]
	Guard Data Structure Implementation using BDDs.
file	guard_expr.cpp [code]
	Symbolic Execution.
file	guard_expr.h [code]
	Guard Data Structure.
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	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	lexical_loops.h [code]
	Compute lexical loops in a goto_function.
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_control_flow_history.cpp [code]
	Track function-local control flow for loop unwinding and path senstivity.
file	local_control_flow_history.h [code]
	Track function-local control flow for loop unwinding and path senstivity.
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	loop_analysis.h [code]
	Data structure representing a loop in a GOTO program and an interface shared by all analyses that find program loops.
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	sese_regions.cpp [code]
	Single-entry, single-exit region analysis.
file	sese_regions.h [code]
	Single-entry, single-exit region 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.