Static analysis technology