mirror of
https://github.com/github/codeql.git
synced 2026-02-15 22:43:43 +01:00
13 lines
293 B
Plaintext
13 lines
293 B
Plaintext
/**
|
|
* @name Guards control test
|
|
* @description List which guards control which blocks
|
|
* @kind test
|
|
*/
|
|
|
|
import cpp
|
|
import semmle.code.cpp.controlflow.Guards
|
|
|
|
from GuardCondition guard, AbstractValue value, BasicBlock block
|
|
where guard.valueControls(block, value)
|
|
select guard, value, block
|