mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
13 lines
354 B
Plaintext
13 lines
354 B
Plaintext
/**
|
|
* @name SSA
|
|
* @description Insert description here...
|
|
* @kind table
|
|
* @problem.severity warning
|
|
*/
|
|
|
|
import python
|
|
|
|
from ControlFlowNode defn, SsaVariable v, AugAssign a, BinaryExpr b
|
|
where v.getDefinition() = defn and a.getOperation() = b and b.contains(defn.getNode().(Expr))
|
|
select defn.toString(), defn.getNode().getLocation().getStartLine()
|