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

C++: use-use flow in ArrayAccessProductFlow

Browse Source
This commit is contained in:
Robert Marsh
2022-09-07 14:17:15 -04:00
committed by Mathias Vorreiter Pedersen
parent 0fcfe5772f
commit ededfaa40b
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/experimental/Likely Bugs/ArrayAccessProductFlow.ql
View File

@@ -24,10 +24,7 @@ class ArraySizeConfiguration extends ProductFlow::Configuration {
ArraySizeConfiguration() { this = "ArraySizeConfiguration" } ArraySizeConfiguration() { this = "ArraySizeConfiguration" }
override predicate isSourcePair(DataFlow::Node source1, DataFlow::Node source2) { override predicate isSourcePair(DataFlow::Node source1, DataFlow::Node source2) {
exists(GVN sizeGvn | source1.asConvertedExpr().(AllocationExpr).getSizeExpr() = source2.asConvertedExpr()
source1.asConvertedExpr().(AllocationExpr).getSizeExpr() = sizeGvn.getAnExpr() and
source2.asConvertedExpr() = sizeGvn.getAnExpr()
)
} }
override predicate isSinkPair(DataFlow::Node sink1, DataFlow::Node sink2) { override predicate isSinkPair(DataFlow::Node sink1, DataFlow::Node sink2) {