Rating:

Original writeup (https://angr.io/blog/java_angr/).