...
| Wiki Markup |
|---|
Null pointer dereferences can happen in many path dependent ways. DueBecause toof the limitations of automatic detection tools, code review and manual inspection of code are indispensable activities \[[Hovemeyer 07|AA. Java References#Hovemeyer 07]\]. Annotations for method parameters that must be non-null can also alleviate the problem to a certain extent by aiding automatic detection. |
...