sat4j - FindBugs Bug Detector Report

Last Published: 08/30/2007

sat4j

Project Documentation

Project Information
Project Reports
- Change Log
- Checkstyle
- CPD Report
- Developer Activity
- File Activity
- FindBugs Report
- JavaDocs
- JDepend
- PMD Report
- Source Xref
- Test JavaDocs
- Test Source Xref

Built by Maven

FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.2.0

Threshold is Low

Effort is Default

Summary

Classes	Bugs	Errors	Missing Classes
546	26	0	0

Files

Class	Bugs
org.sat4j.Lanceur	1
org.sat4j.core.Vec	2
org.sat4j.core.VecInt	1
org.sat4j.minisat.constraints.pb.ConflictMap	1
org.sat4j.minisat.core.Heap	1
org.sat4j.minisat.core.Solver	2
org.sat4j.minisat.learning.AbstractLearning	1
org.sat4j.minisat.learning.MiniSATLearning	1
org.sat4j.opt.MinCostDecorator	2
org.sat4j.opt.MinOneDecorator	2
org.sat4j.opt.PseudoOptDecorator	2
org.sat4j.opt.WeightedMaxSatDecorator	1
org.sat4j.reader.CSPReader	3
org.sat4j.reader.LecteurDimacs	1
org.sat4j.reader.csp.EnumeratedDomain	1
org.sat4j.reader.csp.Predicate	2
org.sat4j.reader.csp.Supports	2

org.sat4j.Lanceur

Bug	Category	Details	Line
Exception is caught when Exception is not thrown in org.sat4j.Lanceur.configureSolver(String[])	STYLE	REC_CATCH_EXCEPTION	176

org.sat4j.core.Vec

Bug	Category	Details	Line
org.sat4j.core.Vec.toArray() may expose internal representation by returning Vec.myarray	MALICIOUS_CODE	EI_EXPOSE_REP	299
org.sat4j.core.Vec.Vec(Object[]) may expose internal representation by storing an externally mutable object into Vec.myarray	MALICIOUS_CODE	EI_EXPOSE_REP2	69

org.sat4j.core.VecInt

Bug	Category	Details	Line
org.sat4j.core.VecInt.VecInt(int[]) may expose internal representation by storing an externally mutable object into VecInt.myarray	MALICIOUS_CODE	EI_EXPOSE_REP2	184

org.sat4j.minisat.constraints.pb.ConflictMap

Bug	Category	Details	Line
Unchecked/unconfirmed cast from org.sat4j.minisat.constraints.pb.PBConstr to org.sat4j.minisat.constraints.pb.WatchPb in org.sat4j.minisat.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	STYLE	BC_UNCONFIRMED_CAST	210

org.sat4j.minisat.core.Heap

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

org.sat4j.minisat.core.Solver

Bug	Category	Details	Line
Should org.sat4j.minisat.core.Solver.findModel() return a zero length array rather than null?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	1168
Should org.sat4j.minisat.core.Solver.findModel(IVecInt) return a zero length array rather than null?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	1177

org.sat4j.minisat.learning.AbstractLearning

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

org.sat4j.minisat.learning.MiniSATLearning

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

org.sat4j.opt.MinCostDecorator

Bug	Category	Details	Line
org.sat4j.opt.MinCostDecorator.model() may expose internal representation by returning MinCostDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	163
MinCostDecorator.costs not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available

org.sat4j.opt.MinOneDecorator

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

org.sat4j.opt.PseudoOptDecorator

Bug	Category	Details	Line
org.sat4j.opt.PseudoOptDecorator.model() may expose internal representation by returning PseudoOptDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	89
PseudoOptDecorator.objfct not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available

org.sat4j.opt.WeightedMaxSatDecorator

Bug	Category	Details	Line
WeightedMaxSatDecorator.counter not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available

org.sat4j.reader.CSPReader

Bug	Category	Details	Line
CSPReader.currentclausifiable not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available
CSPReader.currentdomain not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available
CSPReader.currentpredicate not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available

org.sat4j.reader.LecteurDimacs

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

org.sat4j.reader.csp.EnumeratedDomain

Bug	Category	Details	Line
org.sat4j.reader.csp.EnumeratedDomain.EnumeratedDomain(int[]) may expose internal representation by storing an externally mutable object into EnumeratedDomain.values	MALICIOUS_CODE	EI_EXPOSE_REP2	36

org.sat4j.reader.csp.Predicate

Bug	Category	Details	Line
Predicate.encoding not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available
Predicate.myscript not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available

org.sat4j.reader.csp.Supports

Bug	Category	Details	Line
Supports.encoding not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available
Supports.mtuple not initialized in constructor	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR	Not available