Loop - Githubissues

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

Loop #122

Closed nkrusch closed 2 months ago

nkrusch commented 2 months ago

fix for #5: implement L rule w/ tests
improved ways to inspect bounds
improved output format+detail