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$1

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.FindBestDomainOrder$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.FindBestDomainOrder$2

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$2 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.FindBestDomainOrder$2 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.FindBestDomainOrder$3

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$3 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.FindBestDomainOrder$3 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.FindBestDomainOrder$4

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$4 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.FindBestDomainOrder$4 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.FindBestDomainOrder$5

Violation Line Priority
Se: net.sf.bddbddb.FindBestDomainOrder$5 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.FindBestDomainOrder$5 could be refactored into a named _static_ inner class -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.Solver$RuleSorter

Violation Line Priority
Se: net.sf.bddbddb.Solver$RuleSorter implements Comparator but not Serializable -1 Normal
SIC: Should net.sf.bddbddb.Solver$RuleSorter be a _static_ inner class? -1 Normal

net.sf.bddbddb.Solver

Violation Line Priority
DP: net.sf.bddbddb.Solver.addBDDLibraryToClasspath(String[]) creates a jwutil.classloader.HijackingClassLoader classloader, which should be performed within a doPrivileged block 1127 Normal
Dm: net.sf.bddbddb.Solver.addBDDLibraryToClasspath(String[]) invokes System.exit(...), which shuts down the entire virtual machine 1122 Low
RCN: Redundant nullcheck of value known to be non-null net.sf.bddbddb.Solver.comeFromQuery(RuleTerm,java.util.List,boolean) 698 Normal
UuF: Unused field: net.sf.bddbddb.Solver.includePaths -1 Normal

net.sf.bddbddb.BDDSolver

Violation Line Priority
DLS: Dead store to time in method net.sf.bddbddb.BDDSolver.solve() 394 Low
BC: Questionable cast from Collection to abstract class java.util.List in net.sf.bddbddb.BDDSolver.getBDDDomain(Domain,int) 497 Normal
MS: net.sf.bddbddb.BDDSolver.bddDomainInfoFileName isn't final but should be 43 High
UwF: Field not initialized in constructor: net.sf.bddbddb.BDDSolver.bddPairings -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.BDDInferenceRule

Violation Line Priority
OS: net.sf.bddbddb.BDDInferenceRule.evalRelations(net.sf.javabdd.BDDFactory,net.sf.javabdd.BDD[],net.sf.javabdd.BDDVarSet[],long) may fail to close stream on exception 465 Low
OS: net.sf.bddbddb.BDDInferenceRule.evalRelationsIncremental(net.sf.javabdd.BDDFactory,net.sf.javabdd.BDD[],net.sf.javabdd.BDD[],net.sf.javabdd.BDDVarSet[]) may fail to close stream on exception 866 Low
DLS: Dead store to thisTime in method net.sf.bddbddb.BDDInferenceRule.update() 374 Normal
DLS: Dead store to rt_new in method net.sf.bddbddb.BDDInferenceRule.evalRelationsIncremental(net.sf.javabdd.BDDFactory,net.sf.javabdd.BDD[],net.sf.javabdd.BDD[],net.sf.javabdd.BDDVarSet[]) 836 Low
MF: Class net.sf.bddbddb.BDDInferenceRule defines field that obscures superclass field net.sf.bddbddb.InferenceRule.solver -1 Low
MS: net.sf.bddbddb.BDDInferenceRule.MAX_FBO_TRIALS isn't final but should be 1056 High

net.sf.bddbddb.Stratify

Violation Line Priority
DLS: Dead store to edge in method net.sf.bddbddb.Stratify.stratify(java.util.List,java.util.Set,java.util.Set) 361 Low
BC: Questionable cast from Collection to abstract class java.util.Set in net.sf.bddbddb.Stratify.computeLoopNesting(jwutil.graphs.SCComponent,java.util.Set) 557 Normal

net.sf.bddbddb.IterationFlowGraph

Violation Line Priority
DLS: Dead store to $l6 in method net.sf.bddbddb.IterationFlowGraph.constructListDependencies(IterationList) 91 Low

net.sf.bddbddb.BDDRelation

