There was an error while loading. Please reload this page.
1 parent dfc6695 commit 3815643Copy full SHA for 3815643
1 file changed
csharp/ql/lib/semmle/code/csharp/frameworks/OData.qll
@@ -36,9 +36,9 @@ class ODataActionParametersClass extends Class {
36
* -- may hold the value of) an `ODataActionParameters` dictionary.
37
*/
38
private predicate isODataActionParametersValue(Expr e) {
39
- e.getType() instanceof ODataActionParametersClass
40
- or
41
- DataFlow::localExprFlow(any(Expr e0 | isODataActionParametersValue(e0)), e)
+ exists(ParameterAccess e0 | e0.getType() instanceof ODataActionParametersClass |
+ e0 = e or DataFlow::localExprFlow(e0, e)
+ )
42
}
43
44
/**
0 commit comments