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