mirror of
https://github.com/github/codeql.git
synced 2026-01-23 11:22:58 +01:00
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
22 lines
494 B
Plaintext
22 lines
494 B
Plaintext
import cpp
|
|
|
|
string describe(Struct s) {
|
|
s instanceof LocalStruct and
|
|
result = "LocalStruct"
|
|
or
|
|
s instanceof NestedStruct and
|
|
result = "NestedStruct"
|
|
}
|
|
|
|
query predicate structs(Struct s, string descStr) {
|
|
s.fromSource() and
|
|
descStr = concat(describe(s), ", ")
|
|
}
|
|
|
|
query predicate assignments(Assignment a, Expr l, string explainL, Expr r, string explainR) {
|
|
l = a.getLValue() and
|
|
explainL = l.getType().explain() and
|
|
r = a.getRValue() and
|
|
explainR = r.getType().explain()
|
|
}
|