====== Facebook Infer links ======

  * Scaling Static Analyses at Facebook https://cacm.acm.org/magazines/2019/8/238344-scaling-static-analyses-at-facebook/fulltext

  * 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  https://cacm.acm.org/magazines/2019/2/234356-separation-logic/fulltext
  * POPL 2019 Most Influential Paper Award for research that led to Facebook Infer https://research.fb.com/popl-2019-most-influential-paper-award-for-research-that-led-to-facebook-infer/