We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7d5388f commit b813c13Copy full SHA for b813c13
1 file changed
csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
@@ -3,6 +3,7 @@
3
*/
4
5
import csharp
6
+private import semmle.code.csharp.frameworks.system.Web
7
private import semmle.code.csharp.frameworks.microsoft.AspNetCore
8
9
/**
@@ -32,7 +33,15 @@ private module AuthCookieNameConfig implements DataFlow::ConfigSig {
32
33
34
predicate isSource(DataFlow::Node source) { isAuthVariable(source.asExpr()) }
35
- predicate isSink(DataFlow::Node sink) { exists(Call c | sink.asExpr() = c.getAnArgument()) }
36
+ predicate isSink(DataFlow::Node sink) {
37
+ exists(Call c |
38
+ sink.asExpr() = c.getAnArgument() and
39
+ (
40
+ c.getTarget() = any(MicrosoftAspNetCoreHttpResponseCookies cls).getAppendMethod() or
41
+ c.(ObjectCreation).getType() instanceof SystemWebHttpCookie
42
+ )
43
44
+ }
45
}
46
47
0 commit comments