search

secure-software-engineering / phasar

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

Fix global handling in type state analysis #651

Closed MMory closed 10 months ago

MMory commented 1 year ago

TODO: write a unit test that captures the fixed behaviour