FindBugs Results

The following document contains the results of FindBugs.

Summary

Files Errors
101 266

Files

Files Violations
net.sf.bddbddb.Relation 1
net.sf.bddbddb.FindBestDomainOrder$1 2
net.sf.bddbddb.FindBestDomainOrder$2 2
net.sf.bddbddb.FindBestDomainOrder$3 2
net.sf.bddbddb.FindBestDomainOrder$4 2
net.sf.bddbddb.FindBestDomainOrder$5 2
net.sf.bddbddb.FindBestDomainOrder$6 1
net.sf.bddbddb.FindBestDomainOrder 56
net.sf.bddbddb.InferenceRule 1
net.sf.bddbddb.Solver$RuleSorter 2
net.sf.bddbddb.Solver 4
net.sf.bddbddb.BDDSolver 4
net.sf.bddbddb.BDDInferenceRule$VarOrderComparator 1
net.sf.bddbddb.BDDInferenceRule 6
net.sf.bddbddb.Stratify 2
net.sf.bddbddb.IterationFlowGraph 1
net.sf.bddbddb.BDDRelation 11
net.sf.bddbddb.CodeFragment 6
net.sf.bddbddb.DatalogParser 4
net.sf.bddbddb.Dot$LabelSource 1
net.sf.bddbddb.Dot 3
net.sf.bddbddb.Interactive 6
net.sf.bddbddb.LSRelation$TupleComparator 1
net.sf.bddbddb.LSRelation$4 1
net.sf.bddbddb.LSRelation 5
net.sf.bddbddb.SolverGUI$2 2
net.sf.bddbddb.SolverGUI 2
net.sf.bddbddb.TryDomainOrders 6
net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact 2
net.sf.bddbddb.dataflow.PartialOrder$PartialOrderTF 3
net.sf.bddbddb.dataflow.PartialOrder$Constraints 3
net.sf.bddbddb.dataflow.ConstantProp$ConstantPropTF 1
net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFact 2
net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFacts 1
net.sf.bddbddb.dataflow.RelationProblem$RelationFacts 1
net.sf.bddbddb.dataflow.DefUse$DefUseTransferFunction 2
net.sf.bddbddb.dataflow.UnionBitVectorFact 1
net.sf.bddbddb.dataflow.CopyProp$CopyPropFact 1
net.sf.bddbddb.dataflow.CopyProp$CopyPropTF 1
net.sf.bddbddb.dataflow.CopyProp$1 2
net.sf.bddbddb.dataflow.CopyProp$Transformer 1
net.sf.bddbddb.dataflow.Liveness$LivenessTF 2
net.sf.bddbddb.dataflow.PartialRedundancy$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedFact 1
net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedTF 1
net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableFact 1
net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableTF 1
net.sf.bddbddb.dataflow.PartialRedundancy$Available$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$EarliestTF 2
net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedTF 1
net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedFact 1
net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestTF 1
net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestFact 1
net.sf.bddbddb.dataflow.PartialRedundancy$Latest$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedFact 1
net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedTF 1
net.sf.bddbddb.dataflow.PartialRedundancy$Used$1 2
net.sf.bddbddb.dataflow.PartialRedundancy$PreFact 2
net.sf.bddbddb.dataflow.PartialRedundancy$ExpressionWrapper 1
net.sf.bddbddb.dataflow.PartialRedundancy$Expression 1
net.sf.bddbddb.order.OrderConstraint$1 1
net.sf.bddbddb.order.WekaInterface$OrderInstance 2
net.sf.bddbddb.order.WekaInterface 2
net.sf.bddbddb.order.CandidateSampler$LocalVarianceSampler 1
net.sf.bddbddb.order.EpisodeCollection 5
net.sf.bddbddb.order.TrialDataRepository$1 2
net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup 6
net.sf.bddbddb.order.TrialDataRepository 1
net.sf.bddbddb.order.Order 5
net.sf.bddbddb.order.TrialInstances 2
net.sf.bddbddb.order.Discretization 2
net.sf.bddbddb.order.OrderConstraintSet 1
net.sf.bddbddb.order.MyId3 1
net.sf.bddbddb.order.ConstraintInfo 1
net.sf.bddbddb.order.BaggedId3 1
net.sf.bddbddb.order.TrialInstance 4
net.sf.bddbddb.ir.DomainAssignment 4
net.sf.bddbddb.ir.PartialOrderDomainAssignment 3
net.sf.bddbddb.ir.UFDomainAssignment 2
net.sf.bddbddb.ir.lowlevel.ApplyEx 2
net.sf.bddbddb.ir.lowlevel.Replace 4
net.sf.bddbddb.ir.lowlevel.BDDProject 2
net.sf.bddbddb.order.CandidateSampler 1
net.sf.bddbddb.order.TrialPrediction 5
net.sf.bddbddb.order.TrialInfo 2
net.sf.bddbddb.ir.Operation 1
net.sf.bddbddb.ir.BDDOperationInterpreter 1
net.sf.bddbddb.NumberingRule 1
net.sf.bddbddb.BDDRelation$1 1
net.sf.bddbddb.SolverGUI$3 1
net.sf.bddbddb.SolverGUI$5 1
net.sf.bddbddb.SolverGUI$6 1
net.sf.bddbddb.ir.IR 1
net.sf.bddbddb.ir.Interpreter 2
net.sf.bddbddb.ir.Interpreter$LoopStats 1
net.sf.bddbddb.order.AttribToDomainMap$1$1 1
net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$AttribTrialDataGroup 1
net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$DomainTrialDataGroup 1

