FindBugs Results

The following document contains the results of FindBugs.

Summary

Files Errors
54 302

Files

Files Violations
RubiksCube 3
net.sf.javabdd.BDDFactory 4
net.sf.javabdd.BDD 2
net.sf.javabdd.BDDVarSet$DefaultImpl 5
net.sf.javabdd.BDDVarSet 1
net.sf.javabdd.BDDDomain 1
net.sf.javabdd.BDDFactoryIntImpl$IntBDD 1
net.sf.javabdd.BDDFactoryIntImpl$IntZDDVarSetWithFinalizer 1
net.sf.javabdd.BuDDyFactory 6
net.sf.javabdd.CALFactory$CALBDD 12
net.sf.javabdd.CALFactory$CALBDDPairing 2
net.sf.javabdd.CALFactory 1
net.sf.javabdd.CUDDFactory$CUDDBDD 12
net.sf.javabdd.CUDDFactory$CUDDBDDPairing 2
net.sf.javabdd.CUDDFactory 1
net.sf.javabdd.FindBestOrder 6
net.sf.javabdd.JDDFactory$bddPairing 1
net.sf.javabdd.JFactory$bddPair 2
net.sf.javabdd.JFactory$sizePair 1
net.sf.javabdd.JFactory$2 2
net.sf.javabdd.JFactory$levelData 1
net.sf.javabdd.JFactory$imatrix 1
net.sf.javabdd.JFactory 15
net.sf.javabdd.MicroFactory$bddPair 2
net.sf.javabdd.MicroFactory$sizePair 1
net.sf.javabdd.MicroFactory$2 2
net.sf.javabdd.MicroFactory$levelData 1
net.sf.javabdd.MicroFactory$imatrix 1
net.sf.javabdd.MicroFactory 28
net.sf.javabdd.TestBDDFactory$TestBDD 28
net.sf.javabdd.TestBDDFactory$TestBDDVarSet 5
net.sf.javabdd.TestBDDFactory 7
net.sf.javabdd.TryVarOrder 9
net.sf.javabdd.TypedBDDFactory$1 1
net.sf.javabdd.TypedBDDFactory$TypedBDD 28
net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet 5
net.sf.javabdd.TypedBDDFactory$TypedBDDDomain 2
net.sf.javabdd.TypedBDDFactory 2
net.sf.javabdd.UberMicroFactory$bddPair 2
net.sf.javabdd.UberMicroFactory$freelist 2
net.sf.javabdd.UberMicroFactory$sizePair 1
net.sf.javabdd.UberMicroFactory$2 2
net.sf.javabdd.UberMicroFactory$levelData 1
net.sf.javabdd.UberMicroFactory$imatrix 2
net.sf.javabdd.UberMicroFactory$counters 6
net.sf.javabdd.UberMicroFactory$intstack 3
net.sf.javabdd.UberMicroFactory 33
NQueens 3
net.sf.javabdd.BDD$OutputBuffer 1
net.sf.javabdd.JFactory$BddTree 2
net.sf.javabdd.MicroFactory$BddTree 2
net.sf.javabdd.UberMicroFactory$BddTree 2
net.sf.javabdd.MicroFactory$OpCache 16
net.sf.javabdd.UberMicroFactory$OpCache 19

RubiksCube

Violation Line Priority
DLS: Dead store to squares in method RubiksCube.main(String[]) 40 Normal
DLS: Dead store to px in method RubiksCube.main(String[]) 132 Normal
UwF: Field not initialized in constructor: RubiksCube.bdd -1 Low

net.sf.javabdd.BDDFactory

Violation Line Priority
Dm: net.sf.javabdd.BDDFactory.reorder_handler(boolean,BDDFactory$ReorderStats) invokes dubious Boolean constructor; use Boolean.valueOf(...) instead 1861 Normal
DLS: Dead store to s in method net.sf.javabdd.BDDFactory.<init>() 179 Normal
BC: Unchecked/unconfirmed cast from java.lang.Throwable to class java.lang.Error in net.sf.javabdd.BDDFactory.doCallbacks(java.util.List,Object,Object) 1953 Low
BC: Unchecked/unconfirmed cast from java.lang.Throwable to class java.lang.RuntimeException in net.sf.javabdd.BDDFactory.doCallbacks(java.util.List,Object,Object) 1951 Low

net.sf.javabdd.BDD

