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

C++: Simplify

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-02-10 13:01:40 +01:00
parent 6804018a64
commit 99a9d7f676
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
View File

@@ -337,10 +337,7 @@ private Element adjustedSink(DataFlow::Node sink) {
result.(NotExpr).getOperand() = sink.asExpr()
or
// Taint `e--` and `e++` when `e` is tainted.
exists(PostfixCrementOperation crement |
crement.getAnOperand() = sink.asExpr() and
result = crement
)
result.(PostfixCrementOperation).getAnOperand() = sink.asExpr()
}
predicate tainted(Expr source, Element tainted) {