mirror of
https://github.com/github/codeql.git
synced 2026-04-25 16:55:19 +02:00
Java: add previous-id
This commit is contained in:
@@ -6,6 +6,7 @@
|
||||
* @problem.severity recommendation
|
||||
* @precision high
|
||||
* @id java/call-to-thread-run
|
||||
* @previous-id java/run-method-called-on-java-lang-thread-directly
|
||||
* @tags quality
|
||||
* reliability
|
||||
* concurrency
|
||||
|
||||
Reference in New Issue
Block a user