begin static analyzation