FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.6

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
397 27 0 0

Files

Class Bugs
org.sat4j.core.Vec 3
org.sat4j.core.VecInt 5
org.sat4j.minisat.constraints.cnf.Lits 1
org.sat4j.minisat.core.Heap 1
org.sat4j.minisat.core.Pair 1
org.sat4j.minisat.core.Solver 4
org.sat4j.minisat.core.Solver$2 1
org.sat4j.minisat.core.Solver$3 1
org.sat4j.minisat.core.Solver$4 1
org.sat4j.minisat.core.Solver$6 1
org.sat4j.minisat.learning.AbstractLearning 1
org.sat4j.minisat.learning.LimitedLearning 1
org.sat4j.minisat.learning.MiniSATLearning 1
org.sat4j.opt.AbstractSelectorVariablesDecorator 2
org.sat4j.opt.MinOneDecorator 2
org.sat4j.reader.LecteurDimacs 1

org.sat4j.core.Vec

Bug Category Details Line Priority
Unchecked/unconfirmed cast from org.sat4j.specs.IVec<T> to org.sat4j.core.Vec in org.sat4j.core.Vec.copyTo(IVec) STYLE BC_UNCONFIRMED_CAST 287 Low
org.sat4j.core.Vec.toArray() may expose internal representation by returning Vec.myarray MALICIOUS_CODE EI_EXPOSE_REP 319 Medium
new org.sat4j.core.Vec(Object[]) may expose internal representation by storing an externally mutable object into Vec.myarray MALICIOUS_CODE EI_EXPOSE_REP2 87 Medium

org.sat4j.core.VecInt

Bug Category Details Line Priority
Unchecked/unconfirmed cast from org.sat4j.specs.IVecInt to org.sat4j.core.VecInt in org.sat4j.core.VecInt.copyTo(IVecInt) STYLE BC_UNCONFIRMED_CAST 329 Low
Unchecked/unconfirmed cast from org.sat4j.specs.IVecInt to org.sat4j.core.VecInt in org.sat4j.core.VecInt.moveTo2(IVecInt) STYLE BC_UNCONFIRMED_CAST 353 Low
Unchecked/unconfirmed cast from org.sat4j.specs.IVecInt to org.sat4j.core.VecInt in org.sat4j.core.VecInt.pushAll(IVecInt) STYLE BC_UNCONFIRMED_CAST 565 Low
org.sat4j.core.VecInt.toArray() may expose internal representation by returning VecInt.myarray MALICIOUS_CODE EI_EXPOSE_REP 615 Medium
new org.sat4j.core.VecInt(int[]) may expose internal representation by storing an externally mutable object into VecInt.myarray MALICIOUS_CODE EI_EXPOSE_REP2 200 Medium

org.sat4j.minisat.constraints.cnf.Lits

Bug Category Details Line Priority
Class org.sat4j.minisat.constraints.cnf.Lits defines non-transient non-serializable instance field reason BAD_PRACTICE SE_BAD_FIELD Not available Low

org.sat4j.minisat.core.Heap

Bug Category Details Line Priority
new org.sat4j.minisat.core.Heap(double[]) may expose internal representation by storing an externally mutable object into Heap.activity MALICIOUS_CODE EI_EXPOSE_REP2 103 Medium

org.sat4j.minisat.core.Pair

Bug Category Details Line Priority
Class org.sat4j.minisat.core.Pair defines non-transient non-serializable instance field reason BAD_PRACTICE SE_BAD_FIELD Not available Low

org.sat4j.minisat.core.Solver

Bug Category Details Line Priority
Should org.sat4j.minisat.core.Solver.findModel() return a zero length array rather than null? STYLE PZLA_PREFER_ZERO_LENGTH_ARRAYS 1316 Low
Should org.sat4j.minisat.core.Solver.findModel(IVecInt) return a zero length array rather than null? STYLE PZLA_PREFER_ZERO_LENGTH_ARRAYS 1325 Low
Exception is caught when Exception is not thrown in org.sat4j.minisat.core.Solver.setSimplifier(String) STYLE REC_CATCH_EXCEPTION 561 Low
Class org.sat4j.minisat.core.Solver defines non-transient non-serializable instance field constrTypes BAD_PRACTICE SE_BAD_FIELD Not available Low

org.sat4j.minisat.core.Solver$2

Bug Category Details Line Priority
org.sat4j.minisat.core.Solver$2 is serializable and an inner class BAD_PRACTICE SE_INNER_CLASS 512-524 Low

org.sat4j.minisat.core.Solver$3

Bug Category Details Line Priority
org.sat4j.minisat.core.Solver$3 is serializable and an inner class BAD_PRACTICE SE_INNER_CLASS 528-541 Low

org.sat4j.minisat.core.Solver$4

Bug Category Details Line Priority
org.sat4j.minisat.core.Solver$4 is serializable and an inner class BAD_PRACTICE SE_INNER_CLASS 1065-1076 Low

org.sat4j.minisat.core.Solver$6

Bug Category Details Line Priority
org.sat4j.minisat.core.Solver$6 is serializable and an inner class BAD_PRACTICE SE_INNER_CLASS 1094-1100 Low

org.sat4j.minisat.learning.AbstractLearning

Bug Category Details Line Priority
AbstractLearning.val not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.minisat.learning.LimitedLearning

Bug Category Details Line Priority
LimitedLearning.stats not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.minisat.learning.MiniSATLearning

Bug Category Details Line Priority
MiniSATLearning.dsf not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.opt.AbstractSelectorVariablesDecorator

Bug Category Details Line Priority
org.sat4j.opt.AbstractSelectorVariablesDecorator.model() may expose internal representation by returning AbstractSelectorVariablesDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 69 Medium
AbstractSelectorVariablesDecorator.prevboolmodel not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.opt.MinOneDecorator

Bug Category Details Line Priority
org.sat4j.opt.MinOneDecorator.model() may expose internal representation by returning MinOneDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 101 Medium
MinOneDecorator.prevmodel not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.reader.LecteurDimacs

Bug Category Details Line Priority
LecteurDimacs.in not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low