mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
13 lines
277 B
Plaintext
13 lines
277 B
Plaintext
/**
|
|
* @name RangeSsa definedByParameter test
|
|
* @description check the results of the definedByParameter method
|
|
* @kind test
|
|
*/
|
|
|
|
import cpp
|
|
import semmle.code.cpp.rangeanalysis.RangeSSA
|
|
|
|
from RangeSsaDefinition def, Parameter p
|
|
where def.definedByParameter(p)
|
|
select def, p
|