assignment1: dependency graph using regex on java source code
assignment2: class diagram using parser on java source code
assignment3: class diagram from java bytecode
assignment4: simple java bytecode interpreter
assignment5: abstract interpretation (static analysis)
assignment6: abstract interpretation with fixpoint detection (static analysis)
assignment7: concolic execution (dynamic analysis)
project: Identifying Input Portions Causing Crash using Input Tagging and Propagation