zift 0.2.2

Scan codebases for embedded authorization logic and generate Policy as Code (Rego/OPA today)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

[rule]
id = "java-access-decision-voter"
languages = ["java"]
category = "custom"
confidence = "medium"
description = "Custom AccessDecisionVoter or security interceptor implementation"
query = """
(class_declaration
  (superclass
    (type_identifier) @parent_class)
) @match

(class_declaration
  (super_interfaces
    (type_list
      (type_identifier) @parent_class))
) @match

(class_declaration
  (super_interfaces
    (type_list
      (generic_type
        (type_identifier) @parent_class)))
) @match

(class_declaration
  (super_interfaces
    (type_list
      (scoped_type_identifier
        (type_identifier) @parent_class .)))
) @match
"""

[rule.predicates.parent_class]
match = "^(AccessDecisionVoter|AbstractAccessDecisionManager|SecurityInterceptor|AbstractSecurityInterceptor|PermissionEvaluator)$"

[[rule.tests]]
input = """
public class CustomVoter extends AbstractAccessDecisionManager {
    public int vote() { return 0; }
}
"""
expect_match = true

# Generic interface: `implements AccessDecisionVoter<Object>` parses as a
# `generic_type` wrapper around the `type_identifier` — pin so the rule keeps
# matching parameterized Spring Security interfaces.
[[rule.tests]]
input = """
public class CustomVoter implements AccessDecisionVoter<Object> {
    public int vote() { return 0; }
}
"""
expect_match = true

# Fully-qualified interface name parses as `scoped_type_identifier`.
[[rule.tests]]
input = """
public class CustomEvaluator implements org.springframework.security.access.PermissionEvaluator {
    public boolean hasPermission(Object o, Object p) { return false; }
}
"""
expect_match = true

[[rule.tests]]
input = """
public class MyService extends BaseService {
    public void doWork() { }
}
"""
expect_match = false