a mini version of PySonar static analyzer