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
155 1 0 0

Files

Class Bugs
org.sat4j.csp.EnumeratedDomain 1

org.sat4j.csp.EnumeratedDomain

Bug Category Details Line Priority
new org.sat4j.csp.EnumeratedDomain(int[]) may expose internal representation by storing an externally mutable object into EnumeratedDomain.values MALICIOUS_CODE EI_EXPOSE_REP2 30 Medium