FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.6

Threshold is Low

Effort is Default


Classes Bugs Errors Missing Classes
48 2 0 0


Class Bugs
org.sat4j.multicore.ManyCore 2


Bug Category Details Line Priority
new org.sat4j.multicore.ManyCore(ASolverFactory, String[]) may expose internal representation by storing an externally mutable object into ManyCore.availableSolvers MALICIOUS_CODE EI_EXPOSE_REP2 32 Medium
Inconsistent synchronization of org.sat4j.multicore.ManyCore.resultFound; locked 50% of time MT_CORRECTNESS IS2_INCONSISTENT_SYNC 197 Medium