update according to static analysis