Violation Line Priority
Eq: Abstract net.sf.javabdd.BDD defines equals(net.sf.javabdd.BDD) method -1 Low
PZLA: Should net.sf.javabdd.BDD.scanAllVar() return a zero length array rather than null? 709 Low

net.sf.javabdd.BDDVarSet$DefaultImpl

Violation Line Priority
Eq: net.sf.javabdd.BDDVarSet$DefaultImpl defines equals(net.sf.javabdd.BDDVarSet$DefaultImpl) method but not equals(Object) 365 High
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.BDDVarSet$DefaultImpl in net.sf.javabdd.BDDVarSet$DefaultImpl.intersect(BDDVarSet) 233 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.BDDVarSet$DefaultImpl in net.sf.javabdd.BDDVarSet$DefaultImpl.intersectWith(BDDVarSet) 241 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.BDDVarSet$DefaultImpl in net.sf.javabdd.BDDVarSet$DefaultImpl.union(BDDVarSet) 317 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.BDDVarSet$DefaultImpl in net.sf.javabdd.BDDVarSet$DefaultImpl.unionWith(BDDVarSet) 335 Low

net.sf.javabdd.BDDVarSet

Violation Line Priority
Eq: Abstract net.sf.javabdd.BDDVarSet defines equals(net.sf.javabdd.BDDVarSet) method -1 Low

net.sf.javabdd.BDDDomain

Violation Line Priority
EI: net.sf.javabdd.BDDDomain.vars() may expose internal representation by returning net.sf.javabdd.BDDDomain.ivar 298 Normal

net.sf.javabdd.BDDFactoryIntImpl$IntBDD

Violation Line Priority
HE: net.sf.javabdd.BDDFactoryIntImpl$IntBDD defines hashCode but not equals -1 Low

net.sf.javabdd.BDDFactoryIntImpl$IntZDDVarSetWithFinalizer

Violation Line Priority
FI: net.sf.javabdd.BDDFactoryIntImpl$IntZDDVarSetWithFinalizer.finalize() does nothing except call super.finalize(); delete it 434 Normal

net.sf.javabdd.BuDDyFactory

Violation Line Priority
ST: Write to static field net.sf.javabdd.BuDDyFactory.INSTANCE from instance method net.sf.javabdd.BuDDyFactory.done() 241 High
OS: net.sf.javabdd.BuDDyFactory.copyFile(java.io.File,java.io.File) may fail to close stream on exception 79 Low
OS: net.sf.javabdd.BuDDyFactory.copyFile(java.io.File,java.io.File) may fail to close stream on exception 80 Low
UPM: Private method net.sf.javabdd.BuDDyFactory.reorder_callback(int) is never called 482 Low
UPM: Private method net.sf.javabdd.BuDDyFactory.gc_callback(int) is never called 477 Low
UPM: Private method net.sf.javabdd.BuDDyFactory.resize_callback(int,int) is never called 487 Low

net.sf.javabdd.CALFactory$CALBDD

Violation Line Priority
HE: net.sf.javabdd.CALFactory$CALBDD defines hashCode but not equals -1 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.ite(BDD,BDD) 500 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.relprod(BDD,BDDVarSet) 511 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.compose(BDD,int) 522 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.restrict(BDD) 564 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.restrictWith(BDD) 574 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.apply(BDD,BDDFactory$BDDOp) 607 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.applyWith(BDD,BDDFactory$BDDOp) 617 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CALFactory$CALBDDPairing in net.sf.javabdd.CALFactory$CALBDD.veccompose(BDDPairing) 748 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CALFactory$CALBDDPairing in net.sf.javabdd.CALFactory$CALBDD.replace(BDDPairing) 758 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CALFactory$CALBDDPairing in net.sf.javabdd.CALFactory$CALBDD.replaceWith(BDDPairing) 768 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDD.equals(BDD) 780 Low

net.sf.javabdd.CALFactory$CALBDDPairing

Violation Line Priority
UPM: Private method net.sf.javabdd.CALFactory$CALBDDPairing.free0(long) is never called -1 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CALFactory$CALBDD in net.sf.javabdd.CALFactory$CALBDDPairing.set(int,BDD) 839 Low

net.sf.javabdd.CALFactory

Violation Line Priority
ST: Write to static field net.sf.javabdd.CALFactory.INSTANCE from instance method net.sf.javabdd.CALFactory.done() 106 High

