path-symex Directory Reference

Directory dependency graph for path-symex:

Files
file	build_goto_trace.cpp [code]
	Build Goto Trace from State History.
file	build_goto_trace.h [code]
	Build Goto Trace from Path Symex History.
file	loc_ref.h [code]
	Program Locations.
file	locs.cpp [code]
	Program Locations.
file	locs.h [code]
	CFG made of Program Locations, built from goto_functionst.
file	path_replay.cpp [code]
	Dense Data Structure for Path Replay.
file	path_replay.h [code]
	Dense Data Structure for Path Replay.
file	path_symex.cpp [code]
	Concrete Symbolic Transformer.
file	path_symex.h [code]
	Concrete Symbolic Transformer.
file	path_symex_class.h [code]
	Concrete Symbolic Transformer.
file	path_symex_history.cpp [code]
	History of path-based symbolic simulator.
file	path_symex_history.h [code]
	History for path-based symbolic simulator.
file	path_symex_state.cpp [code]
	State of path-based symbolic simulator.
file	path_symex_state.h [code]
	State of path-based symbolic simulator.
file	path_symex_state_read.cpp [code]
	State of path-based symbolic simulator.
file	var_map.cpp [code]
	Variable Numbering.
file	var_map.h [code]
	Variable Numbering.