Violation Line Priority
DE: net.sf.bddbddb.BDDRelation.save(BDDSolver,String,net.sf.javabdd.BDD) might ignore java.io.IOException 659 Normal
NP: Possible null pointer dereference in net.sf.bddbddb.BDDRelation.load(String) due to return value of called method 350 Normal
DLS: Dead store to i in method net.sf.bddbddb.BDDRelation.checkInfoLine(String,String,boolean,boolean) 509 Normal
DLS: Dead store to allDomains in method net.sf.bddbddb.BDDRelation.saveTuples(String,net.sf.javabdd.BDD) 721 Normal
DLS: Dead store to bdd in method net.sf.bddbddb.BDDRelation.activeDomains(net.sf.javabdd.BDD) 776 Normal
MS: net.sf.bddbddb.BDDRelation.BDD_INPUT_SUFFIX isn't final but should be 36 High
MS: net.sf.bddbddb.BDDRelation.BDD_OUTPUT_SUFFIX isn't final but should be 37 High
MS: net.sf.bddbddb.BDDRelation.TUPLES_INPUT_SUFFIX isn't final but should be 38 High
MS: net.sf.bddbddb.BDDRelation.TUPLES_OUTPUT_SUFFIX isn't final but should be 39 High
MS: net.sf.bddbddb.BDDRelation.SMART_LOAD isn't final but should be 326 High
UwF: Field not initialized in constructor: net.sf.bddbddb.BDDRelation.domainSet -1 Low

net.sf.bddbddb.CodeFragment

Violation Line Priority
DMI: Hard coded reference to an absolute pathname in net.sf.bddbddb.CodeFragment.findJavac() 134 Normal
DMI: Hard coded reference to an absolute pathname in net.sf.bddbddb.CodeFragment.findJavac() 136 Normal
OS: net.sf.bddbddb.CodeFragment.genMethod(Object) may fail to close stream on exception 172 Low
DLS: Dead store to c in method net.sf.bddbddb.CodeFragment.findJavac() 96 Normal
BC: Unchecked/unconfirmed cast from java.lang.Throwable to class java.lang.RuntimeException in net.sf.bddbddb.CodeFragment.invoke(InferenceRule,net.sf.javabdd.BDD) 251 Low
BC: Unchecked/unconfirmed cast from java.lang.Throwable to class java.lang.RuntimeException in net.sf.bddbddb.CodeFragment.invoke(Relation,net.sf.javabdd.BDD) 274 Low

net.sf.bddbddb.DatalogParser

Violation Line Priority
DE: net.sf.bddbddb.DatalogParser.parseDomain(int,String) might ignore java.io.IOException 414 Normal
OS: net.sf.bddbddb.DatalogParser.parseDirective(Solver$MyReader,int,String) may fail to close stream on exception 356 Low
RV: net.sf.bddbddb.DatalogParser.parseQuery(int,String) checks to see if result of String.indexOf is positive 1027 Low
RV: net.sf.bddbddb.DatalogParser.parseDatalogLine(String,Solver$MyReader) ignores return value of java.math.BigInteger.<init>(String) 154 Normal

net.sf.bddbddb.Dot$LabelSource

Violation Line Priority
SBSC: Method net.sf.bddbddb.Dot$LabelSource.getLabel(RelationGraph$GraphNode,RelationGraph$GraphNode) concatenates strings using + in a loop 206 Normal

net.sf.bddbddb.Dot

Violation Line Priority
SBSC: Method net.sf.bddbddb.Dot.visitNode(RelationGraph$GraphNode) concatenates strings using + in a loop 377 Normal
WMI: Method net.sf.bddbddb.Dot.visitNode(RelationGraph$GraphNode) makes inefficient use of keySet iterator instead of entrySet iterator 373 Normal
UwF: Field not initialized in constructor: net.sf.bddbddb.Dot.solver -1 Low

net.sf.bddbddb.Interactive

