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 |
