tests/syntax/oracle · e71bd08304f4eec5f834a25dc3091173214cdac2 · pub / frama-c

Compare

[kernel] Register known Frama-C attributes

Basile Desloges authored 5 months ago

e71bd083

History

e71bd083 5 months ago

History

Name	Last commit	Last update
..
Refresh_visitor.res.oracle
access_volatile_bts1589.res.oracle
add_allocates.res.oracle
aggressive_merging_1.res.oracle
alloc_order.res.oracle
anon_enum_libc.res.oracle
anonymous_comp_init.res.oracle
arg_type.res.oracle
array_cast_bts1099.res.oracle
array_formals.res.oracle
array_size.0.res.oracle
array_size.1.res.oracle
array_size.2.res.oracle
array_size.3.res.oracle
array_size.4.res.oracle
array_size.5.res.oracle
array_size_float.res.oracle
asm_goto.res.oracle
asm_with_contracts.res.oracle
assembly_gmp.0.res.oracle
assembly_gmp.1.res.oracle
assembly_gmp.2.res.oracle
assert_location.res.oracle
ast_diff_1.0.res.oracle
ast_diff_1.1.res.oracle
ast_init.res.oracle
attributes-declarations-definitions.0.res.oracle
attributes-declarations-definitions.1.res.oracle
axiomatic_nested.res.oracle
bad_return_bts_599.res.oracle
basic_asm.res.oracle
binary_op.0.res.oracle
binary_op.1.res.oracle
binary_op.2.res.oracle
binary_op.3.res.oracle
bool_conversion.res.oracle
bts0323.res.oracle
bts0442-2.res.oracle
bts0442.res.oracle
bts0519.0.res.oracle
bts0519.1.res.oracle
bts0577.res.oracle
bts0588.res.oracle
bts0672_link.0.res.oracle
bts0672_link.1.res.oracle
bts0769.res.oracle
bts0916.res.oracle
bts1553.res.oracle
bts1553_2.res.oracle
bts59.res.oracle
built.res.oracle
builtin_choose_expr.res.oracle
builtin_constant_p.res.oracle
c11-keywords.0.res.oracle
c11-keywords.1.res.oracle
c11-keywords.2.res.oracle
c11-keywords.3.res.oracle
c11-keywords.4.res.oracle
c11-keywords.5.res.oracle
c11-keywords.6.res.oracle
cast-struct-function-attr.res.oracle
cast-struct-function-attr_ocode.i
cert-dcl-36.res.oracle
cert_exp10.res.oracle
cert_exp46.res.oracle
cert_msc_38.0.res.oracle
cert_msc_38.1.res.oracle
cert_msc_38.2.res.oracle
cert_msc_38.3.res.oracle
cert_msc_38.4.res.oracle
cert_msc_38.5.res.oracle
cert_msc_38.6.res.oracle
cert_msc_38.7.res.oracle
char_is_unsigned.res.oracle
check_builtin_bts1440.res.oracle
clabels_builtin_labels.res.oracle
clang_redef_warning.res.oracle
clone_test.res.oracle
compile_constant.res.oracle
compiler_builtins.0.res.oracle
compiler_builtins.1.res.oracle
compiler_builtins.2.res.oracle
composite-tags.res.oracle
compound-literal.res.oracle
conflict.res.oracle
const-assignments.0.res.oracle
const-assignments.1.res.oracle
const-assignments.10.res.oracle
const-assignments.2.res.oracle
const-assignments.3.res.oracle
const-assignments.4.res.oracle
const-assignments.5.res.oracle
const-assignments.6.res.oracle
const-assignments.7.res.oracle
const-assignments.8.res.oracle
const-assignments.9.res.oracle
const_formals.res.oracle
constfold.res.oracle
copy_logic.res.oracle
copy_visitor.res.oracle
copy_visitor_bts_1073.0.res.oracle
copy_visitor_bts_1073.1.res.oracle
dangerous_expressions.res.oracle
dangling_else.res.oracle
dangling_reference_bts1475.res.oracle
decay.res.oracle
decl-function.res.oracle
define_string_logic_pp_bts2101.res.oracle
designated_init_pretty_print_bts1457.res.oracle
double_definition.res.oracle
dowhilezero.res.oracle
duplicate_field.res.oracle
duplicated_global_bts1129.res.oracle
empty_base.0.res.oracle
empty_base.1.res.oracle
empty_initializer.res.oracle
enum-attr-init.res.oracle
enum1.res.oracle
enum_call.res.oracle
enum_repr.0.res.oracle
enum_repr.1.res.oracle
enum_repr.2.res.oracle
enum_size_array.res.oracle
erased_label_bts1502.res.oracle
error_end_decl.res.oracle
exit.res.oracle
extern_init.0.res.oracle
extern_init.1.res.oracle
extinline.res.oracle
fam.res.oracle
fc_filename.res.oracle
fct_ptr.res.oracle
field-offsets.res.oracle
flexible_array_member.res.oracle
flexible_array_member_invalid1.res.oracle
flexible_array_member_invalid2.res.oracle
flexible_array_member_invalid3.res.oracle
flexible_array_member_invalid4.res.oracle
flexible_array_member_invalid5.res.oracle
float.res.oracle
foo.res.oracle
for_unspecified_seq_in_inc.res.oracle
forloophook.res.oracle
formals_decl_leak.res.oracle
func_locs.res.oracle
func_spec_merge.res.oracle
function-types-compatible.res.oracle
function_ptr_alignof.res.oracle
function_ptr_lvalue_1.res.oracle
function_ptr_lvalue_2.res.oracle
function_ptr_sizeof.res.oracle
gcc_builtins.res.oracle
generic.0.res.oracle
generic.1.res.oracle
generic.10.res.oracle
generic.2.res.oracle
generic.3.res.oracle
generic.4.res.oracle
generic.5.res.oracle
generic.6.res.oracle
generic.7.res.oracle
generic.8.res.oracle
generic.9.res.oracle
get_astinfo_bts1136.res.oracle
ghost_cv_incompat.res.oracle
ghost_cv_invalid_use.res.oracle
ghost_cv_parsing_errors.0.res.oracle
ghost_cv_parsing_errors.1.res.oracle
ghost_cv_parsing_errors.2.res.oracle
ghost_cv_valid_ref.res.oracle
ghost_cv_valid_use.res.oracle
ghost_cv_var_decl.0.res.oracle
ghost_cv_var_decl.1.res.oracle
ghost_else.res.oracle
ghost_else_bad.0.res.oracle
ghost_else_bad.1.res.oracle
ghost_else_bad.2.res.oracle
ghost_else_bad_oneline.res.oracle
ghost_func_ptr.res.oracle
ghost_lexing.res.oracle
ghost_local_capture.res.oracle
ghost_local_ill_formed.res.oracle
ghost_multiline_annot.0.res.oracle
ghost_multiline_annot.1.res.oracle
ghost_multiline_annot.2.res.oracle
ghost_multiline_annot.3.res.oracle
ghost_multiline_annot.4.res.oracle
ghost_multiline_annot.5.res.oracle
ghost_multiline_annot.6.res.oracle
ghost_multiline_annot.7.res.oracle
ghost_multiline_annot.8.res.oracle
ghost_parameters.0.res.oracle
ghost_parameters.1.res.oracle
ghost_parameters.10.res.oracle
ghost_parameters.11.res.oracle
ghost_parameters.12.res.oracle
ghost_parameters.2.res.oracle
ghost_parameters.3.res.oracle
ghost_parameters.4.res.oracle
ghost_parameters.5.res.oracle