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

d .. (parent)
d d rwxr-xr-x 12,288 oracle
- - rw-r--r-- 581 Enum_repr.ml
- - rw-r--r-- 299 Refresh_visitor.i
- - rw-r--r-- 2,354 Refresh_visitor.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-- 156 aggressive_merging_1.i
- - rw-r--r-- 138 aggressive_merging_2.i
- - rw-r--r-- 181 arg_type.i
- - rw-r--r-- 103 array_cast_bts1099.i
- - rw-r--r-- 49 array_size_float.i
- - rw-r--r-- 165 array_static_arg.i
- - rw-r--r-- 223 asm_goto.i
- - rw-r--r-- 386 asm_with_contracts.i
- - rw-r--r-- 4,971 assembly_gmp.c
- - rw-r--r-- 168 ast_init.i
- - rw-r--r-- 446 ast_init.ml
- - rw-r--r-- 171 bad_return_bts_599.i
- - rw-r--r-- 236 basic_asm.i
- - 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-- 269 bts0519.c
- - rw-r--r-- 104 bts0577.i
- - rw-r--r-- 117 bts0588.i
- - rw-r--r-- 384 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-- 217 bts1553.i
- - rw-r--r-- 331 bts1553_2.i
- - rw-r--r-- 106 bts59.i
- - rw-r--r-- 2,609 built.i
- - rw-r--r-- 207 char_is_unsigned.i
- - rw-r--r-- 274 check_builtin_bts1440.i
- - rw-r--r-- 193 clone_test.i
- - rw-r--r-- 210 clone_test.ml
- - rw-r--r-- 123 constfold.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-- 125 dangerous_expressions.i
- - rw-r--r-- 437 dangling_else.i
- - rw-r--r-- 93 dangling_reference_bts1475.i
- - rw-r--r-- 575 decay.i
- - rw-r--r-- 477 decl-function.i
- - rw-r--r-- 336 define_string_logic_pp_bts2101.c
- - rw-r--r-- 117 designated_init_pretty_print_bts1457.i
- - rw-r--r-- 729 dowhilezero.c
- - rw-r--r-- 91 duplicated_global_bts1129.i
- - rw-r--r-- 318 empty_initializer.i
- - rw-r--r-- 132 enum.h
- - rw-r--r-- 274 enum1.c
- - rw-r--r-- 192 enum2.c
- - rw-r--r-- 147 enum_call.i
- - rw-r--r-- 2,173 enum_repr.i
- - rw-r--r-- 119 enum_size_array.i
- - rw-r--r-- 48 erased_label_bts1502.i
- - rw-r--r-- 271 exit.c
- - rw-r--r-- 1,532 fam.i
- - rw-r--r-- 119 float.i
- - rw-r--r-- 108 forloophook.i
- - rw-r--r-- 876 forloophook.ml
- - rw-r--r-- 147 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-- 4,577 gcc_builtins.c
- - 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-- 6,849 gnu-asm-aesni.c
- - rw-r--r-- 111 implicit_args_bts1267.i
- - rw-r--r-- 132 incomplete_array.i
- - rw-r--r-- 154 incomplete_struct_field.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-- 581 initializer.i
- - rw-r--r-- 205 initializers.i
- - rw-r--r-- 231 inserted_casts.c
- - rw-r--r-- 353 inserted_casts.ml
- - rw-r--r-- 47 invalid_constant.i
- - rw-r--r-- 204 keep.i
- - 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-- 867 machdep_char_unsigned.ml
- - rw-r--r-- 519 macro_escape_chars.c
- - 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-- 373 merge_inline_1.c
- - rw-r--r-- 235 merge_inline_2.c
- - rw-r--r-- 385 merge_loc.i
- - rw-r--r-- 256 multiline_macro.c
- - rw-r--r-- 526 multiple_decls_contracts.c
- - rw-r--r-- 201 mutually_recursive_struct.i
- - rw-r--r-- 122 offset.c
- - rw-r--r-- 127 offsetof.c
- - rw-r--r-- 163 one_ret_assert.i
- - rw-r--r-- 152 orig_name.i
- - rw-r--r-- 326 pp_lines.ml
- - rw-r--r-- 171 preprocessed.ci
- - 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-- 1,926 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-- 318 struct_copy.i
- - rw-r--r-- 669 syntactic_hook.i
- - rw-r--r-- 3,562 syntactic_hook.ml
- - rw-r--r-- 139 ternary_bts1503.i
- - rw-r--r-- 196 test_config
- - rw-r--r-- 197 type_branch_bts_1081.i
- - rw-r--r-- 1,473 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-- 366 undeclared_local_bts1113.c
- - rw-r--r-- 1,447 undeclared_local_bts1126.c
- - rw-r--r-- 942 unroll_const.i
- - rw-r--r-- 1,652 unroll_labels.i
- - rw-r--r-- 316 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
- - rw-r--r-- 276 volatile_clause.i