Graph Theoretical Algorithms For JVM Operand Stack Visualization And Bytecode Verification