Static analysis work