Static Analysis in Java Byte Code Verification
Java is high level 3rd generation programming language. Program written in this language are not directly executed; they are converted into intermediate code known as byte code. Source code written in programming languages such as java or .net are shipped in the form of high level intermediate byte code. This offers two distinct advantages over shipping programs directly as compiled machine code. On the one hand the byte code is machine independent and can be executed on different target systems using different instruction sets and software framework i.e. operating system. This makes byte code programs portable across target platforms.