Abstract
AbstractGoblint is an abstract interpreter of C programs, focusing on the analysis of multi-threaded code. It is equipped with a variety of abstract domains, as well as analyses which allow it to reason about an array of program properties in a highly configurable manner. Goblint has been extended with support for the detection of memory safety bugs and non-termination.
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Apinis, K.: Frameworks for analyzing multi-threaded C. Ph.D. thesis, Technische Universität München (2014)
2. Apinis, K., Seidl, H., Vojdani, V.: Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. In: APLAS ’12, pp. 157–172, Springer (2012), DOI: https://doi.org/10.1007/978-3-642-35182-2_12
3. Beyer, D.: State of the art in software verification and witness validation: SV-COMP 2024. In: TACAS ’24, Springer (2024)
4. Cousot, P., Cousot, R.: An abstract interpretation framework for termination. In: POPL ’12, pp. 245–258, ACM (2012), DOI: https://doi.org/10.1145/2103656.2103687
5. Dimovski, A.S.: Lifted termination analysis by abstract interpretation and its applications. In: GPCE ’21, pp. 96–109, ACM (2021), DOI: https://doi.org/10.1145/3486609.3487202
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献