×

Apron

swMATH ID: 45
Software Authors: Jeannet, Bertrand; Miné, Antoine
Description: Apron: a library of numerical abstract domains for static analysis. This article describes Apron, a freely available library dedicated to the static analysis of the numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ready-to-use numerical abstractions under a unified API, encourage the research in numerical abstract domains by providing a platform for integration and comparison, and provide teaching and demonstration tools to disseminate knowledge on abstract interpretation.
Homepage: http://apron.cri.ensmp.fr/library/0.9.10/apron.pdf
Related Software: ASTREE; PPL; z3; Octagon; Interproc; OCaml; Coq; PAGAI; HyTech; Dagger; SMT-LIB; HOL Light; polymake; Soot; PRISM; FAST; Aspic; CVC4; CBMC; MathSAT5
Cited in: 71 Publications
all top 5

Cited by 134 Authors

9 Miné, Antoine
5 Chen, Liqian
5 Wang, Ji
4 Cousot, Patrick
4 Le Gall, Tristan
3 Amato, Gianluca
3 Bereslavskiĭ, E. N.
3 Goubault, Eric
3 Maréchal, Alexandre
3 Monniaux, David P.
3 Périn, Michael
3 Putot, Sylvie
3 Vechev, Martin T.
2 Allamigeon, Xavier
2 D’silva, Vijay
2 Giesl, Jürgen
2 Kalyon, Gabriel
2 Katz, Ricardo David
2 King, Andy
2 Marchand, Hervé
2 Massart, Thierry Jacques
2 Parton, Maurizio
2 Rival, Xavier
2 Sankaranarayanan, Sriram
2 Scozzari, Francesca
2 Strub, Pierre-Yves
2 Urban, Caterina
2 Wu, Xueguang
2 Yahav, Eran
2 Zaffanella, Enea
1 Abbasi, Rosa
1 Ahrendt, Wolfgang
1 Amjad, Hasan
1 André, Étienne
1 Balakrishnan, Gogul
1 Bastrakov, Sergeĭ Ivanovich
1 Becchi, Anna
1 Bornat, Richard
1 Botbol, Vincent
1 Bouajjani, Ahmed
1 Bouissou, Olivier
1 Boutonnet, Rémy
1 Brabrand, Claus
1 Brain, Martin
1 Brockschmidt, Marc
1 Chailloux, Emmanuel
1 Chakraborty, Supratik
1 Chang, Bor-Yuh Evan
1 Chapoutot, Alexandre
1 Chawdhary, Aziem
1 Chew, Kim Lin
1 Cohen, Albert
1 Colón, Michael A.
1 Cousot, Radhia
1 Cox, Arlen
1 Dan, Andrei Marian
1 Darulova, Eva
1 Dey, Subhasish
1 Dimovski, Aleksandar S.
1 Donaldson, Alastair F.
1 Dragoi, Cezara
1 Duan, Hongdong
1 Enea, Constantin
1 Fähndrich, Manuel
1 Feret, Jérôme
1 Fouilhé, Alexis
1 Fribourg, Laurent
1 Frohn, Florian
1 Ghorbal, Khalil
1 Griggio, Alberto
1 Gulavani, Bhargav S.
1 Gupta, Aarti
1 Halbwachs, Nicolas
1 Haller, Leopold
1 Hark, Marcel
1 Hensel, Jera
1 Heo, Kihong
1 Howe, Jacob M.
1 Ilyinsky, N. B.
1 Ivančić, Franjo
1 Jeannet, Bertrand
1 Jiang, Jiahong
1 Kacimov, Anvar R.
1 Khizgiyaev, S. V.
1 King, Tim
1 Köpf, Boris
1 Křena, Bohuslav
1 Kröning, Daniel
1 Le Guen, Julien
1 Lee, Wonchan
1 Lee, Woosuk
1 Liu, Jiangchao
1 Liu, Shihe
1 Logozzo, Francesco
1 Lu, Jing
1 Maeda, Naoto
1 Magron, Victor
1 Masoumi, G.
1 Matveev, V. V.
1 Mauborgne, Laurent
...and 34 more Authors

Citations by Year