2091:facebook_infer_links
This is an old revision of the document!
Facebook Infer links
- F8 2019: Facebook: Getting Started with Infer: Find and Fix Bugs in Your Code https://www.youtube.com/watch?v=axh3J0YUu3s
- Facebook Infer: Advanced Static Analysis at Speed and Scale - Facebook - DevTools@Scale2017 https://www.youtube.com/watch?v=gZ3dA4QD8jk
- Separation Logic http://delivery.acm.org/10.1145/3220000/3211968/p86-o_hearn.pdf
2091/facebook_infer_links.1568649709.txt.gz ยท Last modified: 2020/11/19 11:42 (external edit)