FindBugs Bug Detector Report

Last Published: 2012-07-11 | Version: 2.3.2

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Test Source Xref
- Source Xref
- PMD Report
- CPD Report
- Checkstyle
- FindBugs Report
- Test JavaDocs
- JavaDocs
- Tag List

Built by Maven

FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.9

Threshold is low

Effort is min

Summary

Classes	Bugs	Errors	Missing Classes
132	28	0	0

Files

Class	Bugs
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator	3
org.sat4j.pb.LanceurPseudo2007Eclipse	1
org.sat4j.pb.OptToPBSATAdapter	1
org.sat4j.pb.PseudoOptDecorator	4
org.sat4j.pb.UserFriendlyPBStringSolver	1
org.sat4j.pb.constraints.pb.ConflictMap	3
org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause	1
org.sat4j.pb.constraints.pb.MaxWatchPb	1
org.sat4j.pb.constraints.pb.MaxWatchPbLong	1
org.sat4j.pb.constraints.pb.MaxWatchPbLongCP	1
org.sat4j.pb.constraints.pb.MinWatchCardPB	1
org.sat4j.pb.core.PBSolver$1	1
org.sat4j.pb.core.PBSolverCP	1
org.sat4j.pb.core.PBSolverCautious	2
org.sat4j.pb.reader.OPBReader2007	2
org.sat4j.pb.reader.OPBReader2010	1
org.sat4j.pb.tools.ConflictTracing	2
org.sat4j.pb.tools.LexicoDecoratorPB	1

org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.addedConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
Le champ org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr est uniquement mis à null	CORRECTNESS	UWF_NULL_FIELD	85	Low

org.sat4j.pb.LanceurPseudo2007Eclipse

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.LanceurPseudo2007Eclipse.quickxplain	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.pb.OptToPBSATAdapter

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.pb.IPBSolver vers problem dans new org.sat4j.pb.OptToPBSATAdapter(IOptimizationProblem)	STYLE	BC_UNCONFIRMED_CAST	62	Low

org.sat4j.pb.PseudoOptDecorator

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number)	STYLE	BC_UNCONFIRMED_CAST	268	Low
La méthode org.sat4j.pb.PseudoOptDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	241	Medium
La méthode org.sat4j.pb.PseudoOptDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelwithadditionalvars	MALICIOUS_CODE	EI_EXPOSE_REP	277	Medium
La classe org.sat4j.pb.PseudoOptDecorator définit le champ d'instance org.sat4j.pb.PseudoOptDecorator.previousPBConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.pb.UserFriendlyPBStringSolver

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.UserFriendlyPBStringSolver définit le champ d'instance org.sat4j.pb.UserFriendlyPBStringSolver.mapping non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.pb.constraints.pb.ConflictMap

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.IWatchPb vers cpb dans org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)	STYLE	BC_UNCONFIRMED_CAST	209	Low
La méthode privée org.sat4j.pb.constraints.pb.ConflictMap.saturation1(BigInteger[], BigInteger, IWatchPb) n'est jamais appelée	PERFORMANCE	UPM_UNCALLED_PRIVATE_METHOD	598	Low
La méthode privée org.sat4j.pb.constraints.pb.ConflictMap.saturation2(BigInteger[], BigInteger, IWatchPb, BigInteger) n'est jamais appelée	PERFORMANCE	UPM_UNCALLED_PRIVATE_METHOD	576	Low

org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause

Bug	Category	Details	Line	Priority
org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND n'est pas final et n'est pas protégé face à du code malveillant	MALICIOUS_CODE	MS_CANNOT_BE_FINAL		Medium

org.sat4j.pb.constraints.pb.MaxWatchPb

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.constraints.pb.MaxWatchPb définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPb.litToCoeffs non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.pb.constraints.pb.MaxWatchPbLong

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.constraints.pb.MaxWatchPbLong définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPbLong.litToCoeffs non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.pb.constraints.pb.MaxWatchPbLongCP

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.constraints.pb.MaxWatchPbLongCP définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPbLongCP.litToCoeffs non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.pb.constraints.pb.MinWatchCardPB

Bug	Category	Details	Line	Priority
org.sat4j.pb.constraints.pb.MinWatchCardPB doesn't override org.sat4j.minisat.constraints.card.MinWatchCard.equals(Object)	STYLE	EQ_DOESNT_OVERRIDE_EQUALS	40	Medium

org.sat4j.pb.core.PBSolver$1

Bug	Category	Details	Line	Priority
org.sat4j.pb.core.PBSolver$1 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.pb.core.PBSolverCP

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers myconfl dans org.sat4j.pb.core.PBSolverCP.analyzeCP(Constr, Pair)	STYLE	BC_UNCONFIRMED_CAST	88	Low

org.sat4j.pb.core.PBSolverCautious

Bug	Category	Details	Line	Priority
Ecriture d'un champ statique org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND depuis la méthode d'une instance new org.sat4j.pb.core.PBSolverCautious(LearningStrategy, PBDataStructureFactory, IOrder)	STYLE	ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD	46	High
Ecriture d'un champ statique org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND depuis la méthode d'une instance new org.sat4j.pb.core.PBSolverCautious(LearningStrategy, PBDataStructureFactory, IOrder, int)	STYLE	ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD	52	High

org.sat4j.pb.reader.OPBReader2007

Bug	Category	Details	Line	Priority
La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.binaryProductToVar non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.varToProduct non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.pb.reader.OPBReader2010

Bug	Category	Details	Line	Priority
La méthode org.sat4j.pb.reader.OPBReader2010.beginConstraint() intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appelé	STYLE	REC_CATCH_EXCEPTION	170	Low

org.sat4j.pb.tools.ConflictTracing

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers c dans org.sat4j.pb.tools.ConflictTracing.learn(IConstr)	STYLE	BC_UNCONFIRMED_CAST	65	Low
La classe org.sat4j.pb.tools.ConflictTracing définit le champ d'instance org.sat4j.pb.tools.ConflictTracing.out non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.pb.tools.LexicoDecoratorPB

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.tools.LexicoDecoratorPB.bigCurrentValue	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low