Houdini

From Arnout Engelen

Houdini is the annotation inference tool that comes with ESC/Java. Unfortunately it has been unmaintained for ~5 years while ESC/Java was under development and it is heavily integrated with its internals.

Contents 1 virtues 2 Drawbacks 3 Practical problems 3.1 non-CVS version:

[edit] virtues

• Calls ESC/Java
• Leaves existing annotations alone

[edit] Drawbacks

• For code that is not under current analysis (such as when checking a library or in the presence of callbacks), houdini infers all possible (and even conflicting) annotations
• Performance: it took 4 hours to run on itself
• warnings can be obscure

[edit] Practical problems

Many. Currently:

• not copying over all required files in CopyLoaded.
  • looks like it loads return types, but not parameter types?

[edit] non-CVS version:

• CopyLoaded can't find the digid jar's.....??