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: syntax

d .. (parent)
d d rwxr-xr-x 6 oracle
d d rwxr-xr-x 6 result
- - rw-r--r-- 581 Enum_repr.ml
- - rw-r--r-- 168 access_volatile_bts1589.i
- - rw-r--r-- 337 add_allocates.i
- - rw-r--r-- 58 add_allocates.ml
- - rw-r--r-- 155 agressive_merging_1.i
- - rw-r--r-- 137 agressive_merging_2.i
- - rw-r--r-- 132 arg_type.i
- - rw-r--r-- 103 array_cast_bts1099.i
- - rw-r--r-- 187 asm_goto.i
- - rw-r--r-- 171 bad_return_bts_599.i
- - rw-r--r-- 421 big_local_array.i
- - rw-r--r-- 277 big_local_array_script.ml
- - rw-r--r-- 105 bts0323-2.c
- - rw-r--r-- 97 bts0323.c
- - rw-r--r-- 54 bts0323.h
- - rw-r--r-- 108 bts0442-2.i
- - rw-r--r-- 82 bts0442.i
- - rw-r--r-- 235 bts0519.c
- - rw-r--r-- 104 bts0577.i
- - rw-r--r-- 117 bts0588.i
- - rw-r--r-- 391 bts0672_link.c
- - rw-r--r-- 167 bts0672_link_2.c
- - rw-r--r-- 102 bts0769.i
- - rw-r--r-- 363 bts0916.i
- - rw-r--r-- 106 bts59.i
- - rw-r--r-- 2,473 built.i
- - rw-r--r-- 88 builtin_constant.i
- - rw-r--r-- 217 check_builtin_bts1440.i
- - rw-r--r-- 330 copy_logic.i
- - rw-r--r-- 338 copy_visitor.i
- - rw-r--r-- 509 copy_visitor_bts_1073.c
- - rw-r--r-- 932 copy_visitor_bts_1073.ml
- - rw-r--r-- 1,931 copy_visitor_bts_1073_bis.ml
- - rw-r--r-- 437 dangling_else.i
- - rw-r--r-- 93 dangling_reference_bts1475.i
- - rw-r--r-- 117 designated_init_pretty_print_bts1457.i
- - rw-r--r-- 764 dowhilezero.c
- - rw-r--r-- 91 duplicated_global_bts1129.i
- - rw-r--r-- 132 enum.h
- - rw-r--r-- 182 enum1.c
- - rw-r--r-- 192 enum2.c
- - rw-r--r-- 147 enum_call.i
- - rw-r--r-- 2,194 enum_repr.i
- - rw-r--r-- 119 enum_size_array.i
- - rw-r--r-- 48 erased_label_bts1502.i
- - rw-r--r-- 119 float.i
- - rw-r--r-- 108 forloophook.i
- - rw-r--r-- 876 forloophook.ml
- - rw-r--r-- 154 formals_decl_leak.i
- - rw-r--r-- 320 formals_decl_leak.ml
- - rw-r--r-- 120 formals_decl_leak_1.i
- - rw-r--r-- 128 func_spec_merge.i
- - rw-r--r-- 255 get_astinfo_bts1136.i
- - rw-r--r-- 1,414 get_astinfo_bts1136.ml
- - rw-r--r-- 181 ghost_lexing.i
- - rw-r--r-- 111 implicit_args_bts1267.i
- - rw-r--r-- 218 inconsistent_decl.c
- - rw-r--r-- 136 inconsistent_decl_2.i
- - rw-r--r-- 66 init_bts1352.i
- - rw-r--r-- 231 inserted_casts.c
- - rw-r--r-- 353 inserted_casts.ml
- - rw-r--r-- 204 keep.i
- - rw-r--r-- 123 libc.c
- - rw-r--r-- 50 line_number.c
- - rw-r--r-- 196 local_uninitialized_bts_1081.i
- - rw-r--r-- 148 logic_env.i
- - rw-r--r-- 921 logic_env_script.ml
- - rw-r--r-- 240 loop_annot.i
- - rw-r--r-- 281 lvalvoid.i
- - rw-r--r-- 217 merge_bts0948.i
- - rw-r--r-- 134 merge_bts0948_1.i
- - rw-r--r-- 134 merge_bts0948_2.i
- - rw-r--r-- 114 multi_dim_array_decay_bts1142.i
- - rw-r--r-- 163 one_ret_assert.i
- - rw-r--r-- 152 orig_name.i
- - rw-r--r-- 193 ptr_null_cmp_bts1027.i
- - rw-r--r-- 424 reject_use_decl_mismatch_bts728.c
- - rw-r--r-- 212 reorder.i
- - rw-r--r-- 2,119 reorder.ml
- - rw-r--r-- 203 rettype.i
- - rw-r--r-- 101 simp_switch.i
- - rw-r--r-- 150 sizeof_bts1414.i
- - rw-r--r-- 35 spurious_brace_bts_1273.i
- - rw-r--r-- 38 static_formals.h
- - rw-r--r-- 183 static_formals_1.c
- - rw-r--r-- 113 static_formals_2.c
- - rw-r--r-- 669 syntactic_hook.i
- - rw-r--r-- 2,373 syntactic_hook.ml
- - rw-r--r-- 38 ternary_bts1503.i
- - rw-r--r-- 197 type_branch_bts_1081.i
- - rw-r--r-- 72 type_redef.i
- - rw-r--r-- 516 typedef_incorrect_pretty_print_bts1518.i
- - rw-r--r-- 36 typedef_multi.h
- - rw-r--r-- 87 typedef_multi.ml
- - rw-r--r-- 172 typedef_multi_1.c
- - rw-r--r-- 183 typedef_multi_2.c
- - rw-r--r-- 455 typedef_namespace_bts1500.c
- - rw-r--r-- 170 typeof.i
- - rw-r--r-- 158 undeclared_local_bts1113.c
- - rw-r--r-- 1,447 undeclared_local_bts1126.c
- - rw-r--r-- 1,652 unroll_labels.i
- - rw-r--r-- 380 unroll_property_status_bts1442.i
- - rw-r--r-- 194 unroll_visit.i
- - rw-r--r-- 235 unspecified_access_call_bts0888.i
- - rw-r--r-- 129 unspecified_access_if_bts01114.i
- - rw-r--r-- 226 unspecified_access_ptr_bts1519.i
- - rw-r--r-- 138 unspecified_access_struct.i
- - rw-r--r-- 555 variadic.i
- - rw-r--r-- 165 vdefined_bts1241.i
- - rw-r--r-- 106 vdefined_bts1241_1.i
- - rw-r--r-- 537 vdescr_bts1387.i
- - rw-r--r-- 388 vdescr_bts1387.ml
- - rw-r--r-- 126 visit_create_local.i
- - rw-r--r-- 993 visit_create_local.ml