Infer swMATH ID: 20862 Software Authors: Calcagno, C., Distefano, D. Description: Infer: An automatic program verifier for memory safety of C programs. Infer is a new automatic program verification tool aimed at proving memory safety of C programs. It attempts to build a compositional proof of the program at hand by composing proofs of its constituent modules (functions/procedures). Bugs are extracted from failures of proof attempts. We describe the main features of Infer and some of the main ideas behind it. Homepage: http://dl.acm.org/citation.cfm?id=1986345 Related Software: Slide; Smallfoot; HIP; Coq; Toolchain; VeriFast; z3; Predator; SLAyer; Viper; GRASShopper; seL4; CVC4; Charge!; jStar; HACL*; TacticToe; Caper; VeriMAP; IncA Cited in: 13 Publications Standard Articles 1 Publication describing the Software Year Infer: An automatic program verifier for memory safety of C programs Calcagno, Cristiano; Distefano, Dino 2011 all top 5 Cited by 38 Authors 2 Chen, Taolue 2 Demri, Stéphane P. 2 Iosif, Radu 2 Reynolds, Andrew 2 Serban, Cristina 2 Wu, Zhilin 1 Aschermann, Cornelius 1 Brockschmidt, Marc 1 Charguéraud, Arthur 1 Deters, Morgan 1 Frohn, Florian 1 Fuhs, Carsten 1 García-Contreras, Isabel 1 Giesl, Jürgen 1 Gu, Xincai 1 Hensel, Jera 1 Hermenegildo, Manuel V. 1 Itzhaky, Shachar 1 Jacobs, Bart 1 Jansen, Christina 1 Katelaan, Jens 1 Kimura, Daisuke 1 King, Tim 1 Matheja, Christoph 1 Morales, Jose Francisco 1 Noll, Thomas 1 Peleg, Hila 1 Piessens, Frank 1 Polikarpova, Nadia 1 Pottier, François 1 Rowe, Reuben N. S. 1 Schneider-Kamp, Peter 1 Sergey, Ilya 1 Song, Fu 1 Ströder, Thomas 1 Tatsuta, Makoto 1 Vogels, Frédéric 1 Zuleger, Florian Cited in 4 Serials 2 Logical Methods in Computer Science 1 Journal of Automated Reasoning 1 Journal of Applied Non-Classical Logics 1 Theory and Practice of Logic Programming Cited in 2 Fields 12 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) Citations by Year