Skip to content

Commit d281558

Browse files
authored
Merge pull request #218 from yh-semmle/java/query-severities
Approved by aschackmull
2 parents 69962bd + 7d69c84 commit d281558

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

java/ql/src/Likely Bugs/Concurrency/NonSynchronizedOverride.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @description If a synchronized method is overridden in a subclass, and the overriding method is
44
* not synchronized, the thread-safety of the subclass may be broken.
55
* @kind problem
6-
* @problem.severity error
6+
* @problem.severity warning
77
* @precision very-high
88
* @id java/non-sync-override
99
* @tags reliability

java/ql/src/Likely Bugs/Resource Leaks/CloseReader.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @description A resource that is opened for reading but not closed may cause a resource
44
* leak.
55
* @kind problem
6-
* @problem.severity error
6+
* @problem.severity warning
77
* @precision high
88
* @id java/input-resource-leak
99
* @tags efficiency

java/ql/src/Likely Bugs/Resource Leaks/CloseSql.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
* @name Potential database resource leak
33
* @description A database resource that is opened but not closed may cause a resource leak.
44
* @kind problem
5-
* @problem.severity error
5+
* @problem.severity warning
66
* @precision high
77
* @id java/database-resource-leak
88
* @tags correctness

java/ql/src/Likely Bugs/Resource Leaks/CloseWriter.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @description A resource that is opened for writing but not closed may cause a resource
44
* leak.
55
* @kind problem
6-
* @problem.severity error
6+
* @problem.severity warning
77
* @precision high
88
* @id java/output-resource-leak
99
* @tags efficiency

0 commit comments

Comments
 (0)