experimental static analysis