first version of static analysis