package info (click to toggle)
frama-c 20220511-manganese-5
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 66,492 kB
  • sloc: ml: 278,834; ansic: 47,093; sh: 4,823; makefile: 3,613; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62

Folder: misc

d .. (parent)
d d rwxr-xr-x 42 custom_machdep
d d rwxr-xr-x 8,192 oracle
d d rwxr-xr-x 30 with space
- - rw-r--r-- 1,507 Debug_category.ml
- - rw-r--r-- 169 add_assigns.i
- - rw-r--r-- 978 add_assigns.ml
- - rw-r--r-- 198 array_size_specifier_unification.i
- - rw-r--r-- 2,930 audit-in.json
- - rw-r--r-- 534 audit.c
- - rw-r--r-- 36 audit_included.h
- - rw-r--r-- 36 audit_included_but_not_listed.h
- - rw-r--r-- 233 behavior_names.i
- - rw-r--r-- 425 behavior_names.ml
- - rw-r--r-- 167 booleans.i
- - rw-r--r-- 464 bts0451.i
- - rw-r--r-- 1,290 bts0452.i
- - rw-r--r-- 132 bts0452.ml
- - rw-r--r-- 3,780 bts0489.i
- - rw-r--r-- 511 bts0489.ml
- - rw-r--r-- 132 bts0525-2.i
- - rw-r--r-- 179 bts0525.i
- - rw-r--r-- 284 bts0541.c
- - rw-r--r-- 256 bts0990_link.i
- - rw-r--r-- 133 bts0990_link_1.i
- - rw-r--r-- 328 bts1135_ulevel.i
- - rw-r--r-- 147 bts1201.i
- - rw-r--r-- 142 bts1201.ml
- - rw-r--r-- 174 bts1347.i
- - rw-r--r-- 843 bts1347.ml
- - rw-r--r-- 167 bug0277.i
- - rw-r--r-- 105 bug_0209.c
- - rw-r--r-- 679 bug_0209.ml
- - rw-r--r-- 455 callsite.i
- - rw-r--r-- 476 callsite.ml
- - rw-r--r-- 145 change_main.i
- - rw-r--r-- 290 change_main.ml
- - rw-r--r-- 178 char_ampamp.c
- - rw-r--r-- 94 cli_string_multiple_map.i
- - rw-r--r-- 803 cli_string_multiple_map.ml
- - rw-r--r-- 256 copy_kf.i
- - rw-r--r-- 1,733 copy_kf.ml
- - rw-r--r-- 134 copy_machdep.i
- - rw-r--r-- 578 copy_machdep.ml
- - rw-r--r-- 509 cpp-extra-args-per-file1.c
- - rw-r--r-- 228 cpp-extra-args-per-file2.c
- - rw-r--r-- 726 custom_machdep.c
- - rw-r--r-- 1,425 custom_machdep.ml
- - rw-r--r-- 890 debug_category.i
- - rw-r--r-- 123 ensures.i
- - rw-r--r-- 754 ensures.ml
- - rw-r--r-- 672 exception.i
- - rw-r--r-- 6,048 exception.ml
- - rw-r--r-- 156 fam_with_init.i
- - rw-r--r-- 174 filepath.i
- - rw-r--r-- 1,189 filepath_test.ml
- - rw-r--r-- 195 find_enclosing_loop.c
- - rw-r--r-- 819 find_enclosing_loop.ml
- - rw-r--r-- 181 function_ptr_alignof.i
- - rw-r--r-- 156 function_ptr_lvalue_1.i
- - rw-r--r-- 156 function_ptr_lvalue_2.i
- - rw-r--r-- 173 function_ptr_sizeof.i
- - rw-r--r-- 204 global_decl_loc.i
- - rw-r--r-- 227 global_decl_loc.ml
- - rw-r--r-- 255 global_decl_loc2.i
- - rw-r--r-- 113 init_from_cil.i
- - rw-r--r-- 221 init_from_cil.ml
- - rw-r--r-- 472 interpreted_automata_dataflow.i
- - rw-r--r-- 1,934 interpreted_automata_dataflow_backward.ml
- - rw-r--r-- 3,674 interpreted_automata_dataflow_forward.ml
- - rw-r--r-- 213 issue109.i
- - rw-r--r-- 214 issue109.ml
- - rw-r--r-- 104 issue_191.c
- - rw-r--r-- 224 issue_191.ml
- - rw-r--r-- 66 justcopy.i
- - rw-r--r-- 231 justcopy.ml
- - rw-r--r-- 198 keep_entry_point.i
- - rw-r--r-- 103 keep_entry_point.ml
- - rw-r--r-- 1,042 log-file.i
- - rw-r--r-- 90 log_selfrec.i
- - rw-r--r-- 166 log_twice.i
- - rw-r--r-- 297 log_twice.ml
- - rw-r--r-- 387 long_ident.c
- - rw-r--r-- 2,129 m12_2.i
- - rw-r--r-- 115 mergestruct1.i
- - rw-r--r-- 140 mergestruct2.i
- - rw-r--r-- 241 mergestruct3.i
- - rw-r--r-- 608 my_visitor.c
- - rw-r--r-- 2,564 my_visitor.ml
- - rw-r--r-- 1,577 obfuscate.c
- - rw-r--r-- 438 orphan_emitter.i
- - rw-r--r-- 519 orphan_emitter.ml
- - rw-r--r-- 109 permissive.i
- - rw-r--r-- 537 plugin_log.ml
- - rw-r--r-- 47 pp_bin_hex.i
- - rw-r--r-- 992 pp_bin_hex.ml
- - rw-r--r-- 100 pp_int.i
- - rw-r--r-- 3,058 pp_int.ml
- - rw-r--r-- 1,110 pragma-pack-utils.h
- - rw-r--r-- 9,235 pragma-pack.c
- - rw-r--r-- 1,161 pragma_pack_zero.c
- - rw-r--r-- 61 print_machdep.i
- - rw-r--r-- 212 remove_status_hyps.i
- - rw-r--r-- 1,960 remove_status_hyps.ml
- - rw-r--r-- 134 save_comments.i
- - rw-r--r-- 1,419 save_comments.ml
- - rw-r--r-- 206 static.i
- - rw-r--r-- 910 static.ml
- - rw-r--r-- 393 stdint.i
- - rw-r--r-- 501 test_config
- - rw-r--r-- 65 test_datatype.i
- - rw-r--r-- 660 test_datatype.ml
- - rwxr-xr-x 1,191 tests.sh
- - rw-r--r-- 328 ulevel.i
- - rw-r--r-- 70 version.i
- - rw-r--r-- 694 version.ml
- - rw-r--r-- 118 vis_queueInstr.i
- - rw-r--r-- 245 vis_queueInstr.ml
- - rw-r--r-- 150 vis_spec.i
- - rw-r--r-- 1,056 vis_spec.ml
- - rw-r--r-- 81 visitor_creates_func_bts_1349.i
- - rw-r--r-- 1,458 visitor_creates_func_bts_1349.ml
- - rw-r--r-- 199 well_typed_alarm.i
- - rw-r--r-- 128 well_typed_alarm.ml
- - rw-r--r-- 2,639 widen_hints.c
- - rw-r--r-- 1,927 widen_hints2.c
- - rw-r--r-- 1,547 widen_hints_float.c
- - rw-r--r-- 66 with-space.i
- - rw-r--r-- 399 wstring_phase6.c
- - rw-r--r-- 608 wstring_phase6.ml