Commits · 5cd57d21d87023e681c8843f3a71c0592cadddf2 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 16, 2022
- [Eva] Renames value_util to eva_utils. · 5cd57d21
  David Bühler authored 3 years ago
  
  5cd57d21
Feb 15, 2022
- [Eva] Splits and renames file value_parameters into self and parameters. · 6c8da42c
  David Bühler authored 3 years ago and Valentin Perrelle committed 3 years ago
  
  6c8da42c
- Merge branch 'feature/eva/result-api' into 'master' · 2c1d3d3f
  David Bühler authored 3 years ago
  
  simplified and exportable API for accessing EVA results See merge request frama-c/frama-c!3084
  2c1d3d3f
- Merge branch 'feature/andre/libc-stdalign' into 'master' · 84d65c6d
  Allan Blanchard authored 3 years ago
  
  [Libc] add stdalign.h See merge request frama-c/frama-c!3585
  84d65c6d
- [Eva] Results: [as_cvalue] converts error cases into bottom or top cvalue. · 33732f51
  David Bühler authored 3 years ago
  
  New function [as_cvalue_result] returns error cases without conversion.
  33732f51
- [Eva] Results: [get_cvalue_model] converts error cases into bottom or top cvalue. · cb2ad6a0
  David Bühler authored 3 years ago
  
  New function [get_cvalue_model_result] returns the error cases without conversion.
  cb2ad6a0
- [Eva] Results: removes function [fold_callstacks] and [iter_callstacks]. · f792e556
  David Bühler authored 3 years ago
  
  Nonterm: uses List.iter and Eva.Results.callstacks instead of iter_callstacks.
  f792e556
- [Eva] Results: renames [as_cvalue_model] to [get_cvalue_model]. · 79c35224
  David Bühler authored 3 years ago
  
  79c35224
- [Eva] Results: simplifies the first class modules resulting from evaluations. · b633379d
  David Bühler authored 3 years ago
  
  b633379d
- [Eva] Results: simplifies [is_bottom]. · e8090253
  David Bühler authored 3 years ago
  
  e8090253
- [Eva] Results: functions [*_deps] return Zone.top if no cvalue domain is available. · fbccdea9
  David Bühler authored 3 years ago
  
  fbccdea9
- [Eva] Results: minor simplification. · 7b761861
  David Bühler authored 3 years ago
  
  7b761861
- [Eva] Results: simplifies [as_cvalue_model]. · bdc04dc4
  David Bühler authored 3 years ago
  
  bdc04dc4
- [Eva] Results: fixes [equality_class] in case no equality is found. · 8ca7c3bc
  David Bühler authored 3 years ago
  
  8ca7c3bc
- [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