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.019Jun181716151312111098543230May292827262520191815141312111098765432130Apr292827242322109[Dive] Fix dot generation for file clusters[Dive] Add a mechanism to hide bases[Dive] Update Makefile[Dive] Simpler graph generation loop[Dive] Warn about unresolvable bases[Dive] Nodes for which deps have not been completed are now graphically identified[Dive] Add a limit to the depth of generation[Dive] Invert arrows in the graph[Dive] Correctly compute dependencies through calls[Dive] Add file origin[Dive] Synchronize with frama-c!2021: Value becomes Eva (2)[Dive] Fix typo in constructor[Dive] Remove version check from configure[Dive] Store the built roots.[Dive] Fix plugin dependencies in configure.ac[Dive] Change the name of the plugin to Dive ![Dive] Add folding of identical edges.[Dive] Nodes are folded by default and unfolded by the command line.[Dive] Allow bases to be folded.[Dive] Add a fill color for imprecise nodes[Dive] Add another way to evaluate imprecise lval by looking at the computed range.[Dive] Interactive addition to the graph.[Dive] Add node properties[Dive] Handle all inits[Dive] Use locations instead of lval as index[Dive] Initial commitMerge branch 'fix/eva/logic-error-msg' into 'master'Merge branch 'fix/andre/analysis-scripts-jcdb-paths' into 'master'[eacsl] Update Changelog[eacsl] Update tests[eacsl] Fix memory tracking of VLA[eacsl] Update code printer to support `__fc_vla_alloc()` and `__fc_vla_free()`[eacsl] Update mk_delete_stmt to support addresses parameters[eacsl] Update Constructor.mk_full_init_stmtMerge branch 'feature/basile/eacsl-variadic-lib-call' into 'master'[wp] Avoid name clashes in MchunkMerge branch 'fix/virgile/merge-assigns-annotations' into 'master'[eacsl:codegen] Support of variadic functions in `Constructor.mk_lib_call`new script for wp_gallery/binary-multiplication[wp] ensure an absolute path for WP_QUALIF_CACHE
Loading