•20,000 lines of Java (circa 2000)
–Plus front
ends, utilities
–Daikon
1: 6,500 lines of Python
•Front ends:
C/C++, Java, Lisp
•Builds on others’ programs and libraries
–Lackwit,
Ajax, EDG, Jikes
–(JOIE, Bobby,
JavaClass, javac, JavaCC)
•Prototype available from Ernst