International Workshop on the State Of the Art in Program Analysis (SOAP)

on YouTube ↗07h 15m

" summary

Workshop runs experiments and tools rather than sweeping theory: expect concrete numbers, deployments and what actually worked. Highlights: diff-time deployment with 70% fix rate (vs near-zero for nightly batch), Infer found 2,500 data races in one year on Facebook code and ran compositional, incremental analyses in CI; Python study shows value analysis cuts index false alarms by 10x at ~3× cost and AGC reduces analysis time 38% and memory 47%. Watch the tool talks if you want reusable infra (Soufflé, Doop, CodeChecker, Takai, Magpie, WALA).

AI-written summary · about

" chapters (28)

1. 0:00SOAP 2020 introduction
2. 11:11SOAP 2020 changes
3. 25:58Keynote begins: Peter O'Hearn
4. 1:06:02Formal reasoning and hacker way
5. 1:17:50Q&A with Peter O'Hearn
6. 1:45:59Bug provenance with trace witnesses
7. 2:03:45Q&A with Xivu
8. 2:10:52Takai IR talk
9. 2:33:57Q&A with Michelle Reif
10. 2:34:32Python value and allocation sensitivity
11. 3:00:39Q&A with Rafael Moná
12. 3:21:07Soufflé talk
13. 3:39:24Q&A with Bernard Schultze
14. 3:39:45Dupe framework talk
15. 3:56:48Q&A with Janice Maracas
16. 3:57:08CodeChecker talk
17. 4:10:38Q&A with Gabor Martin and Daniel Kopp
18. 4:20:33Klee talk
19. 4:33:57Q&A with Christian Kadar and Marty Novak
20. 4:44:28Static analysis at Google
21. 5:47:35Q&A with Caitlin Zadowski
22. 6:03:54Suit and Phaser talk
23. 6:36:04Q&A with Eric Bodden and Philip Schubert
24. 6:36:27Magpie Bridge talk
25. 6:52:48Q&A with Linghui Luo
26. 6:53:14Vala and taint analysis
27. 7:03:08Q&A with Julian Dolby
28. 7:09:30Best presentation award

" related talks

• 42mContemporary Automatic Program AnalysisJulian Cohen · Black Hat USA 2014
• 30mAPISan: Sanitizing API Usages through Semantic Cross-CheckingChangwoo Min, Insu Yun, Mayur Naik, Yeongjin Jang, Taesoo Kim, Xujie Si · USENIX Security '16
• 01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...Manuel Hermenegildo · LOPSTR 2023
• 39mSoftware Analytics with Data Science on Software DataMarkus Harrer · Craft Conference 2024
• 21mAbstract Debuggers: Exploring Program Behaviors Using Static Analysis ResultsKaroliine Holter, Simmo Saan, Patrick Lam, Vesal Vojdani, Juhan Oskar Hennoste · Onward! 2024
• 34mAbstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…)Thomas Ball · PLDI 2024 Workshop Honoring Andreas Podelski
• 47mExploring a complex codebase with AIJesús Espino · DevBcn 2025
• 14mA Sound Static Analysis Approach to I/O API MigrationShangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu Zhou, Jiasi Shen · OOPSLA 2025