net.sf.bddbddb.Relation

Violation Line Priority
HE: net.sf.bddbddb.Relation defines hashCode and uses Object.equals() -1 Low

net.sf.bddbddb.FindBestDomainOrder$6

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$6 implements Comparator but not Serializable -1 Low

net.sf.bddbddb.FindBestDomainOrder

Violation Line Priority
DE: net.sf.bddbddb.FindBestDomainOrder.dumpClassifierInfo(String,weka.classifiers.Classifier,weka.core.Instances) might ignore java.io.IOException 736 Normal
ST: Write to static field net.sf.bddbddb.FindBestDomainOrder.out from instance method net.sf.bddbddb.FindBestDomainOrder.<init>(Solver) 153 High
ST: Write to static field net.sf.bddbddb.FindBestDomainOrder.out from instance method net.sf.bddbddb.FindBestDomainOrder.<init>(FindBestDomainOrder$ConstraintInfoCollection) 165 Normal
ST: Write to static field net.sf.bddbddb.FindBestDomainOrder.out_t from instance method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 881 Normal
ST: Write to static field net.sf.bddbddb.FindBestDomainOrder.out_t from instance method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 886 Normal
DLS: Dead store to oc in method net.sf.bddbddb.FindBestDomainOrder.toXMLElement() 567 Low
DLS: Dead store to ir in method net.sf.bddbddb.FindBestDomainOrder.dumpClassifierInfo(String,weka.classifiers.Classifier,weka.core.Instances) 718 Low
DLS: Dead store to aConstCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 819 Low
DLS: Dead store to vConstCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 815 Low
DLS: Dead store to dLeaveCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 835 Low
DLS: Dead store to aLTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 832 Normal
DLS: Dead store to vLeaveCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 827 Low
DLS: Dead store to dLTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 836 Normal
DLS: Dead store to dCTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 824 Normal
DLS: Dead store to aCTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 820 Normal
DLS: Dead store to aLeaveCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 831 Low
DLS: Dead store to vLTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 828 Normal
DLS: Dead store to dConstCV in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 823 Low
DLS: Dead store to vCTime in method net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 816 Normal
DLS: Dead store to repository in method net.sf.bddbddb.FindBestDomainOrder.myPrintBestBDDOrders(StringBuffer,java.util.Collection,java.util.List) 1624 Low
DLS: Dead store to visitedElems in method net.sf.bddbddb.FindBestDomainOrder.myPrintBestBDDOrders(StringBuffer,java.util.Collection,java.util.List) 1617 High
DLS: Dead store to ocs in method net.sf.bddbddb.FindBestDomainOrder.printBestBDDOrders() 1840 High
REC: Method net.sf.bddbddb.FindBestDomainOrder.loadTrials(String) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught 193 Low
FE: Test for floating point equality in net.sf.bddbddb.FindBestDomainOrder.format(double). 438 Low
FE: Test for floating point equality in net.sf.bddbddb.FindBestDomainOrder.format(double,int). 448 Low
FE: Test for floating point equality in net.sf.bddbddb.FindBestDomainOrder.computeWeight(int,net.sf.bddbddb.order.TrialInstances). 643 Low
FE: Test for floating point equality in net.sf.bddbddb.FindBestDomainOrder.genGuess(net.sf.bddbddb.order.Order,double,double,double,double,net.sf.bddbddb.order.Discretization,net.sf.bddbddb.order.Discretization,net.sf.bddbddb.order.Discretization). 1312 Low
BC: Unchecked/unconfirmed cast from weka.core.Instance to class net.sf.bddbddb.order.TrialInstance in net.sf.bddbddb.FindBestDomainOrder.computeWeight(int,net.sf.bddbddb.order.TrialInstances) 636 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.InferenceRule to class net.sf.bddbddb.BDDInferenceRule in net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(net.sf.bddbddb.order.EpisodeCollection,java.util.List,InferenceRule,int,net.sf.bddbddb.order.Order,boolean) 900 Low
BC: Unchecked/unconfirmed cast from weka.core.Attribute to class net.sf.bddbddb.order.WekaInterface$OrderAttribute in net.sf.bddbddb.FindBestDomainOrder.constrainOrder(net.sf.bddbddb.order.OrderConstraintSet,double[],weka.core.Instances,jwutil.collections.MultiMap) 1454 Low
BC: Unchecked/unconfirmed cast from weka.core.Attribute to class net.sf.bddbddb.order.WekaInterface$OrderAttribute in net.sf.bddbddb.FindBestDomainOrder.printGoodOrder(java.util.Collection,weka.core.Instances,net.sf.bddbddb.order.MyId3) 1497 Low
MS: net.sf.bddbddb.FindBestDomainOrder.TRACE isn't final and can't be protected from malicious code 109 Normal
MS: net.sf.bddbddb.FindBestDomainOrder.out isn't final and can't be protected from malicious code 29 Normal
MS: net.sf.bddbddb.FindBestDomainOrder.out_t should be package protected -1 Normal
MS: net.sf.bddbddb.FindBestDomainOrder.PER_RULE_CONSTRAINTS isn't final but should be 133 High
MS: net.sf.bddbddb.FindBestDomainOrder.DUMP_CLASSIFIER_INFO isn't final but should be 135 High
MS: net.sf.bddbddb.FindBestDomainOrder.NUM_CV_FOLDS isn't final but should be 666 High
MS: net.sf.bddbddb.FindBestDomainOrder.DISCRETIZE1 isn't final but should be 678 High
MS: net.sf.bddbddb.FindBestDomainOrder.DISCRETIZE2 isn't final but should be 679 High
MS: net.sf.bddbddb.FindBestDomainOrder.DISCRETIZE3 isn't final but should be 680 High
MS: net.sf.bddbddb.FindBestDomainOrder.CLASSIFIER1 isn't final but should be 681 High
MS: net.sf.bddbddb.FindBestDomainOrder.CLASSIFIER2 isn't final but should be 682 High
MS: net.sf.bddbddb.FindBestDomainOrder.CLASSIFIER3 isn't final but should be 683 High
MS: net.sf.bddbddb.FindBestDomainOrder.DOMAIN_THRESHOLD isn't final but should be 698 High
MS: net.sf.bddbddb.FindBestDomainOrder.NO_CLASS isn't final but should be 699 High
MS: net.sf.bddbddb.FindBestDomainOrder.NO_CLASS_SCORE isn't final but should be 700 High
MS: net.sf.bddbddb.FindBestDomainOrder.INITIAL_VAR_SET isn't final but should be 763 High
MS: net.sf.bddbddb.FindBestDomainOrder.INITIAL_ATTRIB_SET isn't final but should be 764 High
MS: net.sf.bddbddb.FindBestDomainOrder.INITIAL_DOM_SET isn't final but should be 765 High
MS: net.sf.bddbddb.FindBestDomainOrder.CANDIDATE_SET_SIZE isn't final but should be 1197 High
MS: net.sf.bddbddb.FindBestDomainOrder.SAMPLE_SIZE isn't final but should be 1198 High
MS: net.sf.bddbddb.FindBestDomainOrder.UNCERTAINTY_THRESHOLD isn't final but should be 1199 High
MS: net.sf.bddbddb.FindBestDomainOrder.WEIGHT_UNCERTAINTY_SAMPLE isn't final but should be 1200 High
MS: net.sf.bddbddb.FindBestDomainOrder.VCENT isn't final but should be 1201 High
MS: net.sf.bddbddb.FindBestDomainOrder.ACENT isn't final but should be 1201 High
MS: net.sf.bddbddb.FindBestDomainOrder.DCENT isn't final but should be 1201 High

