Merge pull request #4095 from hvitved/csharp/dataflow/ap5

hvitved · web-flow · commit a23bb6d5ec97 · 2020-08-19T16:12:22.000+02:00
C#: Increase `accessPathLimit` from 3 to 5
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -2354,7 +2354,7 @@ private predicate viableConstantBooleanParamArg(
   )
 }
 
-int accessPathLimit() { result = 3 }
+int accessPathLimit() { result = 5 }
 
 /**
  * Holds if `n` does not require a `PostUpdateNode` as it either cannot be

Original file line number	Diff line number	Diff line change
`@@ -2354,7 +2354,7 @@ private predicate viableConstantBooleanParamArg(`
`2354`	`2354`	`)`
`2355`	`2355`	`}`
`2356`	`2356`
`2357`		`-int accessPathLimit() { result = 3 }`
	`2357`	`+int accessPathLimit() { result = 5 }`
`2358`	`2358`
`2359`	`2359`	`/**`
`2360`	`2360`	* Holds if `n` does not require a `PostUpdateNode` as it either cannot be