secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
927 stars 140 forks source link

Credits update #553

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Small update to our heavily out-dated CREDITS.txt file