FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.2.1

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
22 2 0 0

Files

Class Bugs
org.sat4j.multicore.ManyCore 2

org.sat4j.multicore.ManyCore

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