Here are some references for reading.
Ayewah et al. Using static analysis to find bugs, IEEE Software, 2008.
The post Facebook open sourcing Infer gives an overview of the FB Infer tool with a video demo.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |