Skip to content
Snippets Groups Projects
Select Git revision
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • master default protected
  • stable/chromium
  • stable/cobalt
  • stable/copper
  • stable/iron
  • stable/manganese
  • stable/nickel
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • stable/vanadium
  • stable/zinc
  • 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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017Jun107654330May2927242321171615141311632130Apr2926252423221918171615121110987543229Mar2827262522[kernel] Cil_datatype uses constant 0 instead of string "" as dummy expression.[Eva] add Evast to Eva's API[Eva] evast: reorganize the interface to simplify usages[Eva] update oracles[Eva] evast: normalize SizeOf/AlignOf constructors to constants[Eva] remove types from records and arguments for lvalues[Eva] remove unused functions[Eva] rework partition split monitors[Eva] use the new Eva AST[Eva] evast: fix a bug in constant folding where integer casts did not wrap their inputs[Eva] evast: update headers[Eva] evast: slight simplification[Eva] evast: fix a bug where pointer comparisons introduced incorrect casts[Eva] evast: print startof as Cil does[Eva] evast: generate each string base before the translation[Eva] evast: do not use a custom location for generated node as it changes the location of alarms for the Report plugin[Eva] evast: add is_mutable and is_initialized[Eva] evast: add initializers[Eva] evast: store translated enum constant expression in CEnum nodes[Eva] evast: Evast_builder.mem simplifies the expression whenver possible[Eva] evast: add mem smart constructor[Eva] evast: fix a bug in constant folding[Eva] evast: export conversion to constants[Eva] evast: remove origin_* functions[Eva] evast: improve public interface[Eva] evast: memoize cil conversions[Eva] evast: add conversion back to Cil[Eva] evast: add cast and comparison smart constructors[Eva] evast: add addr smart constructor[Eva] evast: add some offset utility functions[Eva] evast: add condition normalization[Eva] evast: code factorization[Eva] evast: use ppx deriving[Eva] evast: more general visitors[Eva] evast: store expression and lvalue computed C types[Eva] evast: add functions to iterate on the lvalues of an expression[Eva] evast: add zone_of_lval[Eva] evast: add constructor and export more translation functions[Eva] evast: export more printers[Eva] evast: add conversion of evast binop to Abstract_interp.Comp.t
Loading