@@ -8,8 +8,8 @@ private import semmle.code.java.frameworks.spring.SpringBoot
88 * A call to an `HttpSecurity` matcher method with argument
99 * `EndpointRequest.toAnyEndpoint()`.
1010 */
11- private class MatcherCall extends MethodCall {
12- MatcherCall ( ) {
11+ private class HttpSecurityMatcherCall extends MethodCall {
12+ HttpSecurityMatcherCall ( ) {
1313 (
1414 this instanceof RequestMatcherCall or
1515 this instanceof SecurityMatcherCall
@@ -22,8 +22,8 @@ private class MatcherCall extends MethodCall {
2222 * A call to an `HttpSecurity` matchers method with lambda
2323 * argument `EndpointRequest.toAnyEndpoint()`.
2424 */
25- private class MatchersCall extends MethodCall {
26- MatchersCall ( ) {
25+ private class HttpSecurityMatchersCall extends MethodCall {
26+ HttpSecurityMatchersCall ( ) {
2727 (
2828 this instanceof RequestMatchersCall or
2929 this instanceof SecurityMatchersCall
@@ -56,10 +56,10 @@ private class AuthorizeCall extends MethodCall {
5656predicate permitsSpringBootActuators ( PermitAllCall permitAllCall ) {
5757 exists ( AuthorizeCall authorizeCall |
5858 // .requestMatcher(EndpointRequest).authorizeRequests([...]).[...]
59- authorizeCall .getQualifier ( ) instanceof MatcherCall
59+ authorizeCall .getQualifier ( ) instanceof HttpSecurityMatcherCall
6060 or
6161 // .requestMatchers(matcher -> EndpointRequest).authorizeRequests([...]).[...]
62- authorizeCall .getQualifier ( ) instanceof MatchersCall
62+ authorizeCall .getQualifier ( ) instanceof HttpSecurityMatchersCall
6363 |
6464 // [...].authorizeRequests(r -> r.anyRequest().permitAll()) or
6565 // [...].authorizeRequests(r -> r.requestMatchers(EndpointRequest).permitAll())
@@ -98,7 +98,7 @@ predicate permitsSpringBootActuators(PermitAllCall permitAllCall) {
9898 permitAllCall .getQualifier ( ) = registryRequestMatchersCall
9999 )
100100 or
101- exists ( Variable v , MatcherCall matcherCall |
101+ exists ( Variable v , HttpSecurityMatcherCall matcherCall |
102102 // http.securityMatcher(EndpointRequest.toAnyEndpoint());
103103 // http.authorizeRequests([...].permitAll())
104104 v .getAnAccess ( ) = authorizeCall .getQualifier ( ) and
0 commit comments