package info (click to toggle)
frama-c 20201209%2Btitanium-4.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 55,200 kB
  • sloc: ml: 260,374; ansic: 51,885; sh: 3,578; makefile: 3,111; python: 1,029; perl: 897; lisp: 259; xml: 62; asm: 46

Folder: syntax

d .. (parent)
d d rwxr-xr-x 16,384 oracle
- - rw-r--r-- 581 Enum_repr.ml
- - rw-r--r-- 883 Refresh_visitor.i
- - rw-r--r-- 2,421 Refresh_visitor.ml
- - rw-r--r-- 168 access_volatile_bts1589.i
- - rw-r--r-- 417 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-- 61 alloc_order.i
- - rw-r--r-- 390 anon_enum_libc.c
- - rw-r--r-- 116 anon_enum_libc.h
- - rw-r--r-- 899 anonymous_comp_init.i
- - rw-r--r-- 181 arg_type.i
- - rw-r--r-- 103 array_cast_bts1099.i
- - rw-r--r-- 59 array_size.i
- - rw-r--r-- 49 array_size_float.i
- - rw-r--r-- 165 array_static_arg.i
- - rw-r--r-- 383 asm_goto.i
- - rw-r--r-- 607 asm_with_contracts.i
- - rw-r--r-- 5,209 assembly_gmp.c
- - rw-r--r-- 81 assert_location.c
- - rw-r--r-- 72 assert_location.h
- - rw-r--r-- 189 ast_init.i
- - rw-r--r-- 509 ast_init.ml
- - rw-r--r-- 1,234 attributes-declarations-definitions.c
- - rw-r--r-- 131 axiomatic_nested.i
- - 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-- 287 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-- 137 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,658 built.i
- - rw-r--r-- 109 builtin_constant_p.i
- - rw-r--r-- 575 cert-dcl-36.c
- - rw-r--r-- 243 cert_exp10.c
- - rw-r--r-- 788 cert_exp46.i
- - rw-r--r-- 1,219 cert_msc_38.c
- - rw-r--r-- 252 char_is_unsigned.i
- - rw-r--r-- 274 check_builtin_bts1440.i
- - rw-r--r-- 263 clone_test.i
- - rw-r--r-- 210 clone_test.ml
- - rw-r--r-- 477 compile_constant.c
- - rw-r--r-- 163 composite-tags.i
- - rw-r--r-- 143 compound-literal.i
- - rw-r--r-- 1,383 const-assignments.c
- - rw-r--r-- 869 const_formals.i
- - rw-r--r-- 220 constfold.i
- - rw-r--r-- 330 copy_logic.i
- - rw-r--r-- 348 copy_visitor.i
- - rw-r--r-- 539 copy_visitor_bts_1073.c
- - rw-r--r-- 1,046 copy_visitor_bts_1073.ml
- - rw-r--r-- 1,931 copy_visitor_bts_1073_bis.ml
- - rw-r--r-- 705 cpp-command.c
- - rw-r--r-- 270 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-- 77 duplicate_field.i
- - rw-r--r-- 91 duplicated_global_bts1129.i
- - rw-r--r-- 318 empty_initializer.i
- - rw-r--r-- 239 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-- 243 extern_init.i
- - rw-r--r-- 111 extern_init_1.i
- - rw-r--r-- 138 extern_init_2.i
- - rw-r--r-- 63 extinline.i
- - rw-r--r-- 1,532 fam.i
- - rw-r--r-- 199 fc_filename.c
- - rw-r--r-- 319 fct_ptr.i
- - rw-r--r-- 397 field-offsets.c
- - rw-r--r-- 200 flexible_array_member.i
- - rw-r--r-- 92 flexible_array_member_invalid1.i
- - rw-r--r-- 120 flexible_array_member_invalid2.i
- - rw-r--r-- 133 flexible_array_member_invalid3.i
- - rw-r--r-- 117 flexible_array_member_invalid4.i
- - rw-r--r-- 160 flexible_array_member_invalid5.i
- - rw-r--r-- 119 float.i
- - rw-r--r-- 79 foo%22.c
- - rw-r--r-- 181 forloophook.i
- - rw-r--r-- 876 forloophook.ml
- - rw-r--r-- 205 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-- 128 function-types-compatible.i
- - rw-r--r-- 4,766 gcc_builtins.c
- - rw-r--r-- 317 get_astinfo_bts1136.i
- - rw-r--r-- 1,414 get_astinfo_bts1136.ml
- - rw-r--r-- 6,162 ghost_cv_incompat.i
- - rw-r--r-- 2,692 ghost_cv_invalid_use.i
- - rw-r--r-- 322 ghost_cv_parsing_errors.c
- - rw-r--r-- 866 ghost_cv_valid_ref.i
- - rw-r--r-- 3,154 ghost_cv_valid_use.i
- - rw-r--r-- 4,854 ghost_cv_var_decl.c
- - rw-r--r-- 3,128 ghost_cv_var_decl.ml
- - rw-r--r-- 2,131 ghost_else.i
- - rw-r--r-- 1,085 ghost_else_bad.c
- - rw-r--r-- 149 ghost_else_bad_oneline.i
- - rw-r--r-- 83 ghost_func_ptr.i
- - rw-r--r-- 363 ghost_lexing.i
- - rw-r--r-- 473 ghost_local_capture.i
- - rw-r--r-- 387 ghost_local_ill_formed.i
- - rw-r--r-- 1,946 ghost_multiline_annot.c
- - rw-r--r-- 4,005 ghost_parameters.c
- - rw-r--r-- 581 ghost_parameters_formals_status.i
- - rw-r--r-- 799 ghost_parameters_formals_status.ml
- - rw-r--r-- 702 ghost_parameters_side_effect_arg.i
- - rw-r--r-- 7,066 gnu-asm-aesni.c
- - rw-r--r-- 111 implicit_args_bts1267.i
- - rw-r--r-- 2,073 incompatible_qualifiers.c
- - 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-- 753 inconsistent_global_ghost_spec.c
- - rw-r--r-- 66 init_bts1352.i
- - rw-r--r-- 581 initializer.i
- - rw-r--r-- 205 initializers.i
- - rw-r--r-- 1,215 inline_calls.i
- - rw-r--r-- 383 inline_def_1.i
- - rw-r--r-- 180 inline_def_2.i
- - rw-r--r-- 117 inline_def_bad_1.i
- - rw-r--r-- 186 inline_def_bad_2.i
- - rw-r--r-- 446 inserted_casts.c
- - rw-r--r-- 353 inserted_casts.ml
- - rw-r--r-- 49 invalid_constant.i
- - rw-r--r-- 204 keep.i
- - rw-r--r-- 276 keep_logical_operators.i
- - rw-r--r-- 324 label_decl.i
- - rw-r--r-- 38 libc_defs.c
- - rw-r--r-- 50 line_number.c
- - rw-r--r-- 332 literal-question-no-trigraph.c
- - rw-r--r-- 215 local-init-const.i
- - rw-r--r-- 315 local-variable.i
- - rw-r--r-- 200 local_uninitialized_bts_1081.i
- - rw-r--r-- 195 logic_env.i
- - rw-r--r-- 921 logic_env_script.ml
- - rw-r--r-- 1,921 loop-case-switch-for-unroll.c
- - rw-r--r-- 240 loop_annot.i
- - rw-r--r-- 281 lvalvoid.i
- - rw-r--r-- 865 machdep_char_unsigned.ml
- - rw-r--r-- 519 macro_escape_chars.c
- - rw-r--r-- 840 merge_attrs_align.c
- - rw-r--r-- 378 merge_attrs_align1.c
- - rw-r--r-- 345 merge_attrs_align2.c
- - rw-r--r-- 396 merge_attrs_align3.c
- - rw-r--r-- 371 merge_attrs_align4.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-- 377 merge_inline_1.c
- - rw-r--r-- 235 merge_inline_2.c
- - rw-r--r-- 391 merge_loc.i
- - rw-r--r-- 322 merge_union.c
- - rw-r--r-- 100 merge_union.h
- - rw-r--r-- 155 merge_union_2.c
- - rw-r--r-- 154 merge_union_3.c
- - rw-r--r-- 246 merge_unused.c
- - rw-r--r-- 101 merge_unused.h
- - rw-r--r-- 137 merge_unused_2.c
- - rw-r--r-- 183 merge_variadic.i
- - rw-r--r-- 237 merge_variadic_aux.i
- - rw-r--r-- 256 multiline_macro.c
- - rw-r--r-- 105 multiple_assigns.i
- - rw-r--r-- 526 multiple_decls_contracts.c
- - rw-r--r-- 445 multiple_froms.i
- - rw-r--r-- 435 mutable_test.i
- - rw-r--r-- 497 mutable_test.ml
- - rw-r--r-- 201 mutually_recursive_struct.i
- - rw-r--r-- 375 no-print-libc-reparse.c
- - rw-r--r-- 77 no_prototype.i
- - rw-r--r-- 44 noret.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-- 120 osx_attribute.i
- - rw-r--r-- 326 pp_lines.ml
- - rw-r--r-- 80 pragma.i
- - 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-- 857 rename.i
- - rw-r--r-- 286 reorder.i
- - rw-r--r-- 1,921 reorder.ml
- - rw-r--r-- 203 rettype.i
- - rw-r--r-- 44 rmtmps_static.i
- - rw-r--r-- 123 signal.c
- - rw-r--r-- 101 simp_switch.i
- - rw-r--r-- 331 sizeof_bts1414.i
- - rw-r--r-- 451 sizeof_incomplete_type.c
- - rw-r--r-- 101 slash_end.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-- 292 string_concat.c
- - rw-r--r-- 318 struct_copy.i
- - rw-r--r-- 86 struct_with_function_field_invalid.i
- - rw-r--r-- 255 switch-default.i
- - rw-r--r-- 663 syntactic_hook.i
- - rw-r--r-- 3,737 syntactic_hook.ml
- - rw-r--r-- 296 temporary_location.c
- - rw-r--r-- 316 temporary_location.ml
- - rw-r--r-- 131 ternary_brace.i
- - rw-r--r-- 139 ternary_bts1503.i
- - rw-r--r-- 196 test_config
- - rw-r--r-- 438 thread.i
- - rw-r--r-- 224 transient_block.i
- - rw-r--r-- 1,707 transient_block.ml
- - rw-r--r-- 201 type_branch_bts_1081.i
- - rw-r--r-- 444 type_compat_call.c
- - rw-r--r-- 1,481 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-- 219 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-- 180 unnamed_bitfields.i
- - rw-r--r-- 942 unroll_const.i
- - rw-r--r-- 1,679 unroll_labels.i
- - rw-r--r-- 316 unroll_property_status_bts1442.i
- - rw-r--r-- 195 unroll_visit.i
- - rw-r--r-- 414 unspecified_access_address.i
- - rw-r--r-- 251 unspecified_access_call_bts0888.i
- - rw-r--r-- 145 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-- 409 va.c
- - rw-r--r-- 555 variadic.i
- - rw-r--r-- 165 vdefined_bts1241.i
- - rw-r--r-- 106 vdefined_bts1241_1.i
- - rw-r--r-- 596 vdescr_bts1387.i
- - rw-r--r-- 389 vdescr_bts1387.ml
- - rw-r--r-- 189 visit_create_local.i
- - rw-r--r-- 982 visit_create_local.ml
- - rw-r--r-- 278 vla_goto.i
- - rw-r--r-- 686 vla_goto2.i
- - rw-r--r-- 189 vla_goto3.i
- - rw-r--r-- 338 vla_goto_same_block_above.i
- - rw-r--r-- 198 vla_goto_same_block_below.i
- - rw-r--r-- 746 vla_loop.i
- - rw-r--r-- 116 vla_strlen.c
- - rw-r--r-- 212 vla_switch.i
- - rw-r--r-- 278 void_parameter.i
- - rw-r--r-- 2,275 volatile_clause.i
- - rw-r--r-- 113 wrong-assignment.i
- - rw-r--r-- 109 wrong_label.i
- - rw-r--r-- 295 wstring_concat.c