Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
frama-c
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container Registry
Model registry
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
frama-c
Commits
2ff2492ac382cdbab2e684f073836c2be7a66eb0
Select Git revision
Branches
13
master
default
protected
stable/zinc
2699-wp-region-plugin-division-by-0-with-empty-region-node
stable/copper
stable/nickel
stable/cobalt
stable/iron
stable/manganese
stable/chromium
stable/vanadium
stable/titanium-backport
stable/titanium
stable/scandium
Tags
20
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
frama-c
Author
Search by author
Any Author
authors
Allan Blanchard
blanchard
Amine Nasri
anasri
Andre Maroneze
maroneze
Armand Puccetti
puccetti
Augustin Lemesle
alemesle
Augustin PERRIN
aperrin
Aymeric Varasse
varasse
Basile Desloges
bdesloges
Benjamin Jorge
jorge
Bernard Botella
botella
Boris Yakobowski
byako
Cécile Ruet-Cros
cruetcros
Charles Babu M
charlesm
Christophe Junke
cjunke
David Bühler
buhler
David Feliot
dfeliot
Dorian Lesbre
dlesbre
Fabio ALVES
falves
Florent Kirchner
kirchner
Frama-CI
frama-ci
20 authors
Feb 15, 2022
[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
[Eva] api: fix a bug in the computation of callsites
· 0a41f035
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
0a41f035
[Eva] api: miror Db.Value.self in Analysis
· c9164f5b
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
c9164f5b
[Eva] api: Add a result conversion helper
· a0d331fd
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
a0d331fd
[Eva] api: Add is_reachable_kinstr
· fa1206aa
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
fa1206aa
[Eva] api: Callsites are always retrieved by caller
· b46d23cb
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
b46d23cb
[Eva] api: Add evaluation of callee directly from call statements
· 242f8271
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
242f8271
[Eva] api: Add access specification to zone conversion queries
· 5d0271f9
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
5d0271f9
[Eva] api: Add dependencies calculus
· 016f6b16
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
016f6b16
[Eva] api: Add Analysis.{compute,is_computed}
· ff54f551
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
ff54f551
[Eva] api Add Eva.Results.callsites_per_caller
· 14782141
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
14782141
[Eva] api: Add iter_callstacks and is_empty
· ecb85004
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
ecb85004
[Eva] api: unites types [evaluation] and [lvaluation] into a GADT.
· 9e84c9a8
David Bühler
authored
3 years ago
9e84c9a8
[Eva] api: Add callers and callsites requests
· 12e98c22
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
12e98c22
[Eva] api: Do not insert header into Eva.mli
· 2705efe2
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
2705efe2
[Eva] api: Fix the distribution of eva-api.sh
· 15990951
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
15990951
[Eva] api: Functions evaluations must now be done in one step
· 299af05b
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
299af05b
[Eva] api: Automatically generates Eva.mli
· ab3a5831
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
ab3a5831
[Eva] api: Complete API
· ea53aa0b
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
ea53aa0b
[Eva] api: Add results folding by callstack
· 5b9138e2
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
5b9138e2
[Eva] api: implements more functions
· 3e7b37ff
Valentin Perrelle
authored
3 years ago
and
David Bühler
committed
3 years ago
3e7b37ff
Loading