ilya-klyuchnikov/faba — pull request #30 by ilya-klyuchnikov (2014-08-28 12:38:27+00:00)
Title: Nullity propagation via constraints

A fruitful and simple way to infer more `@NotNull annotations`. State has a set of values that should be not null at this point. Values are: parameters, values originated at some instruction.

Currently this propagation is for methods without cycles only. It is unclear yet about propagation for methods with cycles - since there are generalizations and we should apply generalization to constraints as well.