Working on static analysis