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.015Feb14111098732131Jan282726252422212019181714131211107654321Dec20171615141310987632130Nov29262524[Eva] Results: renames [as_cvalue_model] to [get_cvalue_model].[Eva] Results: simplifies the first class modules resulting from evaluations.[Eva] Results: simplifies [is_bottom].[Eva] Results: functions [*_deps] return Zone.top if no cvalue domain is available.[Eva] Results: minor simplification.[Eva] Results: simplifies [as_cvalue_model].[Eva] Results: fixes [equality_class] in case no equality is found.[Eva] Results: improves the documentation of function [callstacks].[Eva] Analysis: exports [get_global_state] and [get_initial_state].[Eva] Results: minor simplifications.[Eva] Slightly simplifies the selection of callstacks in requests.[Eva] api: add empty lines between functions[Eva] Updates alternative test oracles.[Eva] Results: as_zone converts error cases into bottom or top zone accordingly.[Eva] Results: removes function [after_kinstr].[Eva] Reorders modules exported in Eva.mli, and adds an introduction.[Eva] Minor changes in the documentation of Eva.mli.[Eva] Simplifies the exported interface of Eval_terms.[Slicing] Minor simplifications in the use of Eva results.[Scope] Minor simplifications.[Reduc] Minor changes.[Eva] Minor changes in the Results documentation.[Eva] Removes spaces in empty lines when generating Eva.mli.[Tests] Use the new Eva API[Eva] Use the new Eva API[Users] Use the new Eva API[Sparecode] Use the new Eva API[Slicing] Use the new Eva API[Security_slicing] Use the new Eva API[Scope] Use the new Eva API[Reduc] Use the new Eva API[postdominators] Use the new Eva API[Pdg] Use the new Eva API[Occurence] Use the new Eva API[Metrics] Use the new Eva API[MdReport] Use the new Eva API[Inout] Use the new Eva API[Impact] Use the new Eva API[Doc] Update wrt the new Eva API[Aorai] Do not use Db, but directly find the current state value in the cvalue model
Loading