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

C++: Remove local flow from additional taint step

Browse Source 
This case was not supposed to be there -- that was the whole point of
having the `localAdditionalTaintStep` predicate.
This commit is contained in:
Jonas Jensen
2019-09-11 14:09:17 +02:00
parent 7b09e4177e
commit 6021b4f04a
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -17,9 +17,6 @@ predicate localTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
* different objects.
*/
predicate localAdditionalTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
// Taint can flow into using ordinary data flow.
DataFlow::localFlowStep(nodeFrom, nodeTo)
or
localInstructionTaintStep(nodeFrom.asInstruction(), nodeTo.asInstruction())
}