search

secure-software-engineering / phasar

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

Skip HandleSTLArrayTest_03 since libstdc++ and libcxx have different behaviour #398

Closed blipper closed 3 years ago