issues
search
statycc
/
pymwp
A static analyzer of variable value growth for C programs.
https://statycc.github.io/pymwp/
GNU General Public License v3.0
4
stars
1
forks
source link
Bound eq comparison
#128
Closed
nkrusch
closed
1 week ago
nkrusch
commented
1 week ago
Define bound equivalence
Define bound equivalence