Prof. Dr. Eric Bodden

I just uploaded a somewhat older project report that I wrote about two years ago. The report describes a denial-of-service attack on the pre-Java6 bytecode verifier. People were asking for benchmarks on type inference – I think this is a good one. You can even try out the attack yourself. I have a demo online! See here.