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