Violation Line Priority
DLS: Dead store to solveTime in method net.sf.bddbddb.Interactive.solve() 430 Low
MS: net.sf.bddbddb.Interactive.in isn't final but should be 37 High
MS: net.sf.bddbddb.Interactive.out isn't final but should be 38 High
MS: net.sf.bddbddb.Interactive.err isn't final but should be 39 High
MS: net.sf.bddbddb.Interactive.IGNORE_OUTPUT isn't final but should be 41 High
UwF: Field not initialized in constructor: net.sf.bddbddb.Interactive.log -1 Low

net.sf.bddbddb.LSRelation$TupleComparator

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

net.sf.bddbddb.LSRelation$4

Violation Line Priority
EC: net.sf.bddbddb.LSRelation$4.gotoNext() uses equals to compare an array and nonarray 397 High

net.sf.bddbddb.LSRelation

Violation Line Priority
UCF: Useless control flow in net.sf.bddbddb.LSRelation.updateNegated() 198 Normal
DLS: Dead store to k in method net.sf.bddbddb.LSRelation.getTuple(java.math.BigInteger[],int) 308 Normal
UwF: Field not initialized in constructor: net.sf.bddbddb.LSRelation.bits -1 Low
UwF: Field not initialized in constructor: net.sf.bddbddb.LSRelation.intSet -1 Low
UwF: Field not initialized in constructor: net.sf.bddbddb.LSRelation.objSet -1 Low

net.sf.bddbddb.SolverGUI$2

Violation Line Priority
Dm: net.sf.bddbddb.SolverGUI$2.actionPerformed(java.awt.event.ActionEvent) invokes System.exit(...), which shuts down the entire virtual machine 133 Normal
SIC: The class net.sf.bddbddb.SolverGUI$2 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.SolverGUI

Violation Line Priority
Se: Class net.sf.bddbddb.SolverGUI defines non-transient non-serializable instance field net.sf.bddbddb.SolverGUI.jFileFilter -1 Normal
Se: net.sf.bddbddb.SolverGUI$3 stored into non-transient field net.sf.bddbddb.SolverGUI.jFileFilter 147 Normal

net.sf.bddbddb.TryDomainOrders

Violation Line Priority
DE: net.sf.bddbddb.TryDomainOrders.parseRelation(String) might ignore java.io.IOException 169 Normal
NP: Possible null pointer dereference in net.sf.bddbddb.TryDomainOrders.parseRelation(String,java.io.BufferedReader) due to return value of called method 46 Normal
NP: Possible null pointer dereference in net.sf.bddbddb.TryDomainOrders.parseRelation(String,java.io.BufferedReader) due to return value of called method 93 Normal
UCF: Useless control flow in net.sf.bddbddb.TryDomainOrders.handleCommand(String[]) 258 Normal
DLS: Dead store to nNodes in method net.sf.bddbddb.TryDomainOrders.parseRelation(String,java.io.BufferedReader) 109 Low
DLS: Dead store to suffixName in method net.sf.bddbddb.TryDomainOrders.parseRelation(String) 162 Normal

net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact

Violation Line Priority
EI: net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact.getConstraintsMap() may expose internal representation by returning net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact.constraintsMap 109 Normal
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact in net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact.join(Problem$Fact) 128 Low

net.sf.bddbddb.dataflow.PartialOrder$PartialOrderTF

Violation Line Priority
DLS: Dead store to srcAttrs in method net.sf.bddbddb.dataflow.PartialOrder$PartialOrderTF.visit(net.sf.bddbddb.ir.highlevel.Rename) 286 Normal
DLS: Dead store to $l11 in method net.sf.bddbddb.dataflow.PartialOrder$PartialOrderTF.visit(net.sf.bddbddb.ir.highlevel.Rename) 301 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialOrder$PartialOrderFact in net.sf.bddbddb.dataflow.PartialOrder$PartialOrderTF.apply(Problem$Fact) 202 Low

net.sf.bddbddb.dataflow.PartialOrder$Constraints

Violation Line Priority
DLS: Dead store to nodes in method net.sf.bddbddb.dataflow.PartialOrder$Constraints.buildGraphAndReps() 688 High
DLS: Dead store to uf in method net.sf.bddbddb.dataflow.PartialOrder$Constraints.satisfy() 821 Low
UuF: Unused field: net.sf.bddbddb.dataflow.PartialOrder$Constraints.graph -1 Normal

