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

empty brackets #115

Closed nkrusch closed 4 months ago

nkrusch commented 4 months ago

Having a statement like,

if (...) {   }

Raises TypeError: 'NoneType' object is not iterable. It should just skip the empty body.