package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36

Folder: goto-programs

d .. (parent)
- - rw-r--r-- 184 Hello.class
- - rw-r--r-- 1,648 goto_program_assume.cpp
- - rw-r--r-- 1,569 goto_program_dead.cpp
- - rw-r--r-- 1,503 goto_program_declaration.cpp
- - rw-r--r-- 2,139 goto_program_function_call.cpp
- - rw-r--r-- 1,654 goto_program_goto_program_inline.cpp
- - rw-r--r-- 1,773 goto_program_goto_target.cpp
- - rw-r--r-- 2,228 goto_program_symbol_type_table_consistency.cpp
- - rw-r--r-- 1,944 goto_program_table_consistency.cpp
- - rw-r--r-- 6,738 goto_program_validate.cpp
- - rw-r--r-- 1,070 goto_trace_output.cpp
- - rwxr-xr-x 8,168 hello_elf
- - rwxr-xr-x 14,088 hello_elf_with_gbf
- - rw-r--r-- 16,536 hello_fat_macho
- - rw-r--r-- 20,720 hello_fat_macho_with_gbf
- - rw-r--r-- 2,397 is_goto_binary.cpp
- - rw-r--r-- 2,055 label_function_pointer_call_sites.cpp
- - rw-r--r-- 45 module_dependencies.txt
- - rw-r--r-- 2,739 osx_fat_reader.cpp
- - rw-r--r-- 2,315 remove_returns.cpp
- - rw-r--r-- 8,223 restrict_function_pointers.cpp
- - rw-r--r-- 4,649 structured_trace_util.cpp
- - rw-r--r-- 1,034 xml_expr.cpp