net.sf.javabdd.CUDDFactory$CUDDBDD

Violation Line Priority
HE: net.sf.javabdd.CUDDFactory$CUDDBDD defines hashCode but not equals -1 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.ite(BDD,BDD) 529 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.relprod(BDD,BDDVarSet) 540 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.compose(BDD,int) 551 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.restrict(BDD) 597 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.restrictWith(BDD) 607 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.apply(BDD,BDDFactory$BDDOp) 640 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.applyWith(BDD,BDDFactory$BDDOp) 650 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CUDDFactory$CUDDBDDPairing in net.sf.javabdd.CUDDFactory$CUDDBDD.veccompose(BDDPairing) 780 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CUDDFactory$CUDDBDDPairing in net.sf.javabdd.CUDDFactory$CUDDBDD.replace(BDDPairing) 790 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.CUDDFactory$CUDDBDDPairing in net.sf.javabdd.CUDDFactory$CUDDBDD.replaceWith(BDDPairing) 800 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDD.equals(BDD) 812 Low

net.sf.javabdd.CUDDFactory$CUDDBDDPairing

Violation Line Priority
UPM: Private method net.sf.javabdd.CUDDFactory$CUDDBDDPairing.free0(long) is never called -1 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.CUDDFactory$CUDDBDD in net.sf.javabdd.CUDDFactory$CUDDBDDPairing.set(int,BDD) 874 Low

net.sf.javabdd.CUDDFactory

Violation Line Priority
ST: Write to static field net.sf.javabdd.CUDDFactory.INSTANCE from instance method net.sf.javabdd.CUDDFactory.done() 106 High

net.sf.javabdd.FindBestOrder

Violation Line Priority
Dm: net.sf.javabdd.FindBestOrder.tryOrder(boolean,String) forces garbage collection; extremely dubious except in benchmarking code 109 High
ST: Write to static field net.sf.javabdd.FindBestOrder.bdd from instance method net.sf.javabdd.FindBestOrder.tryOrder(boolean,String) 128 Normal
UwF: Field not initialized in constructor: net.sf.javabdd.FindBestOrder.f0 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.FindBestOrder.f1 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.FindBestOrder.f2 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.FindBestOrder.f3 -1 Low

net.sf.javabdd.JDDFactory$bddPairing

Violation Line Priority
Nm: The class name net.sf.javabdd.JDDFactory$bddPairing doesn't start with an upper case letter -1 Low

net.sf.javabdd.JFactory$bddPair

Violation Line Priority
Nm: The class name net.sf.javabdd.JFactory$bddPair doesn't start with an upper case letter -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory$bddPair.result -1 Low

net.sf.javabdd.JFactory$sizePair

Violation Line Priority
Nm: The class name net.sf.javabdd.JFactory$sizePair doesn't start with an upper case letter -1 Low

net.sf.javabdd.JFactory$2

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

net.sf.javabdd.JFactory$levelData

Violation Line Priority
Nm: The class name net.sf.javabdd.JFactory$levelData doesn't start with an upper case letter -1 Low

net.sf.javabdd.JFactory$imatrix

Violation Line Priority
Nm: The class name net.sf.javabdd.JFactory$imatrix doesn't start with an upper case letter -1 Low

net.sf.javabdd.JFactory

Violation Line Priority
Nm: The method name net.sf.javabdd.JFactory.Random(int) doesn't start with an lower case letter 6448 Low
Nm: The method name net.sf.javabdd.JFactory.BitIsSet(int,int) doesn't start with an lower case letter 6460 Low
UPM: Private method net.sf.javabdd.JFactory.SETLEVEL(int,int) is never called 565 Low
DLS: Dead store to dis in method net.sf.javabdd.JFactory.reorder_win3ite(JFactory$BddTree) 4432 Low
DLS: Dead store to best in method net.sf.javabdd.JFactory.reorder_swapwin3(JFactory$BddTree,JFactory$BddTree[]) 4521 Low
MS: net.sf.javabdd.JFactory.FLUSH_CACHE_ON_GC isn't final but should be 38 High
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.appexcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.bddlevel2var -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.bddnodes -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.bddrefstack -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.bddvar2level -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.bddvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.extroots -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.quantvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory.replacepair -1 Low

net.sf.javabdd.MicroFactory$bddPair

