cprover
|
Files | |
file | basic_blocks.cpp [code] |
Group Basic Blocks in Goto Program. | |
file | basic_blocks.h [code] |
Group Basic Blocks in Goto Program. | |
file | builtin_functions.cpp [code] |
Program Transformation. | |
file | cfg.h [code] |
Control Flow Graph. | |
file | class_hierarchy.cpp [code] |
Class Hierarchy. | |
file | class_hierarchy.h [code] |
Class Hierarchy. | |
file | class_identifier.cpp [code] |
Extract class identifier. | |
file | class_identifier.h [code] |
Extract class identifier. | |
file | compute_called_functions.cpp [code] |
Query Called Functions. | |
file | compute_called_functions.h [code] |
Query Called Functions. | |
file | destructor.cpp [code] |
Destructor Calls. | |
file | destructor.h [code] |
Destructor Calls. | |
file | elf_reader.cpp [code] |
Read ELF. | |
file | elf_reader.h [code] |
Read ELF. | |
file | format_strings.cpp [code] |
Format String Parser. | |
file | format_strings.h [code] |
Format String Parser. | |
file | goto_asm.cpp [code] |
Assembler -> Goto. | |
file | goto_clean_expr.cpp [code] |
Program Transformation. | |
file | goto_convert.cpp [code] |
Program Transformation. | |
file | goto_convert.h [code] |
Program Transformation. | |
file | goto_convert_class.h [code] |
Program Transformation. | |
file | goto_convert_exceptions.cpp [code] |
Program Transformation. | |
file | goto_convert_function_call.cpp [code] |
Program Transformation. | |
file | goto_convert_functions.cpp [code] |
file | goto_convert_functions.h [code] |
Goto Programs with Functions. | |
file | goto_convert_new_switch_case.cpp [code] |
Program Transformation. | |
file | goto_convert_side_effect.cpp [code] |
Program Transformation. | |
file | goto_functions.cpp [code] |
Goto Programs with Functions. | |
file | goto_functions.h [code] |
Goto Programs with Functions. | |
file | goto_functions_template.h [code] |
Goto Programs with Functions. | |
file | goto_inline.cpp [code] |
Function Inlining. | |
file | goto_inline.h [code] |
Function Inlining. | |
file | goto_inline_class.cpp [code] |
Function Inlining. | |
file | goto_inline_class.h [code] |
file | goto_model.h [code] |
Symbol Table + CFG. | |
file | goto_program.cpp [code] |
Program Transformation. | |
file | goto_program.h [code] |
Concrete Goto Program. | |
file | goto_program_irep.cpp [code] |
goto_programt -> irep conversion | |
file | goto_program_irep.h [code] |
goto_programt -> irep conversion | |
file | goto_program_template.cpp [code] |
Goto Program Template. | |
file | goto_program_template.h [code] |
Goto Program Template. | |
file | goto_trace.cpp [code] |
Traces of GOTO Programs. | |
file | goto_trace.h [code] |
Traces of GOTO Programs. | |
file | graphml_witness.cpp [code] |
Witnesses for Traces and Proofs. | |
file | graphml_witness.h [code] |
Witnesses for Traces and Proofs. | |
file | initialize_goto_model.cpp [code] |
Get a Goto Program. | |
file | initialize_goto_model.h [code] |
Initialize a Goto Program. | |
file | interpreter.cpp [code] |
Interpreter for GOTO Programs. | |
file | interpreter.h [code] |
Interpreter for GOTO Programs. | |
file | interpreter_class.h [code] |
Interpreter for GOTO Programs. | |
file | interpreter_evaluate.cpp [code] |
Interpreter for GOTO Programs. | |
file | json_goto_trace.cpp [code] |
Traces of GOTO Programs. | |
file | json_goto_trace.h [code] |
Traces of GOTO Programs. | |
file | link_to_library.cpp [code] |
Library Linking. | |
file | link_to_library.h [code] |
Library Linking. | |
file | loop_ids.cpp [code] |
Loop IDs. | |
file | loop_ids.h [code] |
Loop IDs. | |
file | mm_io.cpp [code] |
Perform Memory-mapped I/O instrumentation. | |
file | mm_io.h [code] |
Perform Memory-mapped I/O instrumentation. | |
file | osx_fat_reader.cpp [code] |
Read Mach-O. | |
file | osx_fat_reader.h [code] |
Read OS X Fat Binaries. | |
file | parameter_assignments.cpp [code] |
Add parameter assignments. | |
file | parameter_assignments.h [code] |
Add parameter assignments. | |
file | pointer_arithmetic.cpp [code] |
file | pointer_arithmetic.h [code] |
file | property_checker.cpp [code] |
Property Checker Interface. | |
file | property_checker.h [code] |
Property Checker Interface. | |
file | read_bin_goto_object.cpp [code] |
Read goto object files. | |
file | read_bin_goto_object.h [code] |
Read goto object files. | |
file | read_goto_binary.cpp [code] |
Read Goto Programs. | |
file | read_goto_binary.h [code] |
Read Goto Programs. | |
file | remove_asm.cpp [code] |
Remove 'asm' statements by compiling into suitable standard code. | |
file | remove_asm.h [code] |
Remove 'asm' statements by compiling into suitable standard code. | |
file | remove_complex.cpp [code] |
Remove 'complex' data type. | |
file | remove_complex.h [code] |
Remove the 'complex' data type by compilation into structs. | |
file | remove_const_function_pointers.cpp [code] |
Goto Programs. | |
file | remove_const_function_pointers.h [code] |
Goto Programs. | |
file | remove_exceptions.cpp [code] |
Remove exception handling. | |
file | remove_exceptions.h [code] |
Remove function exceptional returns. | |
file | remove_function_pointers.cpp [code] |
Program Transformation. | |
file | remove_function_pointers.h [code] |
Remove Indirect Function Calls. | |
file | remove_instanceof.cpp [code] |
Remove Instance-of Operators. | |
file | remove_instanceof.h [code] |
Remove Instance-of Operators. | |
file | remove_returns.cpp [code] |
Remove function return values. | |
file | remove_returns.h [code] |
Remove function returns. | |
file | remove_skip.cpp [code] |
Program Transformation. | |
file | remove_skip.h [code] |
Program Transformation. | |
file | remove_static_init_loops.cpp [code] |
Unwind loops in static initializers. | |
file | remove_static_init_loops.h [code] |
Unwind loops in static initializers. | |
file | remove_unreachable.cpp [code] |
Program Transformation. | |
file | remove_unreachable.h [code] |
Program Transformation. | |
file | remove_unused_functions.cpp [code] |
Unused function removal. | |
file | remove_unused_functions.h [code] |
Unused function removal. | |
file | remove_vector.cpp [code] |
Remove 'vector' data type. | |
file | remove_vector.h [code] |
Remove the 'vector' data type by compilation into arrays. | |
file | remove_virtual_functions.cpp [code] |
Remove Virtual Function (Method) Calls. | |
file | remove_virtual_functions.h [code] |
Remove Virtual Function (Method) Calls. | |
file | safety_checker.cpp [code] |
Safety Checker Interface. | |
file | safety_checker.h [code] |
Safety Checker Interface. | |
file | set_properties.cpp [code] |
Set Properties. | |
file | set_properties.h [code] |
Set the properties to check. | |
file | show_goto_functions.cpp [code] |
Show goto functions. | |
file | show_goto_functions.h [code] |
Show the goto functions. | |
file | show_goto_functions_json.cpp [code] |
Goto Program. | |
file | show_goto_functions_json.h [code] |
Goto Program. | |
file | show_goto_functions_xml.cpp [code] |
Goto Program. | |
file | show_goto_functions_xml.h [code] |
Goto Program. | |
file | show_properties.cpp [code] |
Show Claims. | |
file | show_properties.h [code] |
Show the properties. | |
file | show_symbol_table.cpp [code] |
Show the symbol table. | |
file | show_symbol_table.h [code] |
Show the symbol table. | |
file | slice_global_inits.cpp [code] |
Remove initializations of unused global variables. | |
file | slice_global_inits.h [code] |
Remove initializations of unused global variables. | |
file | string_abstraction.cpp [code] |
String Abstraction. | |
file | string_abstraction.h [code] |
String Abstraction. | |
file | string_instrumentation.cpp [code] |
String Abstraction. | |
file | string_instrumentation.h [code] |
String Abstraction. | |
file | vcd_goto_trace.cpp [code] |
Traces of GOTO Programs in VCD (Value Change Dump) Format. | |
file | vcd_goto_trace.h [code] |
Traces of GOTO Programs in VCD (Value Change Dump) Format. | |
file | wp.cpp [code] |
Weakest Preconditions. | |
file | wp.h [code] |
Weakest Preconditions. | |
file | write_goto_binary.cpp [code] |
Write GOTO binaries. | |
file | write_goto_binary.h [code] |
Write GOTO binaries. | |
file | xml_goto_trace.cpp [code] |
Traces of GOTO Programs. | |
file | xml_goto_trace.h [code] |
Traces of GOTO Programs. | |