search

secure-software-engineering / phasar

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

Fixes undefined behavior in isStaticVariableLazyInitializationBranch #389

Closed vulder closed 3 years ago

vulder commented 3 years ago

Adds check to isStaticVariableLazyInitializationBranch, so we don't access a CalledFunction if none exists.