net.sf.bddbddb.InferenceRule

Violation Line Priority
HE: net.sf.bddbddb.InferenceRule defines hashCode and uses Object.equals() -1 Low

net.sf.bddbddb.BDDInferenceRule$VarOrderComparator

Violation Line Priority
Se: net.sf.bddbddb.BDDInferenceRule$VarOrderComparator implements Comparator but not Serializable -1 Normal

net.sf.bddbddb.LSRelation$TupleComparator

Violation Line Priority
Se: net.sf.bddbddb.LSRelation$TupleComparator implements Comparator but not Serializable -1 Normal

net.sf.bddbddb.dataflow.PartialRedundancy$ExpressionWrapper

Violation Line Priority
NP: Possible null pointer dereference in net.sf.bddbddb.dataflow.PartialRedundancy$ExpressionWrapper.equals(Object) 1229 Normal

net.sf.bddbddb.order.OrderConstraint$1

Violation Line Priority
Se: net.sf.bddbddb.order.OrderConstraint$1 implements Comparator but not Serializable -1 Low

net.sf.bddbddb.order.OrderConstraintSet

Violation Line Priority
ICAST: int division result cast to double in net.sf.bddbddb.order.OrderConstraintSet.approxNumOrders(int) 405 Normal

net.sf.bddbddb.order.CandidateSampler

