Toggle navigation
Home
Categories
AI
Architecture
Backends
Clouds
Conferences
Containers
Developer Relations
Distribution and Distributed Systems
Formats
Game Development
Hardware
Language Development
Languages
Libraries
Management
Patterns
Places of interest on the Internet
Platforms
Presentation
Reading
Security
Speaking
Storage
Teaching
Thinking
Tools
Virtual Machines
Writing
All Pages
All Tags
Subscribe (RSS)
Phasar
A LLVM-based static code analysis framework
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 12 December 2025