search

secure-software-engineering / phasar

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

fix unreachable code in IFDSUninitializedVariables, fixing #410 #500

Closed MMory closed 2 years ago

MMory commented 2 years ago

fix unreachable code in IFDSUninitializedVariables, fixing #410