net.sf.bddbddb.dataflow.ConstantProp$ConstantPropTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFacts in net.sf.bddbddb.dataflow.ConstantProp$ConstantPropTF.apply(Problem$Fact) 137 Low

net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFact in net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFact.join(Problem$Fact) 401 Low
UwF: Field not initialized in constructor: net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFact.backPointers -1 Low

net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFacts

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFacts in net.sf.bddbddb.dataflow.ConstantProp$ConstantPropFacts.join(Problem$Fact) 482 Low

net.sf.bddbddb.dataflow.RelationProblem$RelationFacts

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.RelationProblem$RelationFacts in net.sf.bddbddb.dataflow.RelationProblem$RelationFacts.join(Problem$Fact) 44 Low

net.sf.bddbddb.dataflow.DefUse$DefUseTransferFunction

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.UnionBitVectorFact to class net.sf.bddbddb.dataflow.DefUse$DefUseFact in net.sf.bddbddb.dataflow.DefUse$DefUseTransferFunction.apply(Problem$Fact) 276 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.DefUse$DefUseFact in net.sf.bddbddb.dataflow.DefUse$DefUseTransferFunction.apply(Problem$Fact) 268 Low

net.sf.bddbddb.dataflow.UnionBitVectorFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.BitVectorFact in net.sf.bddbddb.dataflow.UnionBitVectorFact.join(Problem$Fact) 32 Low

net.sf.bddbddb.dataflow.CopyProp$CopyPropFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.CopyProp$CopyPropFact in net.sf.bddbddb.dataflow.CopyProp$CopyPropFact.join(Problem$Fact) 99 Low

net.sf.bddbddb.dataflow.CopyProp$CopyPropTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.CopyProp$CopyPropFact in net.sf.bddbddb.dataflow.CopyProp$CopyPropTF.apply(Problem$Fact) 199 Low

net.sf.bddbddb.dataflow.CopyProp$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.CopyProp$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.CopyProp$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.CopyProp$Transformer

Violation Line Priority
DLS: Dead store to changed in method net.sf.bddbddb.dataflow.CopyProp$Transformer.visit(net.sf.bddbddb.ir.highlevel.Join) 316 Normal

net.sf.bddbddb.dataflow.Liveness$LivenessTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.UnionBitVectorFact to class net.sf.bddbddb.dataflow.Liveness$LivenessFact in net.sf.bddbddb.dataflow.Liveness$LivenessTF.apply(Problem$Fact) 165 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.Liveness$LivenessFact in net.sf.bddbddb.dataflow.Liveness$LivenessTF.apply(Problem$Fact) 153 Low

net.sf.bddbddb.dataflow.PartialRedundancy$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedFact.join(Problem$Fact) 361 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$AnticipatedTF.apply(Problem$Fact) 384 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Anticipated$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableFact in net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableFact.join(Problem$Fact) 468 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableFact in net.sf.bddbddb.dataflow.PartialRedundancy$Available$AvailableTF.apply(Problem$Fact) 489 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Available$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Available$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Available$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$EarliestTF

Violation Line Priority
DLS: Dead store to lastFact in method net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$EarliestTF.apply(Problem$Fact) 554 Normal
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$EarliestFact in net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$EarliestTF.apply(Problem$Fact) 554 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Earliest$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedTF.apply(Problem$Fact) 646 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$PostponedFact.join(Problem$Fact) 659 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Postponed$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestFact in net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestTF.apply(Problem$Fact) 724 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestFact in net.sf.bddbddb.dataflow.PartialRedundancy$Latest$LatestFact.join(Problem$Fact) 785 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Latest$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Latest$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Latest$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedFact

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedFact.join(Problem$Fact) 861 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedTF

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.dataflow.Problem$Fact to class net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedFact in net.sf.bddbddb.dataflow.PartialRedundancy$Used$UsedTF.apply(Problem$Fact) 888 Low

