SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Bug_Cor_79

Inspired by

Original Description

“A parameter to this method has been identified as a value that should always be checked to see whether or not it is null, but it is being dereferenced without a preceding null check.” – 2013-10-14

JTransformer Description

“A parameter to this method is annotated with an annotation that indicates that it might be 'null' but the method body accesses it without a preceding null check.” – 2014-01-29 – GK

teaching/labs/mdse/2013/bug_descriptions/jt-bug-cor71.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2023