Apron

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 48 articles )

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

1 2 3 next

  1. Blazy, Sandrine; Bühler, David; Yakobowski, Boris: Structuring abstract interpreters through state and value abstractions (2017)
  2. Botbol, Vincent; Chailloux, Emmanuel; Le Gall, Tristan: Static analysis of communicating processes using symbolic transducers (2017)
  3. Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran: Effective abstractions for verification under relaxed memory models (2017)
  4. Jiang, Jiahong; Chen, Liqian; Wu, Xueguang; Wang, Ji: Block-wise abstract interpretation by combining abstract domains with SMT (2017)
  5. Maréchal, Alexandre; Périn, Michaël: Efficient elimination of redundancies in polyhedra by raytracing (2017)
  6. Monat, Raphaël; Miné, Antoine: Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions (2017)
  7. Singh, Gagandeep; Püschel, Markus; Vechev, Martin: Fast polyhedra abstract domain (2017)
  8. Frohn, F.; Naaf, M.; Hensel, J.; Brockschmidt, M.; Giesl, J.: Lower runtime bounds for integer programs (2016)
  9. Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael: Polyhedral approximation of multivariate polynomials using handelman’s theorem (2016)
  10. Goubault, Eric; Putot, Sylvie: A zonotopic framework for functional abstractions (2015)
  11. Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel: Deciding floating-point logic with abstract conflict driven clause learning (2014)
  12. Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram: Quicr: a reusable library for parametric abstraction of sets and numbers (2014)
  13. Wu, Xueguang; Chen, Liqian; Wang, Ji: An abstract domain to infer symbolic ranges over nonnegative parameters (2014)
  14. Köpf, Boris; Rybalchenko, Andrey: Automation of quantitative information-flow analysis (2013)
  15. Křena, Bohuslav; Vojnar, Tomáš: Automated formal analysis and verification: an overview (2013)
  16. Upadrasta, Ramakrishna; Cohen, Albert: Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (2013)
  17. Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca: Discovering invariants via simple component analysis (2012)
  18. Amato, Gianluca; Scozzari, Francesca: Random: R-based analyzer for numerical domains (2012) ioport
  19. Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela: Abstract domains for automated reasoning about list-manipulating programs with infinite data (2012)
  20. Bouissou, Olivier; Seladji, Yassamine; Chapoutot, Alexandre: Acceleration of the abstract fixpoint computation in numerical program analysis (2012)

1 2 3 next