Violation Line Priority
MS: net.sf.bddbddb.order.CandidateSampler.CPE isn't final but should be 32 High

net.sf.bddbddb.ir.Operation

Violation Line Priority
MS: net.sf.bddbddb.ir.Operation.TRACE_VERBOSE isn't final but should be 34 High

net.sf.bddbddb.ir.BDDOperationInterpreter

Violation Line Priority
MS: net.sf.bddbddb.ir.BDDOperationInterpreter.CHECK isn't final but should be 66 High

net.sf.bddbddb.NumberingRule

Violation Line Priority
UwF: Field not initialized in constructor: net.sf.bddbddb.NumberingRule.rg -1 Low

net.sf.bddbddb.ir.IR

Violation Line Priority
UrF: Unread field: net.sf.bddbddb.ir.IR.PRE -1 Normal

net.sf.bddbddb.ir.Interpreter$LoopStats

Violation Line Priority
UuF: Unused field: net.sf.bddbddb.ir.Interpreter$LoopStats.inputRelations -1 Normal

net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$AttribTrialDataGroup

Violation Line Priority
UrF: Unread field: net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$AttribTrialDataGroup.attribs -1 Normal

net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$DomainTrialDataGroup

Violation Line Priority
UrF: Unread field: net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup$DomainTrialDataGroup.domains -1 Normal