Commits · bb0f19902d9b49f5e52aa47c10cd2dfb0d56c355 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 15, 2022
- [Eva] Results: improves the documentation of function [callstacks]. · bb0f1990
  David Bühler authored 3 years ago
  
  bb0f1990
- [Eva] Analysis: exports [get_global_state] and [get_initial_state]. · 70dbf036
  David Bühler authored 3 years ago
  
  Removes [get_kinstr_state]. Uses these new functions in Results, to be more consistent.
  70dbf036
- [Eva] Results: minor simplifications. · da910a62
  David Bühler authored 3 years ago
  
  da910a62
- [Eva] Slightly simplifies the selection of callstacks in requests. · 454d762b
  David Bühler authored 3 years ago
  
  454d762b
- [Eva] api: add empty lines between functions · 12de1716
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  12de1716
- [Eva] Updates alternative test oracles. · 80a47f98
  David Bühler authored 3 years ago
  
  80a47f98
- [Eva] Results: as_zone converts error cases into bottom or top zone accordingly. · 2b1a9d7a
  David Bühler authored 3 years ago
  
  Adds function [as_zone_result] that returns a zone result, without converting error cases.
  2b1a9d7a
- [Eva] Results: removes function [after_kinstr]. · a8979f01
  David Bühler authored 3 years ago
  
  a8979f01
- [Eva] Reorders modules exported in Eva.mli, and adds an introduction. · 10536328
  David Bühler authored 3 years ago
  
  10536328
- [Eva] Minor changes in the documentation of Eva.mli. · 81c3532f
  David Bühler authored 3 years ago
  
  81c3532f
- [Eva] Simplifies the exported interface of Eval_terms. · beb47920
  David Bühler authored 3 years ago
  
  Changes the Inout plugin accordingly.
  beb47920
- [Slicing] Minor simplifications in the use of Eva results. · 8c44e216
  David Bühler authored 3 years ago
  
  8c44e216
- [Scope] Minor simplifications. · e6c234b9
  David Bühler authored 3 years ago
  
  e6c234b9
- [Reduc] Minor changes. · 32566403
  David Bühler authored 3 years ago
  
  32566403
- [Eva] Minor changes in the Results documentation. · 8e3eec9a
  David Bühler authored 3 years ago
  
  8e3eec9a
- [Eva] Removes spaces in empty lines when generating Eva.mli. · 7cd4e469
  David Bühler authored 3 years ago
  
  7cd4e469
- [Tests] Use the new Eva API · e9236e69
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  e9236e69
- [Eva] Use the new Eva API · 37b034cd
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  37b034cd
- [Users] Use the new Eva API · 4024c86a
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  4024c86a
- [Sparecode] Use the new Eva API · 9ce2d726
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  9ce2d726
- [Slicing] Use the new Eva API · 2ff2492a
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  2ff2492a
- [Security_slicing] Use the new Eva API · faba19ba
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  faba19ba
- [Scope] Use the new Eva API · 3b0eca16
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  3b0eca16
- [Reduc] Use the new Eva API · 64264c61
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  64264c61
- [postdominators] Use the new Eva API · d0fdd0ee
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  d0fdd0ee
- [Pdg] Use the new Eva API · d958bba9
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  d958bba9
- [Occurence] Use the new Eva API · 4da60181
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  4da60181
- [Metrics] Use the new Eva API · 3b438cca
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  3b438cca
- [MdReport] Use the new Eva API · 90d4b206
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  90d4b206
- [Inout] Use the new Eva API · dd0d6641
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  dd0d6641
- [Impact] Use the new Eva API · f1d6d9c8
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  f1d6d9c8
- [Doc] Update wrt the new Eva API · e85ce72e
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  e85ce72e
- [Aorai] Do not use Db, but directly find the current state value in the cvalue model · cd12fb84
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  cd12fb84
- [Studia] Use the new Eva API · 951219b0
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  951219b0
- [Dive] Use the new Eva API · 9221859a
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  9221859a
- [LoopAnalysis] Use the new EVA API · 20e12ca5
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  20e12ca5
- [Nonterm] Use the new Eva API · e4ba69e0
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  e4ba69e0
- [Constant Propagation] Use the new Eva API · 2faaf0d7
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  2faaf0d7
- [Eva] api: document the Results API · c95fcb4d
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  c95fcb4d
- [Eva] api: separate lval_deps and address_deps · f9a139c8
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  f9a139c8