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

Showing results 1 to 20 of 51.
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. Liu, Jiangchao; Rival, Xavier: An array content static analysis based on non-contiguous partitions (2017)
  6. Magron, Victor; Constantinides, George; Donaldson, Alastair: Certified roundoff error bounds using semidefinite programming (2017)
  7. Maréchal, Alexandre; Périn, Michaël: Efficient elimination of redundancies in polyhedra by raytracing (2017)
  8. Monat, Raphaël; Miné, Antoine: Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions (2017)
  9. Singh, Gagandeep; Püschel, Markus; Vechev, Martin: Fast polyhedra abstract domain (2017)
  10. Urban, Caterina; Miné, Antoine: Inference of ranking functions for proving temporal properties by abstract interpretation (2017)
  11. Frohn, F.; Naaf, M.; Hensel, J.; Brockschmidt, M.; Giesl, J.: Lower runtime bounds for integer programs (2016)
  12. Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael: Polyhedral approximation of multivariate polynomials using handelman’s theorem (2016)
  13. Goubault, Eric; Putot, Sylvie: A zonotopic framework for functional abstractions (2015)
  14. Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel: Deciding floating-point logic with abstract conflict driven clause learning (2014)
  15. Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram: Quicr: a reusable library for parametric abstraction of sets and numbers (2014)
  16. Wu, Xueguang; Chen, Liqian; Wang, Ji: An abstract domain to infer symbolic ranges over nonnegative parameters (2014)
  17. Köpf, Boris; Rybalchenko, Andrey: Automation of quantitative information-flow analysis (2013)
  18. Křena, Bohuslav; Vojnar, Tomáš: Automated formal analysis and verification: an overview (2013)
  19. Upadrasta, Ramakrishna; Cohen, Albert: Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (2013)
  20. Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca: Discovering invariants via simple component analysis (2012)

1 2 3 next