issues
search
secure-software-engineering
/
phasar
A LLVM-based static analysis framework.
Other
920
stars
140
forks
source link
Weak Update LLVMBasedAliasAnalysis
#626
Closed
fabianbs96
closed
1 year ago
fabianbs96
commented
1 year ago
Effectively a subset of #610, but aims to be non-breaking.
Effectively a subset of #610, but aims to be non-breaking.