11
11
*/
12
12
13
13
import java
14
- import semmle.code.java.dataflow.DataFlow
15
14
import semmle.code.java.dataflow.FlowSources
16
15
17
16
module JwtAuth0 {
18
17
class PayloadType extends RefType {
19
18
PayloadType ( ) { this .hasQualifiedName ( "com.auth0.jwt.interfaces" , "Payload" ) }
20
19
}
21
20
22
- class JWTType extends RefType {
23
- JWTType ( ) { this .hasQualifiedName ( "com.auth0.jwt" , "JWT" ) }
21
+ class JwtType extends RefType {
22
+ JwtType ( ) { this .hasQualifiedName ( "com.auth0.jwt" , "JWT" ) }
24
23
}
25
24
26
- class JWTVerifierType extends RefType {
27
- JWTVerifierType ( ) { this .hasQualifiedName ( "com.auth0.jwt" , "JWTVerifier" ) }
25
+ class JwtVerifierType extends RefType {
26
+ JwtVerifierType ( ) { this .hasQualifiedName ( "com.auth0.jwt" , "JWTVerifier" ) }
28
27
}
29
28
30
29
/**
@@ -42,7 +41,7 @@ module JwtAuth0 {
42
41
*/
43
42
class Decode extends MethodAccess {
44
43
Decode ( ) {
45
- this .getCallee ( ) .getDeclaringType ( ) instanceof JWTType and
44
+ this .getCallee ( ) .getDeclaringType ( ) instanceof JwtType and
46
45
this .getCallee ( ) .hasName ( "decode" )
47
46
}
48
47
}
@@ -52,7 +51,7 @@ module JwtAuth0 {
52
51
*/
53
52
class Verify extends MethodAccess {
54
53
Verify ( ) {
55
- this .getCallee ( ) .getDeclaringType ( ) instanceof JWTVerifierType and
54
+ this .getCallee ( ) .getDeclaringType ( ) instanceof JwtVerifierType and
56
55
this .getCallee ( ) .hasName ( "verify" )
57
56
}
58
57
}
0 commit comments