package info
(click to toggle)
cbmc 4.9-4
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 40,588 kB
- ctags: 19,198
- sloc: cpp: 185,860; ansic: 16,162; yacc: 5,343; lex: 4,518; makefile: 954; pascal: 506; sh: 318; perl: 213; java: 206
Folder: goto-symex
.. (parent) | ||||
- | rw-r--r-- | 942 | Makefile | |
- | rw-r--r-- | 2,614 | adjust_float_expressions.cpp | |
- | rw-r--r-- | 341 | adjust_float_expressions.h | |
- | rw-r--r-- | 3,477 | auto_objects.cpp | |
- | rw-r--r-- | 8,108 | build_goto_trace.cpp | |
- | rw-r--r-- | 530 | build_goto_trace.h | |
- | rw-r--r-- | 426 | dynamic_allocation.h | |
- | rw-r--r-- | 1,282 | goto_symex.cpp | |
- | rw-r--r-- | 8,124 | goto_symex.h | |
- | rw-r--r-- | 22,521 | goto_symex_state.cpp | |
- | rw-r--r-- | 9,634 | goto_symex_state.h | |
- | rw-r--r-- | 4,529 | memory_model.cpp | |
- | rw-r--r-- | 1,130 | memory_model.h | |
- | rw-r--r-- | 1,687 | memory_model_pso.cpp | |
- | rw-r--r-- | 737 | memory_model_pso.h | |
- | rw-r--r-- | 9,314 | memory_model_sc.cpp | |
- | rw-r--r-- | 1,171 | memory_model_sc.h | |
- | rw-r--r-- | 4,988 | memory_model_tso.cpp | |
- | rw-r--r-- | 840 | memory_model_tso.h | |
- | rw-r--r-- | 8,083 | partial_order_concurrency.cpp | |
- | rw-r--r-- | 10,393 | partial_order_concurrency.h | |
- | rw-r--r-- | 5,752 | postcondition.cpp | |
- | rw-r--r-- | 586 | postcondition.h | |
- | rw-r--r-- | 4,375 | precondition.cpp | |
- | rw-r--r-- | 622 | precondition.h | |
- | rw-r--r-- | 827 | renaming_ns.h | |
- | rw-r--r-- | 8,548 | slice.cpp | |
- | rw-r--r-- | 954 | slice.h | |
- | rw-r--r-- | 17,915 | slice_by_trace.cpp | |
- | rw-r--r-- | 1,739 | slice_by_trace.h | |
- | rw-r--r-- | 12,510 | symex_assign.cpp | |
- | rw-r--r-- | 3,219 | symex_atomic_section.cpp | |
- | rw-r--r-- | 14,771 | symex_builtin_functions.cpp | |
- | rw-r--r-- | 1,483 | symex_catch.cpp | |
- | rw-r--r-- | 2,576 | symex_clean_expr.cpp | |
- | rw-r--r-- | 2,081 | symex_dead.cpp | |
- | rw-r--r-- | 2,407 | symex_decl.cpp | |
- | rw-r--r-- | 10,241 | symex_dereference.cpp | |
- | rw-r--r-- | 2,615 | symex_dereference_state.cpp | |
- | rw-r--r-- | 1,124 | symex_dereference_state.h | |
- | rw-r--r-- | 14,238 | symex_function_call.cpp | |
- | rw-r--r-- | 10,744 | symex_goto.cpp | |
- | rw-r--r-- | 9,022 | symex_main.cpp | |
- | rw-r--r-- | 4,157 | symex_other.cpp | |
- | rw-r--r-- | 1,051 | symex_slice_class.h | |
- | rw-r--r-- | 3,241 | symex_start_thread.cpp | |
- | rw-r--r-- | 629 | symex_target.cpp | |
- | rw-r--r-- | 4,084 | symex_target.h | |
- | rw-r--r-- | 23,920 | symex_target_equation.cpp | |
- | rw-r--r-- | 8,371 | symex_target_equation.h | |
- | rw-r--r-- | 1,499 | symex_throw.cpp |