Accompanying git repository to "Bypassing the bytecode verifier": https://som.codes/blog/2019-12-30/jvm-hackery-noverify/
Run using the main class codes.som.noverify.tests.LocalSlotCasting or codes.som.noverify.tests.IncrementalStackPushing.
codes.som.noverify.tests.LocalSlotCasting
codes.som.noverify.tests.IncrementalStackPushing