DesignWizard is an API that supports the automated inspection of Java programs in a higher level than ASM bytecode manipulator.