Commits · ad3180e7c97bfa06e4f0b42836b06e4e864318fa · pub / frama-c

Feb 08, 2022
- [Kernel] store contents of source files in a datatype · d1f8e4eb
  Andre Maroneze authored 3 years ago
  
  d1f8e4eb
Jan 17, 2022
- [Eva] Makefile and configure: removes unnecessary dependency to other plugins. · b7f2779f
  David Bühler authored 3 years ago
  
  b7f2779f
- [Eva] Uses the plugins callgraph, rtegen and scope via the dynamic API. · 793b7f20
  David Bühler authored 3 years ago
  
  The new file eva_dynamic contains all accesses via the dynamic API.
  793b7f20
- [Eva] Makefile: removes useless dependency to LoopAnalysis. · 728e8c21
  David Bühler authored 3 years ago
  
  728e8c21
Jan 14, 2022
- [Makefile] avoid issue with rectypes in some configurations · d93bf26c
  Andre Maroneze authored 3 years ago
  
  d93bf26c
Oct 20, 2021

[Eva] Export Eva summary statistics by function · 791befb7

Valentin Perrelle authored 3 years ago and

David Bühler committed 3 years ago

- Whole program statistics are aggregated from function by function
  statistics
- Also ordered the alarms output by count by category, except for
  the Other category

791befb7

Oct 19, 2021
- [Eva] Do not use partition key for calls, only use them for recombination after return. · b67d9965
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  b67d9965
Oct 06, 2021
- [Makefile] Do not warn about missing .mli files on test files. · fe290f3e
  David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  fe290f3e
Oct 05, 2021
- [eacsl] Add E-ACSL specific linting · 090251ba
  Basile Desloges authored 3 years ago
  
  090251ba
Sep 15, 2021
- [makefile] Fixes `make doc`. · 0fb11177
  David Bühler authored 3 years ago
  
  0fb11177
Sep 06, 2021
- [makefile] Removes useless variable NO_MLI. · 73221e7f
  David Bühler authored 3 years ago
  
  73221e7f
- [kernel] Moves cabs.ml into cabs.mli. · cdc4f7ed
  David Bühler authored 3 years ago
  
  cdc4f7ed
Aug 24, 2021
- [Makefile] minor fixes · db1fc2c7
  Andre Maroneze authored 3 years ago
  
  db1fc2c7
Aug 23, 2021
- [Makefile] remove generated binaries when distcleaning · 9ca7a5d7
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  9ca7a5d7
- [distrib] redistribute test files · 660055ef
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  660055ef
Jul 29, 2021
- [Makefile] another usage of $(file ...) · 4c77178d
  Virgile Prevosto authored 3 years ago
  
  4c77178d
- [Makefile] binary files should not be checked for final newline · 7aa191ca
  Virgile Prevosto authored 3 years ago
  
  No need to duplicate filenames in two variables.
  7aa191ca
- [helpers] check_newline and isutf8 assume the names they are given aren't quoted · f985ef63
  Virgile Prevosto authored 3 years ago
  
  f985ef63
- [Makefile] properly quote input. · 3eaaa3d6
  Virgile Prevosto authored 3 years ago
  
  3eaaa3d6
- [Makefile] DISTRIB_TESTS without git ls-files · c8a48e9c
  Virgile Prevosto authored 3 years ago
  
  c8a48e9c
- [Makefile] fix handling of quoted filenames in check_newlines/isutf8 · c36ca79e
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  c36ca79e
- [Makefile] use OCaml-based, more efficient, tool to check for non-UTF-8 files · 1e912a30
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  1e912a30
- [Makefile] more efficient, OCaml-based, tool to check for trailing newlines · 68742159
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  68742159
- [Makefile] test using modern Make 'file' function · 123af596
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  123af596
- [Makefile] fix clean rule under Windows · 6483721f
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  6483721f
- [Makefile] add missing wildcard · e26af75b
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  e26af75b
Jul 26, 2021
- [Eva] New general request about "red" and tainted properties. · b5881be3
  David Bühler authored 3 years ago
  
  b5881be3
- [Eva] Registers the taint domain in taint_domain.ml instead of abstractions.ml. · ac39cc04
  David Bühler authored 3 years ago
  
  ac39cc04
Jul 19, 2021
- [Makefile] Uses option -rectypes for abstract_memory. · 6036275c
  David Bühler authored 3 years ago
  
  6036275c
Jun 15, 2021
- [Eva] multidim: rename Memory_map into Abstract_memory · 42a62d97
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  42a62d97
- [Eva] Multidim domain: extract code about typed offset · 0ee707c8
  Valentin Perrelle authored 4 years ago and David Bühler committed 3 years ago
  
  - also improve conversion from ival
  0ee707c8
- [Eva] Add a domain for multidimensional memory · 25a1c313
  Valentin Perrelle authored 4 years ago and David Bühler committed 3 years ago
  
  25a1c313
May 20, 2021
- [Eva] Registers a new abstract domain in the engine. · 4e8ce94e
  David Bühler authored 4 years ago
  
  4e8ce94e
- Handle version with tilde by using it with branch name and files · 0d437d3f
  François Bobot authored 3 years ago
  
  View commits for tag 23.0-rc1 23.0-rc1
  
  0d437d3f
Apr 28, 2021
- [analysis-scripts] fix distribution of new scripts · 795d03e0
  Andre Maroneze authored 3 years ago
  
  795d03e0
- [analysis-scripts] improve and generalize creduce.sh · e2173ebe
  Andre Maroneze authored 4 years ago and Andre Maroneze committed 3 years ago
  
  e2173ebe
Apr 16, 2021
- [make] optional include ivette/Makefile.distrib · af1907e7
  Loïc Correnson authored 3 years ago
  
  af1907e7
- [ivette] make -C ivette src-distrib · 5821a917
  Loïc Correnson authored 4 years ago
  
  # Conflicts: # Makefile # Conflicts: # Makefile
  5821a917
- [make] traps the makefile to include data from ivette · 321e66e1
  Loïc Correnson authored 3 years ago
  
  321e66e1
Mar 26, 2021
- [Tests] using MODULE directive into RTE tests · 0c06c6dd
  Patrick Baudin authored 4 years ago
  
  0c06c6dd