search

secure-software-engineering / phasar

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

Update GeneralizedLCATest to have better debugging and fix nullptr bugs. Also fix StringTestCpp with libcxx. #386

Closed blipper closed 3 years ago