Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Compare
user avatar
[rte] refined condition for generating pointer value alarms
Virgile Prevosto authored 
presence of an offset does not mean that we could write a spurious value through
a union.
8fc44564
History
user avatar 8fc44564
History
Name Last commit Last update
..
addsub.res.oracle
addsub_typedef.res.oracle
addsub_unsigned.0.res.oracle
addsub_unsigned.1.res.oracle
addsub_unsigned_typedef.0.res.oracle
addsub_unsigned_typedef.1.res.oracle
array_index.0.res.oracle
array_index.1.res.oracle
assign.res.oracle
assign2.res.oracle
assign3.res.oracle
assign4.res.oracle
assign5.res.oracle
assign6.res.oracle
assign7.res.oracle
bool.res.oracle
bts0567.res.oracle
bts0576.res.oracle
bts0580.res.oracle
bts0580_2.res.oracle
bts1052.res.oracle
bts2314.res.oracle
bts621.res.oracle
castoncall.0.res.oracle
castoncall.1.res.oracle
divmod.res.oracle
divmod_typedef.res.oracle
downcast.0.res.oracle
downcast.1.res.oracle
downcast.2.res.oracle
finite_float.res.oracle
float_to_int.res.oracle
fptr_assert.res.oracle
gnu_zero_length.res.oracle
initialized.res.oracle
initialized_union.res.oracle
invalid_fptr.res.oracle
malloc.res.oracle
memaccess.res.oracle
minus.0.res.oracle
minus.1.res.oracle
mul.res.oracle
noresult.res.oracle
postcond.res.oracle
postcond2.res.oracle
precond.res.oracle
precond2.res.oracle
reqlabl.res.oracle
reqlabl2.res.oracle
s64.res.oracle
shift.0.res.oracle
shift.1.res.oracle
shift_machdep.0.res.oracle
shift_machdep.1.res.oracle
shift_unsigned.0.res.oracle
shift_unsigned.1.res.oracle
sizeof.res.oracle
tab.res.oracle
threefunc.res.oracle
twofunc.res.oracle
twofunc3.res.oracle
u64.0.res.oracle
u64.1.res.oracle
unspecified_sequence.res.oracle
valid.res.oracle
value_rte.res.oracle