package info (click to toggle)
frama-c 20220511-manganese-5
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 66,492 kB
  • sloc: ml: 278,834; ansic: 47,093; sh: 4,823; makefile: 3,613; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62

Folder: value

d .. (parent)
d d rwxr-xr-x 48 numerors
d d rwxr-xr-x 20,480 oracle
d d rwxr-xr-x 4,096 oracle_apron
d d rwxr-xr-x 142 oracle_bitwise
d d rwxr-xr-x 4,096 oracle_equality
d d rwxr-xr-x 4,096 oracle_gauges
d d rwxr-xr-x 4,096 oracle_multidim
d d rwxr-xr-x 4,096 oracle_octagon
d d rwxr-xr-x 4,096 oracle_symblocs
d d rwxr-xr-x 117 traces
- - rw-r--r-- 21,352 CruiseControl.c
- - rw-r--r-- 9,144 CruiseControl.h
- - rw-r--r-- 1,076 CruiseControl_const.c
- - rw-r--r-- 1,016 CruiseControl_extern.h
- - rw-r--r-- 424 FP5.i
- - rw-r--r-- 84 abs.i
- - rw-r--r-- 803 abs_addr.i
- - rw-r--r-- 269 absolute_pointer.i
- - rw-r--r-- 316 abstract_struct_1.c
- - rw-r--r-- 104 abstract_struct_2.c
- - rw-r--r-- 33 access_path.i
- - rw-r--r-- 108 add_approx.i
- - rw-r--r-- 1,928 addition.i
- - rw-r--r-- 197 addr.i
- - rw-r--r-- 276 addr2.i
- - rw-r--r-- 222 addrofstring.c
- - rw-r--r-- 129 affect_corrupt.i
- - rw-r--r-- 261 ai_annot.i
- - rw-r--r-- 4,355 alias.i
- - rw-r--r-- 333 align.i
- - rw-r--r-- 724 align_char_array.c
- - rw-r--r-- 991 annot.i
- - rw-r--r-- 1,089 annot_valid.i
- - rw-r--r-- 293 anonymous_field.i
- - rw-r--r-- 304 any_int.c
- - rw-r--r-- 143 arch.i
- - rw-r--r-- 96 arg_array.i
- - rw-r--r-- 1,025 arith_pointer.c
- - rw-r--r-- 611 array_access.c
- - rw-r--r-- 1,342 array_array.c
- - rw-r--r-- 452 array_bounds.i
- - rw-r--r-- 133 array_degenerating_loop.i
- - rw-r--r-- 256 array_initializer.i
- - rw-r--r-- 193 array_loop.i
- - rw-r--r-- 292 array_overlap.i
- - rw-r--r-- 192 array_ptr.i
- - rw-r--r-- 958 array_zero_length.i
- - rw-r--r-- 622 asm_contracts.c
- - rw-r--r-- 294 assert_ptr.i
- - rw-r--r-- 145 assign-leaf-indirect.i
- - rw-r--r-- 1,898 assigns.i
- - rw-r--r-- 4,028 assigns_from.i
- - rw-r--r-- 1,125 assigns_from_direct.i
- - rw-r--r-- 2,519 attribute-aligned.c
- - rw-r--r-- 8,928 auto_loop_unroll.c
- - rw-r--r-- 408 automalloc.i
- - rw-r--r-- 5,312 backward_add_ptr.c
- - rw-r--r-- 2,031 backward_arith.i
- - rw-r--r-- 216 bad_loop.i
- - rw-r--r-- 868 base_addr_offset_block_length.i
- - rw-r--r-- 613 behavior_statuses.i
- - rw-r--r-- 13,579 behaviors1.i
- - rw-r--r-- 9,230 behaviors2.c
- - rw-r--r-- 544 big_lib_entry.i
- - rw-r--r-- 205 bigarray.c
- - rw-r--r-- 2,608 bitfield.i
- - rw-r--r-- 520 bitfield_assign.i
- - rw-r--r-- 567 bitfield_longlong.c
- - rw-r--r-- 119 bitfield_receives_result.i
- - rw-r--r-- 4,012 bitwise.i
- - rw-r--r-- 206 bitwise_float.c
- - rw-r--r-- 312 bitwise_pointer.i
- - rw-r--r-- 774 bitwise_reduction.i
- - rw-r--r-- 176 biz.i
- - rw-r--r-- 1,332 bool.i
- - rw-r--r-- 143 branch.i
- - rw-r--r-- 285 branch2.i
- - rw-r--r-- 148 broken_loop.i
- - rw-r--r-- 700 bts0506.i
- - rw-r--r-- 63 bts0775.i
- - rw-r--r-- 166 bts0858.i
- - rw-r--r-- 225 bts1306.i
- - rw-r--r-- 324 buffer_overflow.i
- - rw-r--r-- 221 bug.i
- - rw-r--r-- 246 bug0196.c
- - rw-r--r-- 713 bug0223.i
- - rw-r--r-- 307 bug0245.i
- - rw-r--r-- 88 bug_023.i
- - rw-r--r-- 113 bug_0244.i
- - rw-r--r-- 2,778 builtins_split.c
- - rw-r--r-- 844 call.i
- - rw-r--r-- 271 call_2.i
- - rw-r--r-- 144 call_3.i
- - rw-r--r-- 376 call_alias.i
- - rw-r--r-- 353 call_deep.i
- - rw-r--r-- 801 call_multi.i
- - rw-r--r-- 189 call_simple.i
- - rw-r--r-- 295 case_analysis.i
- - rw-r--r-- 1,573 cast.i
- - rw-r--r-- 327 cast1.i
- - rw-r--r-- 373 cast2.i
- - rw-r--r-- 395 cast_axalto.c
- - rw-r--r-- 1,576 cast_fun.i
- - rw-r--r-- 137 cast_hetero.i
- - rw-r--r-- 858 cast_return.c
- - rw-r--r-- 1,762 cert_exp35_c.i
- - rw-r--r-- 391 changeret.i
- - rw-r--r-- 193 cmp.i
- - rw-r--r-- 588 cmp_ptr.i
- - rw-r--r-- 404 cmp_ptr_follow_all_branches.i
- - rw-r--r-- 1,098 cond.i
- - rw-r--r-- 1,122 cond2.i
- - rw-r--r-- 2,448 cond_integer_cast_of_float.i
- - rw-r--r-- 42 conditional_initializer.i
- - rw-r--r-- 435 config.h
- - rw-r--r-- 93 config_types.h
- - rw-r--r-- 2,334 const.i
- - rw-r--r-- 137 const2.i
- - rw-r--r-- 207 const_syntax.i
- - rw-r--r-- 683 const_typedef.i
- - rw-r--r-- 887 constarraystructlibentry.i
- - rw-r--r-- 1,167 context_free.i
- - rw-r--r-- 90 context_free_simple.i
- - rw-r--r-- 303 context_width.i
- - rw-r--r-- 174 control.i
- - rw-r--r-- 1,192 conversion.i
- - rw-r--r-- 142 copy_paste.i
- - rw-r--r-- 335 copy_paste_hidden_by_dummy_cast.i
- - rw-r--r-- 91 copy_stdin.i
- - rw-r--r-- 414 dangling.i
- - rw-r--r-- 437 dataflow_order.i
- - rw-r--r-- 182 dead_code.i
- - rw-r--r-- 133 dead_code2.i
- - rw-r--r-- 609 dead_inout.i
- - rw-r--r-- 433 dead_statuses.i
- - rw-r--r-- 157 deep_conditionals.i
- - rw-r--r-- 1,030 definitions.h
- - rw-r--r-- 449 degeneration2.i
- - rw-r--r-- 772 deps.i
- - rw-r--r-- 73 deps_addr.i
- - rw-r--r-- 537 deps_compose.i
- - rw-r--r-- 191 deps_local.i
- - rw-r--r-- 359 deps_mixed.i
- - rw-r--r-- 424 deps_unitialized_locals.i
- - rw-r--r-- 173 deref.i
- - rw-r--r-- 329 descending.i
- - rw-r--r-- 493 disjoint_status.i
- - rw-r--r-- 673 div.i
- - rw-r--r-- 89 div_strange.i
- - rw-r--r-- 941 divneg.i
- - rw-r--r-- 753 domains.i
- - rw-r--r-- 3,190 domains_function.c
- - rw-r--r-- 4,031 downcast.i
- - rw-r--r-- 559 duff.i
- - rw-r--r-- 3,973 dur.i
- - rw-r--r-- 2,755 empty_base.c
- - rw-r--r-- 2,219 empty_struct.c
- - rw-r--r-- 1,361 empty_struct2.c
- - rw-r--r-- 1,944 empty_union.c
- - rw-r--r-- 2,384 endian.i
- - rw-r--r-- 305 enum.i
- - rw-r--r-- 953 enum2.c
- - rw-r--r-- 1,955 equality.c
- - rw-r--r-- 1,300 eval_separated.c
- - rw-r--r-- 1,375 exit_paths.i
- - rw-r--r-- 309 extern.i
- - rw-r--r-- 57 f1.i
- - rw-r--r-- 144 f2.i
- - rw-r--r-- 289 false.i
- - rw-r--r-- 1,000 fam_sizeof.i
- - rw-r--r-- 161 find_ivaltop.i
- - rw-r--r-- 446 folding.i
- - rw-r--r-- 1,198 for_loops.c
- - rw-r--r-- 404 forall.i
- - rw-r--r-- 1,208 fptr.i
- - rw-r--r-- 251 from1.i
- - rw-r--r-- 1,408 from_call.i
- - rw-r--r-- 112 from_global.i
- - rw-r--r-- 118 from_ind.i
- - rw-r--r-- 988 from_pb.i
- - rw-r--r-- 515 from_ptr.i
- - rw-r--r-- 190 from_ptr2.i
- - rw-r--r-- 454 from_res_2.i
- - rw-r--r-- 83 from_termin.i
- - rw-r--r-- 1,406 fun_ptr.i
- - rw-r--r-- 228 function_return_serial_casts.i
- - rw-r--r-- 33 g1.i
- - rw-r--r-- 140 garbled_init.c
- - rw-r--r-- 6,511 gauges.c
- - rw-r--r-- 465 ghost.i
- - rw-r--r-- 166 global_bug.i
- - rw-r--r-- 98 goto.i
- - rw-r--r-- 286 hierarchical_convergence.c
- - rw-r--r-- 1,018 if.i
- - rw-r--r-- 784 if2.i
- - rw-r--r-- 666 ilevel.i
- - rw-r--r-- 141 implies.i
- - rw-r--r-- 302 imprecise_invalid_write.i
- - rw-r--r-- 2,166 incompatible_states.c
- - rw-r--r-- 212 incorrect_reduce_expr.i
- - rw-r--r-- 494 ineq.c
- - rw-r--r-- 174 infinite.i
- - rw-r--r-- 469 init.i
- - rw-r--r-- 617 init_const_guard.i
- - rw-r--r-- 4,138 initialized.c
- - rw-r--r-- 2,624 initialized_copy.i
- - rw-r--r-- 135 inline.c
- - rw-r--r-- 27 inline.h
- - rw-r--r-- 1,337 inout.i
- - rw-r--r-- 270 inout_diff.i
- - rw-r--r-- 213 inout_formals.i
- - rw-r--r-- 389 inout_on_alarms.i
- - rw-r--r-- 939 inout_proto.i
- - rw-r--r-- 69 input.i
- - rw-r--r-- 171 integers.i
- - rw-r--r-- 334 interpol.c
- - rw-r--r-- 265 interpreter-mode-syracuse.i
- - rw-r--r-- 263 invalid_loc_return.i
- - rw-r--r-- 213 invalid_lval_arg.i
- - rw-r--r-- 5,173 invalid_pointer.c
- - rw-r--r-- 604 inversion.i
- - rw-r--r-- 286 inversion2.i
- - rw-r--r-- 348 jacques.i
- - rw-r--r-- 915 join_misaligned.i
- - rw-r--r-- 485 label.i
- - rw-r--r-- 397 lazy.i
- - rw-r--r-- 2,283 leaf.i
- - rw-r--r-- 133 leaf2.i
- - rw-r--r-- 306 leaf_spec.i
- - rw-r--r-- 1,637 library.i
- - rw-r--r-- 118 library_precond.i
- - rw-r--r-- 472 limits.c
- - rw-r--r-- 409 local.i
- - rw-r--r-- 292 local_cleanup.c
- - rw-r--r-- 977 local_slevel.i
- - rw-r--r-- 521 local_variables.i
- - rw-r--r-- 1,016 lock.i
- - rw-r--r-- 14,662 logic.c
- - rw-r--r-- 444 logic_ptr_cast.i
- - rw-r--r-- 436 logicdeps.i
- - rw-r--r-- 107 long.i
- - rw-r--r-- 988 long_const.i
- - rw-r--r-- 1,196 loop.i
- - rw-r--r-- 427 loop1.i
- - rw-r--r-- 857 loop2.i
- - rw-r--r-- 183 loop3.c
- - rw-r--r-- 308 loop_array.i
- - rw-r--r-- 226 loop_join.i
- - rw-r--r-- 117 loop_long.i
- - rw-r--r-- 28 loop_no_var.i
- - rw-r--r-- 319 loop_simple.i
- - rw-r--r-- 2,980 loop_test.i
- - rw-r--r-- 1,626 loop_wvar.i
- - rw-r--r-- 434 loopfun.i
- - rw-r--r-- 1,699 loopinv.c
- - rw-r--r-- 513 machdep.c
- - rw-r--r-- 298 max_pointed.c
- - rw-r--r-- 2,523 memexec.c
- - rw-r--r-- 754 merge_bits.i
- - rw-r--r-- 191 mini_pointrer.i
- - rw-r--r-- 2,049 misaligned_tabs.i
- - rw-r--r-- 141 mixed_val.i
- - rw-r--r-- 177 modifies.i
- - rw-r--r-- 3,924 modulo.i
- - rw-r--r-- 159 multi_access.i
- - rw-r--r-- 715 multidim-relations.c
- - rw-r--r-- 3,444 multidim.c
- - rw-r--r-- 1,351 narrow_behaviors.i
- - rw-r--r-- 1,379 nested_struct_init.i
- - rw-r--r-- 241 no_results.c
- - rw-r--r-- 94 non_iso_initializer.i
- - rw-r--r-- 1,264 non_natural.i
- - rw-r--r-- 4,303 nonlin.c
- - rw-r--r-- 659 noreturn.i
- - rw-r--r-- 69 not.i
- - rw-r--r-- 277 not_ct_array_arg.i
- - rw-r--r-- 449 null_lt_valid.i
- - rw-r--r-- 6,810 octagons.c
- - rw-r--r-- 102 offset_misaligned.i
- - rw-r--r-- 217 offset_neg.i
- - rw-r--r-- 141 offset_top.i
- - rw-r--r-- 1,285 offsetmap.i
- - rw-r--r-- 2,512 origin.i
- - rw-r--r-- 460 output_leafs.i
- - rw-r--r-- 876 overflow.i
- - rw-r--r-- 347 overflow_cast_float_int.i
- - rw-r--r-- 294 packed.c
- - rw-r--r-- 4,378 partitioning-annots.c
- - rw-r--r-- 1,177 partitioning-interproc.c
- - rw-r--r-- 24 pb.i
- - rw-r--r-- 982 period.c
- - rw-r--r-- 544 plevel.i
- - rw-r--r-- 431 pointer.i
- - rw-r--r-- 175 pointer2.i
- - rw-r--r-- 123 pointer3.i
- - rw-r--r-- 246 pointer4.i
- - rw-r--r-- 244 pointer_arg.i
- - rw-r--r-- 827 pointer_comp.c
- - rw-r--r-- 1,097 pointer_comparison.c
- - rw-r--r-- 132 pointer_int_cast.i
- - rw-r--r-- 783 pointer_loop.i
- - rw-r--r-- 2,129 postcond_leaf.c
- - rw-r--r-- 1,281 postcondition.i
- - rw-r--r-- 768 pragma.c
- - rw-r--r-- 835 precise_locations.i
- - rw-r--r-- 572 precond.c
- - rw-r--r-- 527 precond2.c
- - rw-r--r-- 536 propagate_bottom.i
- - rw-r--r-- 98 protomain.i
- - rw-r--r-- 632 ptr_call_object.c
- - rw-r--r-- 776 ptr_relation.i
- - rw-r--r-- 130 pure_exp.i
- - rw-r--r-- 509 qualified_arrays.i
- - rw-r--r-- 314 raz.i
- - rw-r--r-- 705 reading_null.i
- - rw-r--r-- 1,139 recol.c
- - rw-r--r-- 9,908 recursion.c
- - rw-r--r-- 5,237 reduce_by_valid.i
- - rw-r--r-- 1,345 reduce_formals.i
- - rw-r--r-- 1,509 reduce_index.i
- - rw-r--r-- 410 reduce_valid.i
- - rw-r--r-- 1,089 redundant_alarms.c
- - rw-r--r-- 542 reevaluate_alarms.i
- - rw-r--r-- 280 relation_reduction.i
- - rw-r--r-- 362 relation_shift.i
- - rw-r--r-- 887 relations.i
- - rw-r--r-- 1,408 relations2.i
- - rw-r--r-- 336 relations_difficult.i
- - rw-r--r-- 390 replace_by_show_each.c
- - rw-r--r-- 158 resolve.i
- - rw-r--r-- 175 return.i
- - rw-r--r-- 868 scade_types.h
- - rw-r--r-- 462 semaphore.i
- - rw-r--r-- 409 separated.i
- - rw-r--r-- 1,044 shift.i
- - rw-r--r-- 1,137 shift_big.i
- - rw-r--r-- 888 shift_neg.c
- - rw-r--r-- 548 sign_of_bitfiled_int.c
- - rw-r--r-- 354 simple_packed.c
- - rw-r--r-- 95 simple_path.i
- - rw-r--r-- 262 simplify_cfg.i
- - rw-r--r-- 1,314 sizeof.i
- - rw-r--r-- 590 slevel_return.i
- - rw-r--r-- 1,394 slevelex.i
- - rw-r--r-- 62 small_conditionals.i
- - rw-r--r-- 2,392 sort4.i
- - rw-r--r-- 4,021 split_return.i
- - rw-r--r-- 286 statement_contract.i
- - rw-r--r-- 327 static.i
- - rw-r--r-- 144 strange.i
- - rw-r--r-- 2,567 strings.i
- - rw-r--r-- 134 strings_cond.i
- - rw-r--r-- 1,036 struct.i
- - rw-r--r-- 6,371 struct2.i
- - rw-r--r-- 683 struct3.i
- - rw-r--r-- 1,050 struct_array.i
- - rw-r--r-- 658 struct_call.i
- - rw-r--r-- 313 struct_deps.i
- - rw-r--r-- 591 struct_incl.i
- - rw-r--r-- 146 struct_p_call.i
- - rw-r--r-- 605 strucval.c
- - rw-r--r-- 2,012 subset.c
- - rw-r--r-- 2,026 summary.i
- - rw-r--r-- 818 switch.i
- - rw-r--r-- 314 switch2.i
- - rw-r--r-- 827 switch_cast.i
- - rw-r--r-- 2,804 symbolic_locs.i
- - rw-r--r-- 622 tab.c
- - rw-r--r-- 129 tab1.i
- - rw-r--r-- 4,455 taint.c
- - rw-r--r-- 358 termination.i
- - rw-r--r-- 488 test.i
- - rw-r--r-- 356 test_arith.c
- - rw-r--r-- 339 threat_array.i
- - rw-r--r-- 259 threat_if.i
- - rw-r--r-- 316 threat_redundant.c
- - rw-r--r-- 921 tricky_logic.i
- - rw-r--r-- 135 typedef_function.i
- - rw-r--r-- 55 typeof.i
- - rw-r--r-- 361 ulongvslonglong.i
- - rw-r--r-- 549 undef_behavior_bts1059.i
- - rw-r--r-- 31 undef_fct.i
- - rw-r--r-- 1,300 undefined_sequence.i
- - rw-r--r-- 1,383 undefined_sequence2.i
- - rw-r--r-- 44 uninit.i
- - rw-r--r-- 218 uninit_callstack.i
- - rw-r--r-- 81 uninitialized_gnubody.i
- - rw-r--r-- 79 unit_tests.i
- - rw-r--r-- 98 unit_tests.ml
- - rw-r--r-- 503 unknown_sizeof.i
- - rw-r--r-- 357 unop.c
- - rw-r--r-- 1,591 unroll.i
- - rw-r--r-- 290 unroll_simple.i
- - rw-r--r-- 194 unsigned_overflow.c
- - rw-r--r-- 416 use_spec.i
- - rw-r--r-- 187 user_assertion_uninit_var.i
- - rw-r--r-- 490 usp.i
- - rw-r--r-- 287 va_list.c
- - rw-r--r-- 449 va_list2.c
- - rw-r--r-- 406 val6.i
- - rw-r--r-- 543 val_if.i
- - rw-r--r-- 615 val_ptr.i
- - rw-r--r-- 635 video_detect.i
- - rw-r--r-- 4,674 volatile.c
- - rw-r--r-- 2,828 volatile2.i
- - rw-r--r-- 453 volatilestruct.c
- - rw-r--r-- 358 wide_string.c
- - rw-r--r-- 1,914 widen_non_constant.i
- - rw-r--r-- 1,175 widen_on_non_monotonic.i
- - rw-r--r-- 192 widen_overflow.i
- - rw-r--r-- 425 widening_thresholds.i
- - rw-r--r-- 608 with_comment.i
- - rw-r--r-- 254 zerolengtharrays.i