Searched for: subject%3A%22Java%22
(1 - 1 of 1)
document
Raateland, Wouter (author)
Null pointer dereferences in Java raise exceptions, occur often, are hard to debug and cost a lot of unnecessary effort and resources. Therefore, a lot of effort has been put in analyses spotting those null pointer dereferences. As developers rely on those analyses it is important that they are sound. However, proving null pointer analyses sound...
bachelor thesis 2018