net.sf.bddbddb.dataflow.PartialRedundancy$Used$1

Violation Line Priority
Se: net.sf.bddbddb.dataflow.PartialRedundancy$Used$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.dataflow.PartialRedundancy$Used$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.dataflow.PartialRedundancy$PreFact

Violation Line Priority
NP: Possible null pointer dereference in net.sf.bddbddb.dataflow.PartialRedundancy$PreFact.equals(Object) 1068 Normal
UwF: Unwritten field: net.sf.bddbddb.dataflow.PartialRedundancy$PreFact.op -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.dataflow.PartialRedundancy$Expression

Violation Line Priority
DLS: Dead store to thisWrap in method net.sf.bddbddb.dataflow.PartialRedundancy$Expression.uses(PartialRedundancy$Expression,java.util.Collection) 1379 High

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.WekaInterface$OrderInstance

Violation Line Priority
FE: Test for floating point equality in net.sf.bddbddb.order.WekaInterface$OrderInstance.construct(Order,weka.core.Instances,double). 278 Low
BC: Unchecked/unconfirmed cast from weka.core.Attribute to class net.sf.bddbddb.order.WekaInterface$OrderAttribute in net.sf.bddbddb.order.WekaInterface$OrderInstance.construct(Order,weka.core.Instances,double) 275 Low

net.sf.bddbddb.order.WekaInterface

Violation Line Priority
FE: Test for floating point equality in net.sf.bddbddb.order.WekaInterface.cvError(int,weka.core.Instances,String). 218 Low
MS: net.sf.bddbddb.order.WekaInterface.INTERLEAVE isn't final but should be 46 High

net.sf.bddbddb.order.CandidateSampler$LocalVarianceSampler

Violation Line Priority
BC: Unchecked/unconfirmed cast from weka.core.Instances to class net.sf.bddbddb.order.TrialInstances in net.sf.bddbddb.order.CandidateSampler$LocalVarianceSampler.localVariance(java.util.Collection,TrialInstances,TrialInstances,TrialInstances,net.sf.bddbddb.InferenceRule) 162 Low

net.sf.bddbddb.order.EpisodeCollection

Violation Line Priority
EI: net.sf.bddbddb.order.EpisodeCollection.getSorted() may expose internal representation by returning net.sf.bddbddb.order.EpisodeCollection.sorted 213 Normal
MS: net.sf.bddbddb.order.EpisodeCollection.RULE_CONST isn't final but should be 42 High
MS: net.sf.bddbddb.order.EpisodeCollection.SPACER isn't final but should be 43 High
MS: net.sf.bddbddb.order.EpisodeCollection.UPDATE_CONST isn't final but should be 44 High
MS: net.sf.bddbddb.order.EpisodeCollection.OP_CONST isn't final but should be 45 High

net.sf.bddbddb.order.TrialDataRepository$1

Violation Line Priority
Se: net.sf.bddbddb.order.TrialDataRepository$1 implements Comparator but not Serializable -1 Low
SIC: The class net.sf.bddbddb.order.TrialDataRepository$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup

Violation Line Priority
FE: Test for floating point equality in net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.discretize(double). 302 Low
FE: Test for floating point equality in net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.getDiscretization(). 312 Low
FE: Test for floating point equality in net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.threshold(double). 319 Low
MS: net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.CLASSIFIER isn't final but should be 250 High
UwF: Unwritten field: net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.infoThreshold -1 Low
UrF: Unread field: net.sf.bddbddb.order.TrialDataRepository$TrialDataGroup.infoSinceClassRebuild -1 Normal

net.sf.bddbddb.order.TrialDataRepository

Violation Line Priority
DLS: Dead store to domainSet in method net.sf.bddbddb.order.TrialDataRepository.getDomainDataGroup(net.sf.bddbddb.InferenceRule,java.util.List) 165 High

net.sf.bddbddb.order.Order

