[rwth-security] Detecting unsafe path access patterns with PathAuditor