mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 01:53:03 +01:00
12 lines
204 B
Plaintext
12 lines
204 B
Plaintext
/**
|
|
* @name Empty scope
|
|
* @kind problem
|
|
* @problem.severity warning
|
|
* @id python/example/empty-scope
|
|
*/
|
|
|
|
import python
|
|
|
|
from Scope s
|
|
where count(s.getAStmt()) = 0
|
|
select s, "This is an empty scope." |