Hi Mohsen,
The JastAddJ nullness inference tool was implemented by my former PhD student Torbjörn Ekman, but he is currently working in industry, so unfortunately I doubt he has time to look at this. But thanks for sharing these test cases anyway, in case someone else would like to look into this in the future.
best regards,
Görel Hedin
22 mar 2013 kl. 00:12 skrev Mohsen Vakilian:
> 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
> _______________________________________________
> JastAdd mailing list
> JastAdd_at_cs.lth.se
> https://mail1.cs.lth.se/cgi-bin/mailman/listinfo/jastadd
Received on Sun Mar 24 2013 - 13:55:19 CET