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.027Jul2625212019171615131298765130Jun2827252423222118171615141110987432131May28262521201918171211107654330Apr29282726[analysis-scripts] refactor template to reuse FRAMAC_SHARE[Libc] add constant useful for macOSMerge branch 'feature/ivette/taint' into 'master'update gauges oracleupdate oracles[ivette] Property table: do not highlight Eva filters when they are enabled.[linking] no need to handle anonymous var at this stage anymore[typing] don't use empty name as base name for alpha renaming[typing] no anonymous parameters in function definitions as well as prototype[Eva] Fixes minor typos in API documentation.[ivette] Property table: new filter to only show high-priority or tainted properties.[dome] Table: allows resizing columns down to 25 pixels.[ivette] Fixes lint.[ivette] Property table: better icons for the taint column.[server] Fixes properties table with ACSL extensions.[ivette] Property table: new columns for Eva "red" alarm and tainted properties.[Eva] New general request about "red" and tainted properties.[Eva] Taint domain: identifies tainted properties.[Eva] Do not call Db.Value.mark_as_computed before the analysis.[Eva] adds function [mark_as_computed] and [is_computed] to abstract domains.[slicing] No unnamed variables[typing] give name to all anonymous parametersMerge branch 'feature/eva/ilevel-range' into 'master'[Eva] Removes the maximum value limit of option -eva-ilevel.Merge branch 'feature/eva/logic-taint' into 'master'[typing] builtins do not have anonymous parameters anymore[check] Filecheck now refuses anonymous variables[variadic] rename test[Variadic] Fix a bug where a specification were generated for a variable without a name[Eva] Eval_terms: do not fail on \tainted predicates.[Eva] Minor fixes in the taint domain following review.[Eva] Taint domain: fixes "taints" extension for behaviors.[Eva] Taint domain: better evaluation of "taints" extension in behaviors.[Eva] In abstract domains, changes the signature of [interpret_acsl_extension].[Eva] Updates test oracle.[Eva] Taint domain: registers acsl extensions "taint" and "taints".[Eva] Fixes test taint.c: taint annotations need to be placed after assignments.[Eva] Eva annotation: fixes the print of a list of terms in taint annotations.[Eva] Taint domain: interprets taint extension with the cvalue domain.[Eva] Taint domain: new builtin predicate \tainted.