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
[Eva] Removes unused function [default] in bottom.ml.
David Bühler authored
116fdd88
History
user avatar 116fdd88
History
Name Last commit Last update
..
README.md
abstract_interp.ml
abstract_interp.mli
abstract_memory.ml
abstract_memory.mli
abstract_offset.ml
abstract_offset.mli
base.ml
base.mli
bottom.ml
bottom.mli
eva_lattice_type.mli
fc_float.ml
fc_float.mli
float_interval.ml
float_interval.mli
float_interval_sig.mli
float_sig.mli
fval.ml
fval.mli
int_Base.ml
int_Base.mli
int_Intervals.ml
int_Intervals.mli
int_Intervals_sig.mli
int_interval.ml
int_interval.mli
int_set.ml
int_set.mli
int_val.ml
int_val.mli
ival.ml
ival.mli
lattice_messages.ml
lattice_messages.mli
lattice_type.mli
lmap.ml
lmap.mli
lmap_bitwise.ml
lmap_bitwise.mli
lmap_sig.mli
locations.ml
locations.mli
map_lattice.ml
map_lattice.mli
multidim.ml
multidim.mli
offsetmap.ml
offsetmap.mli
offsetmap_bitwise_sig.mli
offsetmap_lattice_with_isotropy.mli
offsetmap_sig.mli
origin.ml
origin.mli
tr_offset.ml
tr_offset.mli
README.md

This directory contains generic lattices for abstract interpretation.

Nowadays it is mainly used by the Value plug-in and its derived plug-ins.