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

C++: Update for the provenance changes.

Browse Source
This commit is contained in:
Geoffrey White
2024-04-02 16:14:06 +01:00
parent 57beb73bf7
commit f2ef4ad6ac
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -118,11 +118,11 @@ module SourceSinkInterpretationInput implements
* Holds if an external source specification exists for `e` with output specification * Holds if an external source specification exists for `e` with output specification
* `output`, kind `kind`, and provenance `provenance`. * `output`, kind `kind`, and provenance `provenance`.
*/ */
predicate sourceElement(SourceOrSinkElement e, string output, string kind) { predicate sourceElement(SourceOrSinkElement e, string output, string kind, Public::Provenance provenance) {
exists( exists(
string namespace, string type, boolean subtypes, string name, string signature, string ext string namespace, string type, boolean subtypes, string name, string signature, string ext
| |
sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, _) and sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance) and
e = interpretElement(namespace, type, subtypes, name, signature, ext) e = interpretElement(namespace, type, subtypes, name, signature, ext)
) )
} }
@@ -131,11 +131,11 @@ module SourceSinkInterpretationInput implements
* Holds if an external sink specification exists for `e` with input specification * Holds if an external sink specification exists for `e` with input specification
* `input`, kind `kind` and provenance `provenance`. * `input`, kind `kind` and provenance `provenance`.
*/ */
predicate sinkElement(SourceOrSinkElement e, string input, string kind) { predicate sinkElement(SourceOrSinkElement e, string input, string kind, Public::Provenance provenance) {
exists( exists(
string package, string type, boolean subtypes, string name, string signature, string ext string package, string type, boolean subtypes, string name, string signature, string ext
| |
sinkModel(package, type, subtypes, name, signature, ext, input, kind, _) and sinkModel(package, type, subtypes, name, signature, ext, input, kind, provenance) and
e = interpretElement(package, type, subtypes, name, signature, ext) e = interpretElement(package, type, subtypes, name, signature, ext)
) )
} }