hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #18675 from hvitved/rust/struct-tuple-field

Browse Source 
Rust: Implement data flow through tuple structs
This commit is contained in:
Tom Hvitved
2025-02-06 19:17:53 +01:00
committed by GitHub
parent 40851aeaef 95ab48dfbf
commit aca70cd1ea
22 changed files with 981 additions and 870 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

@@ -129,7 +129,7 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, RustDataF
predicate isAdditionalContentFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) { none() }
predicate isField(DataFlow::ContentSet c) {
c.(SingletonContentSet).getContent() instanceof StructFieldContent
c.(SingletonContentSet).getContent() instanceof FieldContent
}
predicate isCallback(DataFlow::ContentSet cs) {