cprover
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.