cprover Directory Reference

Directory dependency graph for cprover:

Files
	address_taken.cpp
	Address Taken.
	address_taken.h
	Address Taken.
	axioms.cpp
	Axioms.
	axioms.h
	Axioms.
	bv_pointers_wide.cpp
	bv_pointers_wide.h
	c_safety_checks.cpp
	Checks for Errors in C/C++ Programs.
	c_safety_checks.h
	Checks for Errors in C/C++ Programs.
	counterexample_found.cpp
	Counterexample Found.
	counterexample_found.h
	Counterexample Found.
	cprover_main.cpp
	cprover Main Module
	cprover_parse_options.cpp
	cprover Command Line Options Processing
	cprover_parse_options.h
	Command Line Parsing.
	endianness_map_wide.cpp
	endianness_map_wide.h
	equality_propagation.cpp
	Equality Propagation.
	equality_propagation.h
	Equality Propagation.
	find_variables.cpp
	Find Variables.
	find_variables.h
	Find Variables.
	flatten_ok_expr.cpp
	flatten_ok_expr.h
	format_hooks.cpp
	format_hooks.h
	free_symbols.cpp
	free_symbols.h
	Free Symbols.
	generalization.cpp
	Generalization.
	generalization.h
	Generalization.
	inductiveness.cpp
	Inductiveness.
	inductiveness.h
	Inductiveness.
	instrument_contracts.cpp
	Instrument Contracts.
	instrument_contracts.h
	Instrument Given Invariants.
	instrument_given_invariants.cpp
	Instrument Given Invariants.
	instrument_given_invariants.h
	Instrument Given Invariants.
	may_alias.cpp
	May Alias.
	may_alias.h
	May Alias.
	may_be_same_object.cpp
	May Be Same Object.
	may_be_same_object.h
	May Be Same Object.
	propagate.cpp
	Propagate.
	propagate.h
	Propagate.
	report_properties.cpp
	Solver.
	report_properties.h
	Property Reporting.
	report_traces.cpp
	Solver.
	report_traces.h
	Report Traces.
	sentinel_dll.cpp
	Axioms.
	sentinel_dll.h
	simplify_state_expr.cpp
	Simplify State Expressions.
	simplify_state_expr.h
	Simplify State Expression.
	solver.cpp
	Solver.
	solver.h
	Equality Propagation.
	solver_progress.cpp
	Solver Progress Reporting.
	solver_progress.h
	Solver Progress Reporting.
	solver_types.cpp
	Solver Types.
	solver_types.h
	Solver.
	state.cpp
	state.h
	state_encoding.cpp
	state_encoding.h
	State Encoding.
	state_encoding_targets.cpp
	state_encoding_targets.h
	variable_encoding.cpp
	Variable Encoding.
	variable_encoding.h
	Variable Encoding.
	wcwidth.c