hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Refactor flow summary implementation

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-11-26 13:02:17 +01:00
parent 047ea10a9a
commit 6fcd8d194a
1 changed files with 17 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
rust/ql/lib/codeql/rust/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -11,6 +11,20 @@ private import codeql.rust.dataflow.FlowSummary
private import codeql.rust.dataflow.Ssa private import codeql.rust.dataflow.Ssa
private import Content private import Content
predicate encodeContentTupleField(TupleFieldContent c, string arg) {
exists(Addressable a, int pos, string prefix |
arg = prefix + "(" + pos + ")" and prefix = a.getCanonicalPath()
|
c.isStructField(a, pos) or c.isVariantField(a, pos)
)
}
predicate encodeContentStructField(StructFieldContent c, string arg) {
exists(Addressable a, string field | arg = a.getCanonicalPath() + "::" + field |
c.isStructField(a, field) or c.isVariantField(a, field)
)
}
module Input implements InputSig<Location, RustDataFlow> { module Input implements InputSig<Location, RustDataFlow> {
private import codeql.rust.frameworks.stdlib.Stdlib private import codeql.rust.frameworks.stdlib.Stdlib
@@ -58,24 +72,11 @@ module Input implements InputSig<Location, RustDataFlow> {
exists(Content c | cs = TSingletonContentSet(c) | exists(Content c | cs = TSingletonContentSet(c) |
result = "Field" and result = "Field" and
( (
exists(Addressable a, int pos, string prefix | encodeContentTupleField(c, arg)
arg = prefix + "(" + pos + ")" and prefix = a.getCanonicalPath()
|
c.(TupleFieldContent).isStructField(a, pos)
or or
c.(TupleFieldContent).isVariantField(a, pos) encodeContentStructField(c, arg)
)
or or
exists(Addressable a, string field | arg = a.getCanonicalPath() + "::" + field | exists(int pos | c = TTuplePositionContent(pos) and arg = pos.toString())
c.(StructFieldContent).isStructField(a, field)
or
c.(StructFieldContent).isVariantField(a, field)
)
or
exists(int pos |
c = TTuplePositionContent(pos) and
arg = pos.toString()
)
) )
or or
result = "Reference" and result = "Reference" and