search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
941 stars 142 forks source link

Fixes signed integer overflow in LinearConstantAnalysis #402

Closed vulder closed 3 years ago

vulder commented 3 years ago

In a the cases that the add/sub/mul operation overflows, we need to set the edge function lattice (l_t) to TOP.