Open ITWOI opened 4 years ago
Hi, we have reported the bugs a while ago would you please take a look and confirm if they are real bugs. We have been conducting an experiment to measure the accuracy of our static checker. We would be deeply appreciated if you can provide some feedback!
Hi all,
Our tool has found several potential NPE bugs.
Variable
md5Stream
may be null due to the line 95. However, another accesswhile( (count = md5Stream.read(bytes)) != -1 )
to the variable doesn't have the null check.Similarly, null checks are inconsistent at line 55 and line 52 in method
getAbderaEntry
.Thanks.