JVM Bytecode Verification: Type Checking and Stack Map Frames
A technical deep dive into the JVM bytecode verifier, covering type checking, stack map frames, the four verification stages, and what happens when verification fails.
Posts tagged with #bytecode
Class Loader Subsystem: Loading, Linking, and Initialization
Deep dive into the JVM Class Loader subsystem covering loading, linking, initialization phases and the ClassLoader hierarchy with parent delegation model.
Common Bytecode Instructions
Master the most frequently used JVM bytecode instructions: aload, astore, invoke, return, and arithmetic operations.
Java Bytecode Fundamentals
Explore the low-level representation of Java code: op codes, the stack-based JVM architecture, and local variable table mechanics.
JVM Bytecode Verification: The JVMS Compliance Process
Understanding the Java Virtual Machine Specification compliance: bytecode verification phases, type checking, stack overflow prevention, and security guarantees.
Method Invocation Bytecode
Deep dive into JVM method invocation: invokevirtual, invokestatic, invokespecial, invokeinterface, and invokedynamic explained per the JVM Specification.
Java Security Manager: Permission Checks and Policy Files
A deep dive into the Java Security Manager, policy file configuration, permission checks, and how to properly sandbox untrusted code in the JVM.