FindBugs Bug Detector Report
The following document contains the results of FindBugs
FindBugs Version is 3.0.1
Threshold is medium
Effort is min
Summary
Classes |
Bugs |
Errors |
Missing Classes |
75 |
9 |
0 |
0 |
io.github.prolobjectlink.prolog.AbstractClause$BodyIterator
Bug |
Category |
Details |
Line |
Priority |
Should io.github.prolobjectlink.prolog.AbstractClause$BodyIterator be a _static_ inner class? |
PERFORMANCE |
SIC_INNER_SHOULD_BE_STATIC |
381-399 |
Medium |
io.github.prolobjectlink.prolog.AbstractConsole
Bug |
Category |
Details |
Line |
Priority |
Found reliance on default encoding in new io.github.prolobjectlink.prolog.AbstractConsole(PrologProvider): new java.io.InputStreamReader(InputStream) |
I18N |
DM_DEFAULT_ENCODING |
61 |
High |
Found reliance on default encoding in new io.github.prolobjectlink.prolog.AbstractConsole(PrologProvider): new java.io.PrintWriter(OutputStream, boolean) |
I18N |
DM_DEFAULT_ENCODING |
68 |
High |
Found reliance on default encoding in io.github.prolobjectlink.prolog.AbstractConsole.run(String[]): new java.io.PrintWriter(String) |
I18N |
DM_DEFAULT_ENCODING |
172 |
High |
io.github.prolobjectlink.prolog.AbstractConsole.run(String[]) invokes System.exit(...), which shuts down the entire virtual machine |
BAD_PRACTICE |
DM_EXIT |
180 |
Medium |
io.github.prolobjectlink.prolog.AbstractConverter
Bug |
Category |
Details |
Line |
Priority |
io.github.prolobjectlink.prolog.AbstractConverter.toTermMap(Map) makes inefficient use of keySet iterator instead of entrySet iterator |
PERFORMANCE |
WMI_WRONG_MAP_ITERATOR |
103 |
Medium |
io.github.prolobjectlink.prolog.AbstractConverter.toTermMap(Map, Class) makes inefficient use of keySet iterator instead of entrySet iterator |
PERFORMANCE |
WMI_WRONG_MAP_ITERATOR |
177 |
Medium |
io.github.prolobjectlink.prolog.AbstractIndicator
io.github.prolobjectlink.prolog.ArrayIterator
Bug |
Category |
Details |
Line |
Priority |
new io.github.prolobjectlink.prolog.ArrayIterator(Object[]) may expose internal representation by storing an externally mutable object into ArrayIterator.elements |
MALICIOUS_CODE |
EI_EXPOSE_REP2 |
53 |
Medium |