Tool Talk: Soot and Phasar
summary
Soot is a 1999 Java/Android analysis and transformation framework with 1300 citations and ~1,400 GitHub stars; it integrates FlowDroid, Boomerang and several interprocedural solvers, now supporting Java up to 14 and offering a new FutureSoot redesign due late year to improve modularity and caching. Phasar is a 2016 LLVM‑IR framework for C/C++ with 390 GitHub stars that implements interprocedural dataflow, planned integration of synchronized pushdown systems for higher precision and work on strong updates and scalability; both are production‑used and open‑source.
AI-written summary · about
chapters (10)
- 0:00Intro
- 4:47Phasar
- 6:47Soot and Phasar
- 10:00foundational papers
- 12:19analysis
- 19:08Soot Phasar
- 21:01Future Suit
- 22:15Future Plans
- 23:54Summary
- 24:40Questions
