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.

References in zbMATH (referenced in 35 articles )

Showing results 1 to 20 of 35.
Sorted by year (citations)

1 2 next

  1. Goubault, Eric; Putot, Sylvie: A zonotopic framework for functional abstractions (2015)
  2. Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel: Deciding floating-point logic with abstract conflict driven clause learning (2014)
  3. Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram: Quicr: a reusable library for parametric abstraction of sets and numbers (2014)
  4. Wu, Xueguang; Chen, Liqian; Wang, Ji: An abstract domain to infer symbolic ranges over nonnegative parameters (2014)
  5. Křena, Bohuslav; Vojnar, Tomáš: Automated formal analysis and verification: an overview (2013)
  6. Upadrasta, Ramakrishna; Cohen, Albert: Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (2013)
  7. Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca: Discovering invariants via simple component analysis (2012)
  8. Amato, Gianluca; Scozzari, Francesca: Random: R-based analyzer for numerical domains (2012) ioport
  9. Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela: Abstract domains for automated reasoning about list-manipulating programs with infinite data (2012)
  10. Bouissou, Olivier; Seladji, Yassamine; Chapoutot, Alexandre: Acceleration of the abstract fixpoint computation in numerical program analysis (2012)
  11. Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry: Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (2012)
  12. Lee, Woosuk; Lee, Wonchan; Yi, Kwangkeun: Sound non-statistical clustering of static analysis alarms (2012)
  13. Miné, Antoine: Inferring sufficient conditions with backward polyhedral under-approximations (2012)
  14. Monniaux, David; Le Guen, Julien: Stratified static analysis based on variable dependencies (2012)
  15. Fähndrich, Manuel; Logozzo, Francesco: Static contract checking with abstract interpretation (2011)
  16. Sotin, Pascal; Jeannet, Bertrand: Precise interprocedural analysis in the presence of pointers to the stack (2011)
  17. Sridhar, Muralikrishna; Cohn, Anthony G.; Hogg, David C.: Relational graph mining for learning events from video (2011) ioport
  18. Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca: Deriving numerical abstract domains via principal component analysis (2010)
  19. Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick: An abstract domain to discover interval linear equalities (2010)
  20. Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek: Automatic verification of determinism for structured parallel programs (2010)

1 2 next