Click on Link: Java Bytecode Symbolic Executor to open the resource.