FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.9

Threshold is medium

Effort is max

Summary

Classes Bugs Errors Missing Classes
475 12 0 0

Files

Class Bugs
org.qedeq.base.io.IoUtility 2
org.qedeq.base.io.Version 1
org.qedeq.kernel.bo.job.InternalModuleServiceCallImpl 1
org.qedeq.kernel.bo.job.InternalServiceJobImpl 1
org.qedeq.kernel.bo.service.unicode.ProofLineData 6
org.qedeq.kernel.xml.handler.common.SimpleAttributes 1

org.qedeq.base.io.IoUtility

Bug Category Details Line Priority
org.qedeq.base.io.IoUtility.copy(File, File) ignores exceptional return value of java.io.File.mkdir() BAD_PRACTICE RV_RETURN_VALUE_IGNORED_BAD_PRACTICE 570 Medium
org.qedeq.base.io.IoUtility.createNecessaryDirectories(File) ignores exceptional return value of java.io.File.mkdirs() BAD_PRACTICE RV_RETURN_VALUE_IGNORED_BAD_PRACTICE 988 Medium

org.qedeq.base.io.Version

Bug Category Details Line Priority
org.qedeq.base.io.Version.equals(Object) is unusual STYLE EQ_UNUSUAL 117 Medium

org.qedeq.kernel.bo.job.InternalModuleServiceCallImpl

Bug Category Details Line Priority
org.qedeq.kernel.bo.job.InternalModuleServiceCallImpl.equals(Object) is unusual STYLE EQ_UNUSUAL 283 Medium

org.qedeq.kernel.bo.job.InternalServiceJobImpl

Bug Category Details Line Priority
org.qedeq.kernel.bo.job.InternalServiceJobImpl.equals(Object) is unusual STYLE EQ_UNUSUAL 243 Medium

org.qedeq.kernel.bo.service.unicode.ProofLineData

Bug Category Details Line Priority
org.qedeq.kernel.bo.service.unicode.ProofLineData.getFormula() may expose internal representation by returning ProofLineData.formula MALICIOUS_CODE EI_EXPOSE_REP 119 Medium
org.qedeq.kernel.bo.service.unicode.ProofLineData.getReason() may expose internal representation by returning ProofLineData.reason MALICIOUS_CODE EI_EXPOSE_REP 137 Medium
new org.qedeq.kernel.bo.service.unicode.ProofLineData(String, String[], String[]) may expose internal representation by storing an externally mutable object into ProofLineData.formula MALICIOUS_CODE EI_EXPOSE_REP2 51 Medium
new org.qedeq.kernel.bo.service.unicode.ProofLineData(String, String[], String[]) may expose internal representation by storing an externally mutable object into ProofLineData.reason MALICIOUS_CODE EI_EXPOSE_REP2 52 Medium
org.qedeq.kernel.bo.service.unicode.ProofLineData.setFormula(String[]) may expose internal representation by storing an externally mutable object into ProofLineData.formula MALICIOUS_CODE EI_EXPOSE_REP2 128 Medium
org.qedeq.kernel.bo.service.unicode.ProofLineData.setReason(String[]) may expose internal representation by storing an externally mutable object into ProofLineData.reason MALICIOUS_CODE EI_EXPOSE_REP2 147 Medium

org.qedeq.kernel.xml.handler.common.SimpleAttributes

Bug Category Details Line Priority
org.qedeq.kernel.xml.handler.common.SimpleAttributes.getBoolean(String) has Boolean return type and returns explicit null BAD_PRACTICE NP_BOOLEAN_RETURN_NULL 101 Medium