@ParametersAreNonnullByDefault

Package org.sonar.java.bytecode.se

Interface Summary

Interface	Description
BytecodeSECheck

Class Summary

Class	Description
BytecodeEGWalker
BytecodeSECheck.NullnessCheck
BytecodeSECheck.ZeronessCheck
CheckerDispatcher
MethodLookup
MethodLookup.LookupMethodVisitor

Enum Summary

Enum	Description
BytecodeEGWalker.StackValueCategoryConstraint	Because some instructions manipulate stack differently depending on the type of the value, we need this constraint to know category of the value see https://docs.oracle.com/javase/specs/jvms/se9/html/jvms-2.html#jvms-2.11.1 Table 2.11.1-B