mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 18:03:08 +01:00
CodeQL for VS Code starter: Initial commit.
This commit is contained in:
12
codeql-custom-queries-python/example.ql
Normal file
12
codeql-custom-queries-python/example.ql
Normal file
@@ -0,0 +1,12 @@
|
||||
/**
|
||||
* @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."
|
||||
Reference in New Issue
Block a user