Violation Line Priority
Nm: The class name net.sf.javabdd.MicroFactory$bddPair doesn't start with an upper case letter -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory$bddPair.result -1 Low

net.sf.javabdd.MicroFactory$sizePair

Violation Line Priority
Nm: The class name net.sf.javabdd.MicroFactory$sizePair doesn't start with an upper case letter -1 Low

net.sf.javabdd.MicroFactory$2

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

net.sf.javabdd.MicroFactory$levelData

Violation Line Priority
Nm: The class name net.sf.javabdd.MicroFactory$levelData doesn't start with an upper case letter -1 Low

net.sf.javabdd.MicroFactory$imatrix

Violation Line Priority
Nm: The class name net.sf.javabdd.MicroFactory$imatrix doesn't start with an upper case letter -1 Low

net.sf.javabdd.MicroFactory

Violation Line Priority
Nm: The method name net.sf.javabdd.MicroFactory.Random(int) doesn't start with an lower case letter 5907 Low
Nm: The method name net.sf.javabdd.MicroFactory.BitIsSet(int,int) doesn't start with an lower case letter 5919 Low
UPM: Private method net.sf.javabdd.MicroFactory.SETLEVELANDMARK(int,int) is never called 528 Low
UPM: Private method net.sf.javabdd.MicroFactory.LEVELANDMARK(int) is never called 525 Low
UPM: Private method net.sf.javabdd.MicroFactory._assert(boolean) is never called 532 Low
DLS: Dead store to dis in method net.sf.javabdd.MicroFactory.reorder_win3ite(MicroFactory$BddTree) 4073 Low
DLS: Dead store to best in method net.sf.javabdd.MicroFactory.reorder_swapwin3(MicroFactory$BddTree,MicroFactory$BddTree[]) 4162 Low
MS: net.sf.javabdd.MicroFactory.FLUSH_CACHE_ON_GC isn't final but should be 40 High
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.andcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.appex3cache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.appexcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.applycache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.bddlevel2var -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.bddnodes -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.bddrefstack -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.bddvar2level -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.bddvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.countcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.extroots -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.itecache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.misccache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.orcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.quantcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.quantvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.replacecache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.replacepair -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory.singlecache -1 Low
UuF: Unused field: net.sf.javabdd.MicroFactory.c1 -1 Normal

net.sf.javabdd.TestBDDFactory$TestBDD

Violation Line Priority
HE: net.sf.javabdd.TestBDDFactory$TestBDD defines hashCode but not equals -1 Low
DLS: Dead store to r2 in method net.sf.javabdd.TestBDDFactory$TestBDD.nodeCount() 564 Low
FE: Test for floating point equality in net.sf.javabdd.TestBDDFactory$TestBDD.pathCount(). 577 Low
FE: Test for floating point equality in net.sf.javabdd.TestBDDFactory$TestBDD.satCount(). 589 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.ite(BDD,BDD) 194 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.relprod(BDD,BDDVarSet) 212 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.relprod(BDD,BDDVarSet) 210 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.compose(BDD,int) 225 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TestBDDFactory$TestBDDPairing in net.sf.javabdd.TestBDDFactory$TestBDD.veccompose(BDDPairing) 238 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.constrain(BDD) 251 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.exist(BDDVarSet) 264 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.forAll(BDDVarSet) 277 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.unique(BDDVarSet) 290 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.restrict(BDD) 303 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.restrictWith(BDD) 316 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.simplify(BDDVarSet) 330 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.apply(BDD,BDDFactory$BDDOp) 355 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.applyWith(BDD,BDDFactory$BDDOp) 369 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.applyAll(BDD,BDDFactory$BDDOp,BDDVarSet) 384 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.applyAll(BDD,BDDFactory$BDDOp,BDDVarSet) 386 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.applyEx(BDD,BDDFactory$BDDOp,BDDVarSet) 402 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.applyEx(BDD,BDDFactory$BDDOp,BDDVarSet) 400 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.applyUni(BDD,BDDFactory$BDDOp,BDDVarSet) 418 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.applyUni(BDD,BDDFactory$BDDOp,BDDVarSet) 416 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDD.satOne(BDDVarSet,boolean) 453 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TestBDDFactory$TestBDDPairing in net.sf.javabdd.TestBDDFactory$TestBDD.replace(BDDPairing) 466 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TestBDDFactory$TestBDDPairing in net.sf.javabdd.TestBDDFactory$TestBDD.replaceWith(BDDPairing) 479 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory$TestBDD.equals(BDD) 611 Low

