cerberus · d38e7a82fc4c062b1646cad8cf3b693f6d3b2859 · pub / open-source-case-studies

Compare

synchronize with frama-c master

Andre Maroneze authored 11 months ago

d38e7a82

History

d38e7a82 11 months ago

History

Name	Last commit	Last update
..
.frama-c
LICENCE
Makefile
OSCS-README.txt
README-defacto_tarball
README-oscs
besson_blazy_wilke_6_2.c
besson_blazy_wilke_bitfields_1.c
besson_blazy_wilke_bitfields_1u.c
besson_blazy_wilkie_Fig_1.c
besson_blazy_wilkie_Fig_1_adapted.c
besson_blazy_wilkie_Fig_2.c
cast_struct_and_first_member_1.c
cast_struct_inter_member_1.c
cast_struct_isomorphic.c
cast_struct_same_prefix.c
cast_union_and_member_1.c
cheri_01_deconst.c
cheri_02_container.c
cheri_03_ii.c
cheri_03_ii_char.c
cheri_04a_int_uintptr_t.c
cheri_04b_int_unsigned_long.c
cheri_05_ia.c
cheri_06_mask.c
cheri_07_wide.c
cheri_08_last_word.c
compcertMMv2-1.c
compcertMMv2-2.c
compcertMMv2-3.c
compcertMMv2-4.c
compcertMMv2-5.c
compcertMMv2-6.c
compcertTSO-1.c
compcertTSO-2.c
effective_type_1.c
effective_type_10.c
effective_type_2.c
effective_type_3.c
effective_type_4.c
effective_type_5.c
effective_type_6.c
effective_type_7.c
effective_type_8.c
effective_type_9.c
frama-c-2013-03-13-2.c
frama-c-2013-03-13-3-uc.c
frama-c-2013-03-13-3.c
khmgzv-1.c
khmgzv-2.c
klw-itp14-1.c
klw-itp14-2.c
krebbers_biener_1.c
null_pointer_1.c
null_pointer_2.c
null_pointer_3.c
null_pointer_4.c
padding_10.c
padding_struct_copy_1.c
padding_struct_copy_2.c
padding_struct_copy_3.c
padding_struct_copy_of_representation_bytes.c
padding_struct_members_copy.c
padding_subunion_1.c
padding_subunion_2.c
padding_unspecified_value_1.c
padding_unspecified_value_2.c
padding_unspecified_value_3.c
padding_unspecified_value_4.c
padding_unspecified_value_5.c
padding_unspecified_value_6.c
padding_unspecified_value_7.c
padding_unspecified_value_8.c
pointer_add_wrap_1.c
pointer_add_wrap_2.c
pointer_arith_algebraic_properties_1_global.c
pointer_arith_algebraic_properties_2_auto.c
pointer_arith_algebraic_properties_2_global.c
pointer_arith_algebraic_properties_3_auto.c
pointer_arith_algebraic_properties_3_global.c
pointer_comparison_7b.c
pointer_comparison_7c.c
pointer_comparison_eq_1_auto.c
pointer_comparison_eq_1_global.c
pointer_comparison_eq_2_auto.c
pointer_comparison_eq_2_global.c
pointer_comparison_eq_zombie_1.c
pointer_comparison_eq_zombie_2.c
pointer_comparison_rel_1_auto.c
pointer_comparison_rel_1_global.c
pointer_comparison_rel_different_type_members.c
pointer_comparison_rel_substruct.c
pointer_copy_memcpy.c
pointer_copy_user_ctrlflow_bitwise.c
pointer_copy_user_ctrlflow_bytewise.c
pointer_copy_user_ctrlflow_bytewise_abbrev.c
pointer_copy_user_dataflow_direct_bitwise.c
pointer_copy_user_dataflow_direct_bytewise.c
pointer_copy_user_dataflow_indirect_bytewise.c
pointer_from_concrete_address_1.c
pointer_from_concrete_address_2.c
pointer_offset_constant_8_malloc.c
pointer_offset_from_subtraction_1_auto.c
pointer_offset_from_subtraction_1_global.c
pointer_offset_from_subtraction_1_malloc.c
pointer_offset_from_subtraction_2_auto.c
pointer_offset_from_subtraction_2_global.c
pointer_offset_xor_auto.c
pointer_offset_xor_global.c
pointer_stability_1.c
pointer_stability_2.c
provenance_basic_auto_xy.c
provenance_basic_auto_yx.c
provenance_basic_global_xy.c
provenance_basic_global_yx.c
provenance_basic_malloc_offset+12.c
provenance_basic_malloc_offset+2.c
provenance_basic_malloc_offset+4.c
provenance_basic_malloc_offset+8.c
provenance_basic_malloc_offset-4.c
provenance_basic_mixed_auto.c
provenance_basic_mixed_auto_offset+4.c
provenance_basic_mixed_auto_offset-4.c
provenance_basic_mixed_auto_offset-64.c
provenance_basic_mixed_global_offset+4.c
provenance_basic_mixed_global_offset-4.c
provenance_basic_mixed_global_offset-64.c
provenance_basic_using_intptr_t_auto_xy.c
provenance_basic_using_intptr_t_auto_yx.c
provenance_basic_using_intptr_t_auto_yx_offset-16.c
provenance_basic_using_intptr_t_global_xy.c
provenance_basic_using_intptr_t_global_xy_offset64.c
provenance_basic_using_intptr_t_global_yx.c
provenance_basic_using_intptr_t_malloc_offset_-16.c
provenance_basic_using_intptr_t_malloc_offset_8.c
provenance_equality_auto_cu_yx_a.c
provenance_equality_auto_cu_yx_b.c
provenance_equality_auto_fn_yx.c
provenance_equality_auto_yx.c
provenance_equality_global_cu_xy_a.c
provenance_equality_global_cu_xy_b.c
provenance_equality_global_cu_yx_a.c
provenance_equality_global_cu_yx_b.c
provenance_equality_global_fn_xy.c
provenance_equality_global_fn_yx.c
provenance_equality_global_xy.c
provenance_equality_global_yx.c
provenance_equality_uintptr_t_global_xy.c
provenance_equality_uintptr_t_global_yx.c
provenance_multiple_1_global.c
provenance_multiple_2_global.c
provenance_multiple_3_global_yx.c
provenance_multiple_4_global_yx.c
provenance_multiple_5_auto.c
provenance_multiple_5_global.c
provenance_roundtrip_via_intptr_t.c
provenance_roundtrip_via_unsigned_long.c
provenance_tag_bits_via_uintptr_t_1.c
provenance_tag_bits_via_uintptr_t_1_no_assert.c
provenance_union_punning_1_global.c
provenance_union_punning_2_auto_xy.c
provenance_union_punning_2_auto_yx.c
provenance_union_punning_2_global_xy.c
provenance_union_punning_2_global_yx.c
provenance_via_io_auto.c
provenance_via_io_bytewise_global.c
provenance_via_io_global.c
provenance_via_io_percentp_global.c
provenance_via_io_uintptr_t_global.c
read_union_same_prefix_visible.c
read_via_invalid_1.c
signalling_nan_1.c
struct_initialise_members.c
struct_inter_submember_1.c
tkn-1.c
tkn-2.c
tkn-3-commented.c
tkn-3.c
trap_representation_1.c
trap_representation_2.c
trap_representation_3.c
ubc_addr_null_1.c
union_punning_gcc_1.c
union_punning_gcc_2.c
union_punning_gcc_3.c
unspecified_value_control_flow_choice.c
unspecified_value_daemonic_1.c
unspecified_value_library_call_argument.c
unspecified_value_representation_bytes_1.c
unspecified_value_representation_bytes_2.c
unspecified_value_representation_bytes_3.c
unspecified_value_representation_bytes_4.c
unspecified_value_stability.c
unspecified_value_strictness_and_1.c
unspecified_value_strictness_int.c
unspecified_value_strictness_mod_1.c
unspecified_value_strictness_mod_2.c
unspecified_value_strictness_unsigned_char.c
unspecified_value_struct_copy.c
unspecified_value_union_1.c