hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update QLDoc on 'modeledFlowBarrier'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-02-22 13:30:39 +00:00
parent 671904d58c
commit 350d5bf0ce
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
View File

@@ -812,8 +812,14 @@ private predicate inOut(FIO::FunctionInput input, FIO::FunctionOutput output) {
}
/**
* Holds if there should not be use-use flow out of `n` (or a conversion that
* flows to `n`).
* Holds if there should not be use-use flow out of `n`. That is, `n` is
* an out-barrier to use-use flow. This includes:
*
* - an input to a call that would be assumed to have use-use flow to the same
* argument as an output, but this flow should be blocked because the
* function is modeled with another flow to that output (for example the
* first argument of `strcpy`).
* - a conversion that flows to such an input.
*/
private predicate modeledFlowBarrier(Node n) {
exists(