net.sf.javabdd.TestBDDFactory$TestBDDVarSet

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDDVarSet.intersect(BDDVarSet) 671 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDDVarSet.intersectWith(BDDVarSet) 679 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDDVarSet.union(BDDVarSet) 716 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDDVarSet.unionWith(BDDVarSet) 730 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TestBDDFactory$TestBDDVarSet in net.sf.javabdd.TestBDDFactory$TestBDDVarSet.equals(BDDVarSet) 752 Low

net.sf.javabdd.TestBDDFactory

Violation Line Priority
DLS: Dead store to r2 in method net.sf.javabdd.TestBDDFactory.setIncreaseFactor(double) 880 Low
DLS: Dead store to r2 in method net.sf.javabdd.TestBDDFactory.setNodeTableSize(int) 916 Low
DLS: Dead store to r2 in method net.sf.javabdd.TestBDDFactory.setVarNum(int) 952 Low
FE: Test for floating point equality in net.sf.javabdd.TestBDDFactory.setMinFreeNodes(double). 869 Low
FE: Test for floating point equality in net.sf.javabdd.TestBDDFactory.setCacheRatio(double). 905 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory.printTable(BDD) 992 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TestBDDFactory$TestBDD in net.sf.javabdd.TestBDDFactory.save(String,BDD) 1012 Low

net.sf.javabdd.TryVarOrder

Violation Line Priority
DE: net.sf.javabdd.TryVarOrder.initBDDFactory(String) might ignore java.io.IOException 62 Normal
Dm: net.sf.javabdd.TryVarOrder.tryOrder(String,boolean,String) forces garbage collection; extremely dubious except in benchmarking code 375 High
ST: Write to static field net.sf.javabdd.TryVarOrder.bdd from instance method net.sf.javabdd.TryVarOrder.initBDDFactory(String) 45 Normal
REC: Method net.sf.javabdd.TryVarOrder.setBDDError(int) catches Exception, but Exception is not thrown in the try block and RuntimeException is not explicitly caught 92 Low
UwF: Field not initialized in constructor: net.sf.javabdd.TryVarOrder.f0 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.TryVarOrder.f1 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.TryVarOrder.f2 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.TryVarOrder.f3 -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.TryVarOrder.op -1 Low

net.sf.javabdd.TypedBDDFactory$1

Violation Line Priority
Se: net.sf.javabdd.TypedBDDFactory$1 implements Comparator but not Serializable -1 Low

net.sf.javabdd.TypedBDDFactory$TypedBDD

Violation Line Priority
HE: net.sf.javabdd.TypedBDDFactory$TypedBDD defines hashCode but not equals -1 Low
SF: Switch statement found in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyHelper(java.util.Set,TypedBDDFactory$TypedBDD,TypedBDDFactory$TypedBDD,BDDFactory$BDDOp) where one case falls thru to the next case 787 Normal
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.ite(BDD,BDD) 606 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.relprod(BDD,BDDVarSet) 620 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.relprod(BDD,BDDVarSet) 619 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.compose(BDD,int) 637 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TypedBDDFactory$TypedBDDPairing in net.sf.javabdd.TypedBDDFactory$TypedBDD.veccompose(BDDPairing) 648 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.constrain(BDD) 659 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.exist(BDDVarSet) 670 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.forAll(BDDVarSet) 686 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.unique(BDDVarSet) 702 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.restrict(BDD) 718 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.restrictWith(BDD) 739 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.simplify(BDDVarSet) 759 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.apply(BDD,BDDFactory$BDDOp) 803 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyWith(BDD,BDDFactory$BDDOp) 814 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyAll(BDD,BDDFactory$BDDOp,BDDVarSet) 824 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyAll(BDD,BDDFactory$BDDOp,BDDVarSet) 828 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyEx(BDD,BDDFactory$BDDOp,BDDVarSet) 843 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyEx(BDD,BDDFactory$BDDOp,BDDVarSet) 847 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyUni(BDD,BDDFactory$BDDOp,BDDVarSet) 866 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.applyUni(BDD,BDDFactory$BDDOp,BDDVarSet) 862 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.satOne(BDDVarSet,boolean) 895 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TypedBDDFactory$TypedBDDPairing in net.sf.javabdd.TypedBDDFactory$TypedBDD.replace(BDDPairing) 918 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDPairing to class net.sf.javabdd.TypedBDDFactory$TypedBDDPairing in net.sf.javabdd.TypedBDDFactory$TypedBDD.replaceWith(BDDPairing) 945 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.satCount(BDDVarSet) 990 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory$TypedBDD.equals(BDD) 1009 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDD.iterator(BDDVarSet) 1024 Low