Violation Line Priority
BC: Questionable cast from Collection to abstract class java.util.List in net.sf.bddbddb.order.Order.addAllNew(java.util.Collection,java.util.Collection) 663 Normal
MS: net.sf.bddbddb.order.Order.PRECEDENCE_WEIGHT isn't final but should be 256 High
MS: net.sf.bddbddb.order.Order.INTERLEAVE_WEIGHT isn't final but should be 257 High
MS: net.sf.bddbddb.order.Order.COMPLEXITY_SINGLE should be both final and package protected 285 Normal
MS: net.sf.bddbddb.order.Order.COMPLEXITY_MULTI should be both final and package protected 287 Normal

net.sf.bddbddb.order.TrialInstances

Violation Line Priority
DP: net.sf.bddbddb.order.TrialInstances.setIndex(weka.core.Attribute,int) invokes java.lang.reflect.Field.setAccessible(boolean), which should be invoked from within a doPrivileged block 139 Low
Dm: net.sf.bddbddb.order.TrialInstances.discretize(weka.filters.unsupervised.attribute.Discretize,int,int) invokes System.exit(...), which shuts down the entire virtual machine 129 Normal

net.sf.bddbddb.order.Discretization

Violation Line Priority
EI2: net.sf.bddbddb.order.Discretization.<init>(double[],TrialInstances[]) may expose internal representation by storing an externally mutable object into net.sf.bddbddb.order.Discretization.cutPoints 15 Normal
EI2: net.sf.bddbddb.order.Discretization.<init>(double[],TrialInstances[]) may expose internal representation by storing an externally mutable object into net.sf.bddbddb.order.Discretization.buckets 16 Normal

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.MyId3

Violation Line Priority
EI: net.sf.bddbddb.order.MyId3.distributionForInstance(weka.core.Instance) may expose internal representation by returning net.sf.bddbddb.order.MyId3.m_Distribution 233 Normal

net.sf.bddbddb.order.ConstraintInfo

Violation Line Priority
DLS: Dead store to constraint in method net.sf.bddbddb.order.ConstraintInfo.toXMLElement(net.sf.bddbddb.Solver) 227 Normal

net.sf.bddbddb.order.BaggedId3

Violation Line Priority
EI2: net.sf.bddbddb.order.BaggedId3.setWeights(double[]) may expose internal representation by storing an externally mutable object into net.sf.bddbddb.order.BaggedId3.weights 44 Normal

net.sf.bddbddb.order.TrialInstance

Violation Line Priority
Se: Class net.sf.bddbddb.order.TrialInstance defines non-transient non-serializable instance field net.sf.bddbddb.order.TrialInstance.ti -1 Normal
NP: Possible null pointer dereference in net.sf.bddbddb.order.TrialInstance.equals(Object) 104 Normal
FE: Test for floating point equality in net.sf.bddbddb.order.TrialInstance.construct(TrialInfo,Order,double,TrialInstances,double). 43 Low
BC: Unchecked/unconfirmed cast from weka.core.Attribute to class net.sf.bddbddb.order.WekaInterface$OrderAttribute in net.sf.bddbddb.order.TrialInstance.construct(TrialInfo,Order,double,TrialInstances,double) 41 Low

net.sf.bddbddb.ir.DomainAssignment

Violation Line Priority
DLS: Dead store to r1 in method net.sf.bddbddb.ir.DomainAssignment.visit(net.sf.bddbddb.ir.highlevel.Rename) 411 Normal
DLS: Dead store to r0 in method net.sf.bddbddb.ir.DomainAssignment.visit(net.sf.bddbddb.ir.highlevel.Load) 533 Normal
DLS: Dead store to r1 in method net.sf.bddbddb.ir.DomainAssignment.visit(net.sf.bddbddb.ir.highlevel.Save) 557 Normal
UrF: Unread field: net.sf.bddbddb.ir.DomainAssignment.SIZE -1 Normal

net.sf.bddbddb.ir.PartialOrderDomainAssignment

