Hello, Has anyone ever used formal methods or a logic language such as TlaPlus to check Apache Ranger policies? If so, could you please provide examples? ... View more

Hello, Is there a way to list all HDFS directories a (human, not Impala, ...) user has access to, using the Ranger API? Many thanks. ... View more