I ran the nullness inference tool of JastAddJ
<
http://jastadd.org/web/jastaddj/extensions.php> on a piece of code.
The tool infers annotations different from what I expect for certain
locations. I shared the code with the inferred annotations at
<
https://docs.google.com/folder/d/0BxeYLxbSgV2uRm5ZbEhGNFh3cnc/edit?usp=sharing>.
I've commented on the inferred annotations that differ from my
expectation. It would be great if someone familiar with the internals
of the nullness inference tool could review my comments and determine
whether the difference are due to bugs in the inference tool or
inherent limitations of the tool.
Thanks,
Mohsen Vakilian
Received on Fri Mar 22 2013 - 00:13:11 CET