...
| Wiki Markup |
|---|
Null pointer dereferences can happen in many path dependent ways. Because of the limitations of automatic detection tools, codeit reviewis andrequired manualto inspectionmanually ofinspect code are indispensable activities \[[Hovemeyer 07|AA. Java References#Hovemeyer 07]\] forto thedetect detectioninstances of null pointer dereferences. Annotations for method parameters that must be non-null can also alleviate the problem to a certain extent by aiding automatic null pointer dereference detection. |
...