Violation Line Priority
ST: Write to static field net.sf.bddbddb.ir.PartialOrderDomainAssignment.TRACE from instance method net.sf.bddbddb.ir.PartialOrderDomainAssignment.setVariableOrdering() 148 High
UwF: Field not initialized in constructor: net.sf.bddbddb.ir.PartialOrderDomainAssignment.beforeConstraints -1 Low
UwF: Field not initialized in constructor: net.sf.bddbddb.ir.PartialOrderDomainAssignment.ileavedConstraints -1 Low

net.sf.bddbddb.ir.UFDomainAssignment

Violation Line Priority
DLS: Dead store to m in method net.sf.bddbddb.ir.UFDomainAssignment.allocNewRelation(net.sf.bddbddb.Relation) 274 High
DLS: Dead store to sb in method net.sf.bddbddb.ir.UFDomainAssignment.saveDomainAssignment(java.io.BufferedWriter) 291 Normal

net.sf.bddbddb.ir.lowlevel.ApplyEx

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.ApplyEx.replaceSrc(net.sf.bddbddb.Relation,net.sf.bddbddb.Relation) 157 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.ApplyEx.setRelationDest(net.sf.bddbddb.Relation) 168 Low

net.sf.bddbddb.ir.lowlevel.Replace

Violation Line Priority
DLS: Dead store to r1_b in method net.sf.bddbddb.ir.lowlevel.Replace.replaceSrc(net.sf.bddbddb.Relation,net.sf.bddbddb.Relation) 107 Low
DLS: Dead store to r_new_b in method net.sf.bddbddb.ir.lowlevel.Replace.replaceSrc(net.sf.bddbddb.Relation,net.sf.bddbddb.Relation) 108 Normal
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.Replace.setRelationDest(net.sf.bddbddb.Relation) 80 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.Replace.replaceSrc(net.sf.bddbddb.Relation,net.sf.bddbddb.Relation) 108 Low

net.sf.bddbddb.ir.lowlevel.BDDProject

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.BDDProject.replaceSrc(net.sf.bddbddb.Relation,net.sf.bddbddb.Relation) 108 Low
BC: Unchecked/unconfirmed cast from net.sf.bddbddb.Relation to class net.sf.bddbddb.BDDRelation in net.sf.bddbddb.ir.lowlevel.BDDProject.setRelationDest(net.sf.bddbddb.Relation) 117 Low

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.order.TrialPrediction

Violation Line Priority
MS: net.sf.bddbddb.order.TrialPrediction.VARIABLE isn't final but should be 18 High
MS: net.sf.bddbddb.order.TrialPrediction.ATTRIBUTE isn't final but should be 20 High
MS: net.sf.bddbddb.order.TrialPrediction.DOMAIN isn't final but should be 22 High
MS: net.sf.bddbddb.order.TrialPrediction.LOW isn't final but should be 24 High
MS: net.sf.bddbddb.order.TrialPrediction.HIGH isn't final but should be 26 High

net.sf.bddbddb.order.TrialInfo

Violation Line Priority
MS: net.sf.bddbddb.order.TrialInfo.PREDICTION_VAR1 isn't final but should be 105 High
MS: net.sf.bddbddb.order.TrialInfo.PREDICTION_VAR2 isn't final but should be 107 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.BDDRelation$1

Violation Line Priority
SIC: The class net.sf.bddbddb.BDDRelation$1 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.SolverGUI$3

Violation Line Priority
SIC: The class net.sf.bddbddb.SolverGUI$3 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.SolverGUI$5

Violation Line Priority
SIC: The class net.sf.bddbddb.SolverGUI$5 could be refactored into a named _static_ inner class -1 Low

net.sf.bddbddb.SolverGUI$6

Violation Line Priority
SIC: The class net.sf.bddbddb.SolverGUI$6 could be refactored into a named _static_ inner class -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

Violation Line Priority
UuF: Unused field: net.sf.bddbddb.ir.Interpreter.loopStats -1 Normal
UuF: Unused field: net.sf.bddbddb.ir.Interpreter.relationStats -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.AttribToDomainMap$1$1

Violation Line Priority
SIC: The class net.sf.bddbddb.order.AttribToDomainMap$1$1 could be refactored into a named _static_ inner class -1 Low

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