net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet.intersect(BDDVarSet) 1075 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet.intersectWith(BDDVarSet) 1082 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet.union(BDDVarSet) 1105 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet.unionWith(BDDVarSet) 1119 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDVarSet to class net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet in net.sf.javabdd.TypedBDDFactory$TypedBDDVarSet.equals(BDDVarSet) 1137 Low

net.sf.javabdd.TypedBDDFactory$TypedBDDDomain

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDDomain to class net.sf.javabdd.TypedBDDFactory$TypedBDDDomain in net.sf.javabdd.TypedBDDFactory$TypedBDDDomain.buildAdd(BDDDomain,int,long) 1186 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDDDomain to class net.sf.javabdd.TypedBDDFactory$TypedBDDDomain in net.sf.javabdd.TypedBDDFactory$TypedBDDDomain.buildEquals(BDDDomain) 1195 Low

net.sf.javabdd.TypedBDDFactory

Violation Line Priority
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory.printTable(BDD) 204 Low
BC: Unchecked/unconfirmed cast from net.sf.javabdd.BDD to class net.sf.javabdd.TypedBDDFactory$TypedBDD in net.sf.javabdd.TypedBDDFactory.save(String,BDD) 221 Low

net.sf.javabdd.UberMicroFactory$bddPair

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$bddPair doesn't start with an upper case letter -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory$bddPair.result -1 Low

net.sf.javabdd.UberMicroFactory$freelist

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$freelist doesn't start with an upper case letter -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory$freelist.fullbuckets -1 Low

net.sf.javabdd.UberMicroFactory$sizePair

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$sizePair doesn't start with an upper case letter -1 Low

net.sf.javabdd.UberMicroFactory$2

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

net.sf.javabdd.UberMicroFactory$levelData

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$levelData doesn't start with an upper case letter -1 Low

net.sf.javabdd.UberMicroFactory$imatrix

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$imatrix doesn't start with an upper case letter -1 Low
UrF: Unread field: net.sf.javabdd.UberMicroFactory$imatrix.size -1 Normal

net.sf.javabdd.UberMicroFactory$counters

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$counters doesn't start with an upper case letter -1 Low
IM: Check for oddness that won't work for negative numbers in net.sf.javabdd.UberMicroFactory$counters.reset(int) 5635 Normal
IM: Check for oddness that won't work for negative numbers in net.sf.javabdd.UberMicroFactory$counters.inc(int) 5643 Normal
IM: Check for oddness that won't work for negative numbers in net.sf.javabdd.UberMicroFactory$counters.dec(int) 5655 Normal
IM: Check for oddness that won't work for negative numbers in net.sf.javabdd.UberMicroFactory$counters.hasref(int) 5669 Normal
IM: Check for oddness that won't work for negative numbers in net.sf.javabdd.UberMicroFactory$counters.get(int) 5677 Normal

net.sf.javabdd.UberMicroFactory$intstack

Violation Line Priority
Nm: The class name net.sf.javabdd.UberMicroFactory$intstack doesn't start with an upper case letter -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory$intstack.toprocess -1 Low
SIC: Should net.sf.javabdd.UberMicroFactory$intstack be a _static_ inner class? -1 Normal

net.sf.javabdd.UberMicroFactory

