We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1d358c5 commit e9ce296Copy full SHA for e9ce296
cpp/ql/src/Security/CWE/CWE-295/SSLResultConflation.ql
@@ -14,10 +14,17 @@ import cpp
14
import semmle.code.cpp.controlflow.Guards
15
import semmle.code.cpp.dataflow.DataFlow
16
17
+/**
18
+ * A call to `SSL_get_verify_result`.
19
+ */
20
class SSLGetVerifyResultCall extends FunctionCall {
21
SSLGetVerifyResultCall() { getTarget().getName() = "SSL_get_verify_result" }
22
}
23
24
25
+ * Data flow from a call to `SSL_get_verify_result` to a guard condition
26
+ * that references the result.
27
28
class VerifyResultConfig extends DataFlow::Configuration {
29
VerifyResultConfig() { this = "VerifyResultConfig" }
30
0 commit comments