Phasar - A LLVM-based static code analysis framework

Phasar ist ein neues statisches Codeanalyseframework basierend auf LLVM. Phasar bietet verschiedene Datenfluss-Solver an, die das vollautomatische Lösen beliebiger (entscheidbarer) Datenflussprobleme auf der LLVM Zwischen-Repräsentation (LLVM IR) erlauben. Ein Nutzer des Frameworks muss lediglich die Problembeschreibung bereitstellen.