[Java] Add SSLSession Type

intrigus · intrigus · commit 3f1d01df0d7a · 2020-06-01T23:43:48.000+02:00
diff --git a/java/ql/src/semmle/code/java/security/Encryption.qll b/java/ql/src/semmle/code/java/security/Encryption.qll
@@ -21,6 +21,10 @@ class SSLSocketFactory extends RefType {
   SSLSocketFactory() { this.hasQualifiedName("javax.net.ssl", "SSLSocketFactory") }
 }
 
+class SSLSession extends RefType {
+  SSLSession() { hasQualifiedName("javax.net.ssl", "SSLSession") }
+}
+
 class SSLContext extends RefType {
   SSLContext() { hasQualifiedName("javax.net.ssl", "SSLContext") }
 }

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,10 @@ class SSLSocketFactory extends RefType {`
`21`	`21`	`SSLSocketFactory() { this.hasQualifiedName("javax.net.ssl", "SSLSocketFactory") }`
`22`	`22`	`}`
`23`	`23`
	`24`	`+class SSLSession extends RefType {`
	`25`	`+ SSLSession() { hasQualifiedName("javax.net.ssl", "SSLSession") }`
	`26`	`+}`
	`27`	`+`
`24`	`28`	`class SSLContext extends RefType {`
`25`	`29`	`SSLContext() { hasQualifiedName("javax.net.ssl", "SSLContext") }`
`26`	`30`	`}`