Manu Sridharan

icon indicating a website link http://manu.sridharan.net

icon location Riverside, CA icon location UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple

Results 671 comments of Manu Sridharan

Introduce method contracts

From the NullAway perspective, we have supported a subset of the functionality of JetBrain's `@Contract` annotation for quite some time (looks like [since March 2018](https://github.com/uber/NullAway/commit/e20088d3aacb5d421039a62066deeadbddfeaa49)). This was motivated by internal...