FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.8

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
61 3 0 0

Files

Class Bugs
org.sat4j.multicore.ManyCore 3

org.sat4j.multicore.ManyCore

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 38 Medium
Inconsistent synchronization of org.sat4j.multicore.ManyCore.resultFound; locked 50% of time MT_CORRECTNESS IS2_INCONSISTENT_SYNC 216 Medium
Class org.sat4j.multicore.ManyCore defines non-transient non-serializable instance field solvers BAD_PRACTICE SE_BAD_FIELD Not available Low