static analysis implemented