Daikon implementation
20,000 lines of Java
- 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