cprover
|
Files | |
file | auto_objects.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | build_goto_trace.cpp [code] |
Traces of GOTO Programs. | |
file | build_goto_trace.h [code] |
Traces of GOTO Programs. | |
file | equation_conversion_exceptions.h [code] |
Exceptions that can be raised during the equation conversion phase. | |
file | goto_symex.cpp [code] |
Symbolic Execution. | |
file | goto_symex.h [code] |
Symbolic Execution. | |
file | goto_symex_state.cpp [code] |
Symbolic Execution. | |
file | goto_symex_state.h [code] |
Symbolic Execution. | |
file | memory_model.cpp [code] |
Memory model for partial order concurrency. | |
file | memory_model.h [code] |
Memory models for partial order concurrency. | |
file | memory_model_pso.cpp [code] |
Memory model for partial order concurrency. | |
file | memory_model_pso.h [code] |
Memory models for partial order concurrency. | |
file | memory_model_sc.cpp [code] |
Memory model for partial order concurrency. | |
file | memory_model_sc.h [code] |
Memory models for partial order concurrency. | |
file | memory_model_tso.cpp [code] |
Memory model for partial order concurrency. | |
file | memory_model_tso.h [code] |
Memory models for partial order concurrency. | |
file | partial_order_concurrency.cpp [code] |
Add constraints to equation encoding partial orders on events. | |
file | partial_order_concurrency.h [code] |
Add constraints to equation encoding partial orders on events. | |
file | path_storage.cpp [code] |
file | path_storage.h [code] |
Storage of symbolic execution paths to resume. | |
file | postcondition.cpp [code] |
Symbolic Execution. | |
file | postcondition.h [code] |
Generate Equation using Symbolic Execution. | |
file | precondition.cpp [code] |
Symbolic Execution. | |
file | precondition.h [code] |
Generate Equation using Symbolic Execution. | |
file | rewrite_union.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | rewrite_union.h [code] |
Symbolic Execution. | |
file | slice.cpp [code] |
Slicer for symex traces. | |
file | slice.h [code] |
Slicer for symex traces. | |
file | slice_by_trace.cpp [code] |
Slicer for symex traces. | |
file | slice_by_trace.h [code] |
Slicer for matching with trace files. | |
file | symex_assign.cpp [code] |
Symbolic Execution. | |
file | symex_atomic_section.cpp [code] |
Symbolic Execution. | |
file | symex_builtin_functions.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | symex_catch.cpp [code] |
Symbolic Execution. | |
file | symex_clean_expr.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | symex_dead.cpp [code] |
Symbolic Execution. | |
file | symex_decl.cpp [code] |
Symbolic Execution. | |
file | symex_dereference.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | symex_dereference_state.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | symex_dereference_state.h [code] |
Symbolic Execution of ANSI-C. | |
file | symex_function_call.cpp [code] |
Symbolic Execution of ANSI-C. | |
file | symex_goto.cpp [code] |
Symbolic Execution. | |
file | symex_main.cpp [code] |
Symbolic Execution. | |
file | symex_other.cpp [code] |
Symbolic Execution. | |
file | symex_slice_class.h [code] |
Slicer for symex traces. | |
file | symex_start_thread.cpp [code] |
Symbolic Execution. | |
file | symex_target.cpp [code] |
Symbolic Execution. | |
file | symex_target.h [code] |
Generate Equation using Symbolic Execution. | |
file | symex_target_equation.cpp [code] |
Symbolic Execution. | |
file | symex_target_equation.h [code] |
Generate Equation using Symbolic Execution. | |
file | symex_throw.cpp [code] |
Symbolic Execution. | |