[nebucnaut]

Yes, dynamically typed languages are much harder to tackle :/

[dkarapetyan]

You don't need it to be fully automated. For dynamic languages you would have people in the loop to annotate the parts the tool couldn't figure out.

[nautilus12]

This seems like no better off. Documentation is historically always out of date the second its written. The same would be true for annotation.

[lallysingh]

You're best off getting traces from a modified runtime to annotate what's going on.