Predicate exposesSensitiveEndpoint
Holds if JavaPropertyOption jpOption of a repository using SpringBootStarterActuatorDependency
d exposes sensitive Spring Boot Actuator endpoints.
Import path
import semmle.code.java.security.SpringBootActuatorsConfigQuerypredicate exposesSensitiveEndpoint(SpringBootStarterActuatorDependency d, JavaPropertyOption jpOption)