The following document contains the results of FindBugs Report
FindBugs Version is 1.3.8
Threshold is Low
Effort is Default
| Classes | Bugs | Errors | Missing Classes |
|---|---|---|---|
| 61 | 3 | 0 | 0 |
| Class | Bugs |
|---|---|
| org.sat4j.multicore.ManyCore | 3 |
| 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 |
