package info (click to toggle)
frama-c 20140301%2Bneon%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 19,548 kB
  • ctags: 28,183
  • sloc: ml: 181,252; ansic: 13,776; makefile: 2,452; sh: 1,085; lisp: 178

Folder: slicing

d .. (parent)
d d rwxr-xr-x 10 oracle
d d rwxr-xr-x 10 result
- - rw-r--r-- 1,748 anim.ml
- - rw-r--r-- 387 annot.c
- - rw-r--r-- 235 bts0184.c
- - rw-r--r-- 234 bts0190.c
- - rw-r--r-- 272 bts0950_annot.i
- - rw-r--r-- 194 bts1248.i
- - rw-r--r-- 265 bts1445.i
- - rw-r--r-- 510 bts179.c
- - rw-r--r-- 555 bts283.c
- - rw-r--r-- 307 bts326.c
- - rw-r--r-- 415 bts335.c
- - rw-r--r-- 468 bts335b.c
- - rw-r--r-- 2,825 bts336.c
- - rw-r--r-- 184 bts341.c
- - rw-r--r-- 553 bts344.c
- - rw-r--r-- 764 bts345.c
- - rw-r--r-- 195 bts679.i
- - rw-r--r-- 182 bts679b.i
- - rw-r--r-- 897 bts709.c
- - rw-r--r-- 364 bts808.c
- - rw-r--r-- 272 bts827.c
- - rw-r--r-- 1,490 call_accuracy.c
- - rw-r--r-- 511 call_demo.c
- - rw-r--r-- 688 callwise.c
- - rw-r--r-- 405 combine.c
- - rw-r--r-- 2,346 combine.ml
- - rw-r--r-- 3,689 csmith.c
- - rw-r--r-- 527 ex_spec_interproc.c
- - rw-r--r-- 3,820 ex_spec_interproc.ml
- - rw-r--r-- 716 filter.c
- - rw-r--r-- 476 forall_loop_invariant.i
- - rw-r--r-- 614 horwitz.c
- - rw-r--r-- 293 horwitz.ml
- - rw-r--r-- 235 if_many_values.c
- - rw-r--r-- 208 initialized.c
- - rw-r--r-- 1,535 keep_annot.c
- - rw-r--r-- 2,431 libAnim.ml
- - rw-r--r-- 6,536 libSelect.ml
- - rw-r--r-- 211 loop_infinite.c
- - rw-r--r-- 407 loop_simple.c
- - rw-r--r-- 6,913 loops.c
- - rw-r--r-- 533 mark_all_slices.c
- - rw-r--r-- 2,525 mark_all_slices.ml
- - rw-r--r-- 539 merge.c
- - rw-r--r-- 3,191 merge.ml
- - rw-r--r-- 302 min_call.c
- - rw-r--r-- 4,672 min_call.ml
- - rw-r--r-- 392 ptr_fct.c
- - rw-r--r-- 165 same_sliced_name_bts1422.i
- - rw-r--r-- 3,819 select_by_annot.c
- - rw-r--r-- 1,591 select_by_annot.ml
- - rw-r--r-- 764 select_calls.c
- - rw-r--r-- 3,406 select_return.c
- - rw-r--r-- 1,956 select_return_bis.c
- - rw-r--r-- 253 select_simple.c
- - rw-r--r-- 684 select_simple.ml
- - rw-r--r-- 1,821 simple_intra_slice.c
- - rw-r--r-- 3,587 simple_intra_slice.ml
- - rw-r--r-- 3,241 sizeof.c
- - rw-r--r-- 251 slice_behavior.c
- - rw-r--r-- 414 slice_no_body.c
- - rw-r--r-- 2,031 slice_no_body.ml
- - rw-r--r-- 5,943 slice_pragma_stmt.c
- - rw-r--r-- 338 switch.c
- - rw-r--r-- 245 switch.ml
- - rw-r--r-- 555 top.c
- - rw-r--r-- 453 top2.c
- - rw-r--r-- 286 undef-fun.c
- - rw-r--r-- 849 unitialized.c
- - rw-r--r-- 1,604 unravel-flavors.c
- - rw-r--r-- 1,475 unravel-point.c
- - rw-r--r-- 2,131 unravel-variance.c
- - rw-r--r-- 187 unsupported.i
- - rw-r--r-- 1,004 use_spec.i
- - rw-r--r-- 419 variadic.c