Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
phasar
A LLVM-based static analysis framework.
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
33mo ago
Recent commits
Latest commits.
HelperAnalyses with existing Module (#667)
06da95b
Fabian Schiebel
33mo ago
Fix Taint Analysis (#661)
1fafc44
Fabian Schiebel
33mo ago
Fix Backward ICFG (#660)
94a0e47
Fabian Schiebel
33mo ago
Adds helper function to determine if a function was generated by phasar (#665)
76fe080
Florian Sattler
34mo ago
Fix handling of unbalanced returns for IIA (#664)
c78dbe0
Martin Mory
34mo ago
Cleaning up IDETabulationProblem (#653)
b763b5f
Fabian Schiebel
34mo ago
don't link fat LLVM lib in myphasartool, needs to be transitively pulled in through phasar (#663)
1d0b6e4
Martin Mory
34mo ago
link llvm Demangle component to controller, otherwise build in vara fails (#662)
7340a46
Martin Mory
34mo ago
Top contributors
Builders behind this project.
pdschubert
1.4K commits
fabianbs96
265 commits
vulder
218 commits
rleer
212 commits
MMory
127 commits
janniclas
107 commits
blipper
95 commits
LinusJungemann
86 commits