determine whether it validates input before processing it and returning a
result. This second form of binary analysis tool is most often used in Java
bytecode scanners to generate a structured format of the Java program
that is often easier to analyze than the original Java source code. [274]