Fix incorrect results in ReachSafety-Arrays

hbgit / Map2Check

Map2Check: Finding Software Vulnerabilities

https://map2check.github.io

GNU General Public License v2.0

27 stars 9 forks source link

Closed hbgit closed 4 years ago

hbgit commented 4 years ago

Bug in reachability analysis

hbgit commented 4 years ago

Verification tasks:

hbgit commented 4 years ago

Solved, check out commit edb1168d15f90bde0f80814d36d6f6fa4443ac75