mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
16 lines
485 B
Plaintext
16 lines
485 B
Plaintext
/**
|
|
* @name RangeSsa phi-node inputs test
|
|
* @description List all the inputs for each SSA phi-node
|
|
* @kind test
|
|
*/
|
|
|
|
import cpp
|
|
import semmle.code.cpp.rangeanalysis.RangeSSA
|
|
|
|
from RangeSsaDefinition phi, StackVariable var, RangeSsaDefinition input, int philine, int inputline
|
|
where
|
|
phi.getAPhiInput(var) = input and
|
|
philine = phi.getLocation().getStartLine() and
|
|
inputline = input.getLocation().getStartLine()
|
|
select philine, phi.toString(var), inputline, input.toString(var)
|