add a first version of static analysis (very wip)