Facebook engineers receive 2021 IEEE Computer Society Cybersecurity Award for static analysis tools
Oct 20, 2021Clyde Rodriguez

Summary
This post details the development and deployment of static analysis tools (Infer, Zoncolan, Pysa, Mariana Trench) for finding and preventing security and privacy bugs at scale across multiple programming languages (Hack, Python, Java) and platforms (server-side, Android). It highlights the award received for these tools and their open-sourcing to benefit the wider industry.
More from the Application Security and Permissions trail
- How We’re Building Scam Alert on WhatsApp With End-to-End Encryption and Verifiability Guarantees
- Privacy-Aware Infrastructure in the AI-Native Era: An Asset Classification Case Study
- Labyrinth 1.1: Making End-to-End Encrypted Backups Even More Reliable
- How Meta Is Strengthening End-to-End Encrypted Backups
- Post-Quantum Cryptography Migration at Meta: Framework, Lessons, and Takeaways