hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 20:58:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: extract some resolved paths

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-10-31 14:19:15 +01:00
parent 2b37c6cd32
commit cee2ed0ec4
41 changed files with 700 additions and 221 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.ql generated
View File

@@ -3,15 +3,22 @@ import codeql.rust.elements
import TestUtils
from
MethodCallExpr x, string hasArgList, int getNumberOfAttrs, string hasGenericArgList,
string hasNameRef, string hasReceiver
MethodCallExpr x, string hasArgList, int getNumberOfAttrs, string hasResolvedPath,
string hasResolvedCrateOrigin, string hasGenericArgList, string hasNameRef, string hasReceiver
where
toBeTested(x) and
not x.isUnknown() and
(if x.hasArgList() then hasArgList = "yes" else hasArgList = "no") and
getNumberOfAttrs = x.getNumberOfAttrs() and
(if x.hasResolvedPath() then hasResolvedPath = "yes" else hasResolvedPath = "no") and
(
if x.hasResolvedCrateOrigin()
then hasResolvedCrateOrigin = "yes"
else hasResolvedCrateOrigin = "no"
) and
(if x.hasGenericArgList() then hasGenericArgList = "yes" else hasGenericArgList = "no") and
(if x.hasNameRef() then hasNameRef = "yes" else hasNameRef = "no") and
if x.hasReceiver() then hasReceiver = "yes" else hasReceiver = "no"
select x, "hasArgList:", hasArgList, "getNumberOfAttrs:", getNumberOfAttrs, "hasGenericArgList:",
select x, "hasArgList:", hasArgList, "getNumberOfAttrs:", getNumberOfAttrs, "hasResolvedPath:",
hasResolvedPath, "hasResolvedCrateOrigin:", hasResolvedCrateOrigin, "hasGenericArgList:",
hasGenericArgList, "hasNameRef:", hasNameRef, "hasReceiver:", hasReceiver