Violation Line Priority
Nm: The method name net.sf.javabdd.UberMicroFactory.Random(int) doesn't start with an lower case letter 6581 Low
Nm: The method name net.sf.javabdd.UberMicroFactory.BitIsSet(int,int) doesn't start with an lower case letter 6593 Low
UPM: Private method net.sf.javabdd.UberMicroFactory._assert(boolean) is never called 919 Low
DLS: Dead store to $l9 in method net.sf.javabdd.UberMicroFactory.HASHr_RESIZE_LEVEL(int,int,int) 751 Low
DLS: Dead store to $l13 in method net.sf.javabdd.UberMicroFactory.rehash_helper(int,int) 802 Low
DLS: Dead store to dis in method net.sf.javabdd.UberMicroFactory.reorder_win3ite(UberMicroFactory$BddTree) 4758 Low
DLS: Dead store to best in method net.sf.javabdd.UberMicroFactory.reorder_swapwin3(UberMicroFactory$BddTree,UberMicroFactory$BddTree[]) 4847 Low
FE: Test for floating point equality in net.sf.javabdd.UberMicroFactory.compare(double[],double[]). 6570 Low
MS: net.sf.javabdd.UberMicroFactory.FLUSH_CACHE_ON_GC isn't final but should be 35 High
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.andcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.appex3cache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.appexcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.applycache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddfreelist -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddhash -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddlevel2var -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddrefstack -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddvar2level -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.bddvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.countcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.externalRefBDDs -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.externalRefVarSets -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.itecache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.misccache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.orcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.quantcache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.quantvarset -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.refcounts -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.replacecache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.replacepair -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.singlecache -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory.toBeProcessed -1 Low
UuF: Unused field: net.sf.javabdd.UberMicroFactory.c1 -1 Normal

NQueens

Violation Line Priority
UwF: Field not initialized in constructor: NQueens.B -1 Low
UwF: Field not initialized in constructor: NQueens.queen -1 Low
UwF: Field not initialized in constructor: NQueens.solution -1 Low

net.sf.javabdd.BDD$OutputBuffer

Violation Line Priority
UwF: Field not initialized in constructor: net.sf.javabdd.BDD$OutputBuffer.lastLow -1 Low

net.sf.javabdd.JFactory$BddTree

Violation Line Priority
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory$BddTree.next -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.JFactory$BddTree.seq -1 Low

net.sf.javabdd.MicroFactory$BddTree

Violation Line Priority
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory$BddTree.next -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.MicroFactory$BddTree.seq -1 Low

net.sf.javabdd.UberMicroFactory$BddTree

Violation Line Priority
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory$BddTree.next -1 Low
UwF: Field not initialized in constructor: net.sf.javabdd.UberMicroFactory$BddTree.seq -1 Low

net.sf.javabdd.MicroFactory$OpCache

Violation Line Priority
UwF: Unwritten field: net.sf.javabdd.MicroFactory$OpCache.cache -1 Normal
UwF: Unwritten field: net.sf.javabdd.MicroFactory$OpCache.cacheHit -1 Low
UwF: Unwritten field: net.sf.javabdd.MicroFactory$OpCache.cacheMiss -1 Low
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.addCompulsory(int,int,int,int) 578 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.removeCompulsory(int,int,int) 587 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.checkCompulsory(int) 553 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.removeCompulsory(int) 581 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.removeCompulsory(int,int) 584 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.addCompulsory(int) 569 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.removeCompulsory(int,int,int,int) 590 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.removeAll(int) 593 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.checkCompulsory(int,int,int) 561 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.checkCompulsory(int,int) 557 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.checkCompulsory(int,int,int,int) 565 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.addCompulsory(int,int,int) 575 Normal
NP: Read of unwritten field in net.sf.javabdd.MicroFactory$OpCache.addCompulsory(int,int) 572 Normal

net.sf.javabdd.UberMicroFactory$OpCache

Violation Line Priority
UwF: Unwritten field: net.sf.javabdd.UberMicroFactory$OpCache.cache -1 Normal
UwF: Unwritten field: net.sf.javabdd.UberMicroFactory$OpCache.cacheHit -1 Low
UwF: Unwritten field: net.sf.javabdd.UberMicroFactory$OpCache.cacheMiss -1 Low
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.checkCompulsory(int,int,int,int) 956 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.addCompulsory(long) 963 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.addCompulsory(int,int,int) 969 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.addCompulsory(int,int) 966 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeCompulsory(int,int) 981 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.addCompulsory(int,int,int,int) 972 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.checkCompulsory(int,int,int) 952 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.addCompulsory(int) 960 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeCompulsory(int,int,int,int) 987 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeCompulsory(int,int,int) 984 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeCompulsory(int) 975 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.checkCompulsory(long) 944 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeAll(int) 990 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.checkCompulsory(int) 940 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.checkCompulsory(int,int) 948 Normal
NP: Read of unwritten field in net.sf.javabdd.UberMicroFactory$OpCache.removeCompulsory(long) 978 Normal