mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
4ef5c9af62
Some files that will change in #1736 have been spared. ./build -j4 target/jars/qlformat find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input (cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll') buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest
25 lines
735 B
Plaintext
25 lines
735 B
Plaintext
import cpp
|
|
|
|
predicate argsOrPlaceholder(Attribute a, int index, int start_line, string name, string value) {
|
|
if exists(a.getAnArgument())
|
|
then
|
|
exists(AttributeArgument arg | arg = a.getAnArgument() |
|
|
index = arg.getIndex() and
|
|
start_line = arg.getLocation().getStartLine() and
|
|
name = arg.getName() and
|
|
value = arg.getValueText()
|
|
)
|
|
else (
|
|
index = -1 and
|
|
start_line = a.getLocation().getStartLine() and
|
|
name = "" and
|
|
value = ""
|
|
)
|
|
}
|
|
|
|
from Parameter p, Attribute a, int arg_index, int arg_line, string arg_name, string arg_value
|
|
where
|
|
a = p.getAnAttribute() and
|
|
argsOrPlaceholder(a, arg_index, arg_line, arg_name, arg_value)
|
|
select arg_line, p, a, arg_index, arg_name, arg_value
|