package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: buster
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169

Folder: ansi-c

d .. (parent)
d d rwxr-xr-x 4,096 library
d d rwxr-xr-x 4,096 literals
- - rw-r--r-- 4,477 CMakeLists.txt
- - rw-r--r-- 3,784 Makefile
- - rw-r--r-- 6,070 README.md
- - rw-r--r-- 2,310 anonymous_member.cpp
- - rw-r--r-- 677 anonymous_member.h
- - rw-r--r-- 16,138 ansi_c_convert_type.cpp
- - rw-r--r-- 2,407 ansi_c_convert_type.h
- - rw-r--r-- 4,847 ansi_c_declaration.cpp
- - rw-r--r-- 4,770 ansi_c_declaration.h
- - rw-r--r-- 12,350 ansi_c_entry_point.cpp
- - rw-r--r-- 620 ansi_c_entry_point.h
- - rw-r--r-- 10,727 ansi_c_internal_additions.cpp
- - rw-r--r-- 1,400 ansi_c_internal_additions.h
- - rw-r--r-- 5,242 ansi_c_language.cpp
- - rw-r--r-- 1,869 ansi_c_language.h
- - rw-r--r-- 559 ansi_c_parse_tree.cpp
- - rw-r--r-- 605 ansi_c_parse_tree.h
- - rw-r--r-- 4,565 ansi_c_parser.cpp
- - rw-r--r-- 3,261 ansi_c_parser.h
- - rw-r--r-- 499 ansi_c_scope.cpp
- - rw-r--r-- 1,488 ansi_c_scope.h
- - rw-r--r-- 1,600 ansi_c_typecheck.cpp
- - rw-r--r-- 1,510 ansi_c_typecheck.h
- - rw-r--r-- 1,401 arm_builtin_headers.h
- - rw-r--r-- 5,884 builtin_factory.cpp
- - rw-r--r-- 514 builtin_factory.h
- - rw-r--r-- 1,553 c_misc.cpp
- - rw-r--r-- 424 c_misc.h
- - rw-r--r-- 8,545 c_nondet_symbol_factory.cpp
- - rw-r--r-- 632 c_nondet_symbol_factory.h
- - rw-r--r-- 20,924 c_preprocess.cpp
- - rw-r--r-- 701 c_preprocess.h
- - rw-r--r-- 2,953 c_qualifiers.cpp
- - rw-r--r-- 4,044 c_qualifiers.h
- - rw-r--r-- 1,629 c_storage_spec.cpp
- - rw-r--r-- 2,241 c_storage_spec.h
- - rw-r--r-- 20,084 c_typecast.cpp
- - rw-r--r-- 2,400 c_typecast.h
- - rw-r--r-- 3,424 c_typecheck_argc_argv.cpp
- - rw-r--r-- 22,241 c_typecheck_base.cpp
- - rw-r--r-- 9,602 c_typecheck_base.h
- - rw-r--r-- 19,589 c_typecheck_code.cpp
- - rw-r--r-- 90,278 c_typecheck_expr.cpp
- - rw-r--r-- 25,586 c_typecheck_initializer.cpp
- - rw-r--r-- 41,669 c_typecheck_type.cpp
- - rw-r--r-- 1,644 c_typecheck_typecast.cpp
- - rw-r--r-- 98 clang_builtin_headers.h
- - rw-r--r-- 4,037 cprover_builtin_headers.h
- - rw-r--r-- 2,549 cprover_library.cpp
- - rw-r--r-- 858 cprover_library.h
- - rw-r--r-- 100 cw_builtin_headers.h
- - rw-r--r-- 592 designator.cpp
- - rw-r--r-- 1,480 designator.h
- - rw-r--r-- 89,743 expr2c.cpp
- - rw-r--r-- 486 expr2c.h
- - rw-r--r-- 9,738 expr2c_class.h
- - rw-r--r-- 882 file_converter.cpp
- - rw-r--r-- 1,787 gcc_builtin_headers_alpha.h
- - rw-r--r-- 7,173 gcc_builtin_headers_arm.h
- - rw-r--r-- 4,240 gcc_builtin_headers_generic.h
- - rw-r--r-- 50,285 gcc_builtin_headers_ia32-2.h
- - rw-r--r-- 57,002 gcc_builtin_headers_ia32-3.h
- - rw-r--r-- 31,066 gcc_builtin_headers_ia32-4.h
- - rw-r--r-- 63,672 gcc_builtin_headers_ia32.h
- - rw-r--r-- 15,611 gcc_builtin_headers_math.h
- - rw-r--r-- 6,214 gcc_builtin_headers_mem_string.h
- - rw-r--r-- 0 gcc_builtin_headers_mips.h
- - rw-r--r-- 6,900 gcc_builtin_headers_omp.h
- - rw-r--r-- 0 gcc_builtin_headers_power.h
- - rw-r--r-- 2,127 gcc_builtin_headers_tm.h
- - rw-r--r-- 1,882 gcc_builtin_headers_types.h
- - rw-r--r-- 4,632 gcc_builtin_headers_ubsan.h
- - rw-r--r-- 1,960 gcc_types.cpp
- - rw-r--r-- 800 gcc_types.h
- - rwxr-xr-x 10,803 get-gcc-builtins.sh
- - rwxr-xr-x 668 library_check.sh
- - rw-r--r-- 68 module_dependencies.txt
- - rw-r--r-- 13,911 padding.cpp
- - rw-r--r-- 637 padding.h
- - rw-r--r-- 100,455 parser.y
- - rw-r--r-- 9,312 parser_static.inc
- - rw-r--r-- 1,319 preprocessor_line.cpp
- - rw-r--r-- 481 preprocessor_line.h
- - rw-r--r-- 62,009 scanner.l
- - rw-r--r-- 7,388 type2name.cpp
- - rw-r--r-- 525 type2name.h
- - rw-r--r-- 1,459 typedef_type.h
- - rw-r--r-- 33 windows_builtin_headers.h