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

Update cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll

Browse Source 
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
This commit is contained in:
Geoffrey White
2020-08-24 14:33:51 +01:00
committed by GitHub
parent d3c8ffb995
commit 1c38a4d5d6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll
View File

@@ -86,7 +86,7 @@ predicate localAdditionalTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeT
// Reverse taint: if a function model has taint from the qualifier to the
// dereferenced return value, also apply reverse taint from the post-update
// of the return value back to the qualifier. This allows taint to flow 'in'
// through references returned by a modelled function such as `operator[]`.
// through references returned by a modeled function such as `operator[]`.
exists(
TaintFunction f, Call call, FunctionInput inModel, FunctionOutput outModel
|