tests/value/oracle · 3cf3f1e8c8d96a2ed032947dae3f4c16b1834fa2 · pub / frama-c

Compare

[Eva] Enhance taint control dependency test with a case on while and nested if constructs.

Michele Alberti authored 4 years ago

3cf3f1e8

History

3cf3f1e8 4 years ago

History

Name	Last commit	Last update
..
CruiseControl.res.oracle
FP5.res.oracle
abs.res.oracle
abs_addr.res.oracle
absolute_pointer.res.oracle
abstract_struct_1.res.oracle
access_path.res.oracle
add_approx.res.oracle
addition.res.oracle
addr.0.res.oracle
addr.1.res.oracle
addr2.res.oracle
addrofstring.res.oracle
affect_corrupt.0.res.oracle
affect_corrupt.1.res.oracle
ai_annot.res.oracle
alias.0.res.oracle
alias.1.res.oracle
alias.2.res.oracle
alias.3.res.oracle
alias.4.res.oracle
alias.5.res.oracle
alias.6.res.oracle
align.res.oracle
align_char_array.res.oracle
annot.res.oracle
annot_valid.res.oracle
anonymous_field.res.oracle
any_int.res.oracle
arch.res.oracle
arg_array.res.oracle
arith_pointer.res.oracle
array_access.res.oracle
array_array.0.res.oracle
array_array.1.res.oracle
array_array.2.res.oracle
array_bounds.0.res.oracle
array_bounds.1.res.oracle
array_degenerating_loop.res.oracle
array_initializer.res.oracle
array_loop.res.oracle
array_overlap.res.oracle
array_ptr.res.oracle
array_zero_length.0.res.oracle
array_zero_length.1.res.oracle
array_zero_length.2.res.oracle
asm_contracts.res.oracle
assert_ptr.res.oracle
assign-leaf-indirect.res.oracle
assigns.res.oracle
assigns_from.res.oracle
assigns_from_direct.res.oracle
attribute-aligned.res.oracle
auto_loop_unroll.0.res.oracle
auto_loop_unroll.1.res.oracle
automalloc.res.oracle
backward_add_ptr.res.oracle
backward_arith.res.oracle
bad_loop.res.oracle
base_addr_offset_block_length.res.oracle
behavior_statuses.0.res.oracle
behavior_statuses.1.res.oracle
behaviors1.res.oracle
behaviors2.res.oracle
big_lib_entry.res.oracle
bigarray.res.oracle
bitfield.res.oracle
bitfield_assign.res.oracle
bitfield_longlong.res.oracle
bitfield_receives_result.res.oracle
bitwise.res.oracle
bitwise_float.res.oracle
bitwise_pointer.res.oracle
bitwise_reduction.res.oracle
biz.res.oracle
bool.res.oracle
branch.res.oracle
branch2.res.oracle
broken_loop.res.oracle
bts0506.0.res.oracle
bts0506.1.res.oracle
bts0775.res.oracle
bts0858.res.oracle
bts1306.res.oracle
buffer_overflow.0.res.oracle
buffer_overflow.1.res.oracle
bug.res.oracle
bug0196.res.oracle
bug0223.0.res.oracle
bug0223.1.res.oracle
bug0245.res.oracle
bug_023.res.oracle
bug_0244.res.oracle
builtins_split.res.oracle
call.res.oracle
call_2.res.oracle
call_3.res.oracle
call_alias.0.res.oracle
call_alias.1.res.oracle
call_alias.2.res.oracle