package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26

Folder: misc

d .. (parent)
d d rwxr-xr-x 70 custom_machdep
d d rwxr-xr-x 8,192 oracle
- - rw-r--r-- 2,395 Change_formals.ml
- - rw-r--r-- 726 Debug_category.ml
- - rw-r--r-- 1,457 Visitor_creates_func_bts_1349.ml
- - rw-r--r-- 219 add_assigns.i
- - rw-r--r-- 960 add_assigns.ml
- - rw-r--r-- 230 behavior_names.i
- - rw-r--r-- 425 behavior_names.ml
- - rw-r--r-- 455 bts0451.i
- - rw-r--r-- 1,283 bts0452.i
- - rw-r--r-- 132 bts0452.ml
- - rw-r--r-- 3,766 bts0489.i
- - rw-r--r-- 510 bts0489.ml
- - rw-r--r-- 124 bts0525-2.i
- - rw-r--r-- 171 bts0525.i
- - rw-r--r-- 250 bts0541.c
- - rw-r--r-- 231 bts0990_link.i
- - rw-r--r-- 133 bts0990_link_1.i
- - rw-r--r-- 328 bts1135_ulevel.i
- - rw-r--r-- 138 bts1201.i
- - rw-r--r-- 136 bts1201.ml
- - rw-r--r-- 255 bts1347.i
- - rw-r--r-- 831 bts1347.ml
- - rw-r--r-- 167 bug0277.i
- - rw-r--r-- 97 bug_0209.c
- - rw-r--r-- 662 bug_0209.ml
- - rw-r--r-- 448 callsite.i
- - rw-r--r-- 476 callsite.ml
- - rw-r--r-- 504 change_formals.c
- - rw-r--r-- 137 change_main.i
- - rw-r--r-- 289 change_main.ml
- - rw-r--r-- 125 char_ampamp.c
- - rw-r--r-- 295 copy_kf.i
- - rw-r--r-- 1,733 copy_kf.ml
- - rw-r--r-- 173 copy_machdep.i
- - rw-r--r-- 578 copy_machdep.ml
- - rw-r--r-- 331 custom_machdep.c
- - rw-r--r-- 530 debug_category.i
- - rw-r--r-- 213 ensures.i
- - rw-r--r-- 747 ensures.ml
- - rw-r--r-- 719 exception.i
- - rw-r--r-- 5,927 exception.ml
- - rw-r--r-- 199 find_enclosing_loop.c
- - rw-r--r-- 818 find_enclosing_loop.ml
- - rw-r--r-- 111 init_from_cil.i
- - rw-r--r-- 221 init_from_cil.ml
- - rw-r--r-- 183 issue109.i
- - rw-r--r-- 219 issue109.ml
- - rw-r--r-- 59 justcopy.i
- - rw-r--r-- 249 justcopy.ml
- - rw-r--r-- 242 keep_entry_point.i
- - rw-r--r-- 103 keep_entry_point.ml
- - rw-r--r-- 844 log-file.i
- - rw-r--r-- 143 log_twice.i
- - rw-r--r-- 291 log_twice.ml
- - rw-r--r-- 371 long_ident.c
- - rw-r--r-- 2,129 m12_2.i
- - rw-r--r-- 99 mergestruct1.i
- - rw-r--r-- 141 mergestruct2.i
- - rw-r--r-- 243 mergestruct3.i
- - rw-r--r-- 470 my_visitor.c
- - rw-r--r-- 2,381 my_visitor.ml
- - rw-r--r-- 760 obfuscate.i
- - rw-r--r-- 368 plugin_log.ml
- - rw-r--r-- 330 remove_status_hyps.i
- - rw-r--r-- 1,952 remove_status_hyps.ml
- - rw-r--r-- 154 save_comments.i
- - rw-r--r-- 1,374 save_comments.ml
- - rwxr-xr-x 1,190 tests.sh
- - rw-r--r-- 139 vis_spec.i
- - rw-r--r-- 1,064 vis_spec.ml
- - rw-r--r-- 116 visitor_creates_func_bts_1349.i
- - rw-r--r-- 188 well_typed_alarm.i
- - rw-r--r-- 125 well_typed_alarm.ml
- - rw-r--r-- 1,693 widen_hints.c
- - rw-r--r-- 1,920 widen_hints2.c
- - rw-r--r-- 321 wstring_phase6.i