1111 */
1212
1313import java
14- import semmle.code.java.dataflow.DataFlow
1514import semmle.code.java.dataflow.FlowSources
1615
1716module JwtAuth0 {
1817 class PayloadType extends RefType {
1918 PayloadType ( ) { this .hasQualifiedName ( "com.auth0.jwt.interfaces" , "Payload" ) }
2019 }
2120
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" ) }
2423 }
2524
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" ) }
2827 }
2928
3029 /**
@@ -42,7 +41,7 @@ module JwtAuth0 {
4241 */
4342 class Decode extends MethodAccess {
4443 Decode ( ) {
45- this .getCallee ( ) .getDeclaringType ( ) instanceof JWTType and
44+ this .getCallee ( ) .getDeclaringType ( ) instanceof JwtType and
4645 this .getCallee ( ) .hasName ( "decode" )
4746 }
4847 }
@@ -52,7 +51,7 @@ module JwtAuth0 {
5251 */
5352 class Verify extends MethodAccess {
5453 Verify ( ) {
55- this .getCallee ( ) .getDeclaringType ( ) instanceof JWTVerifierType and
54+ this .getCallee ( ) .getDeclaringType ( ) instanceof JwtVerifierType and
5655 this .getCallee ( ) .hasName ( "verify" )
5756 }
5857 }
0 commit comments