Website | Source

• Static Analysis for C++ with Phasar
  • https://pldi18.sigplan.org/event/pldi-2018-pldi-tutorials-static-analysis-for-c-with-phasar
• PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
  • TACAS 2019
  • Philipp D. Schubert, Ben Hermann, Eric Bodden
  • http://www.thewhitespace.de/publications/shb19-phasar.pdf

---

Tags: tool   llvm  

Last modified 22 June 2021

---

© 2020 Ted Neward | Mixed with Bootstrap v3.1.1 | Baked with JBake v2.6.5