Skip to content

Commit 1c3ed6f

Browse files
behnazh-wbehnazh-w
authored
refactor: separate provenance expectation from Datalog policies (#297)
Remove the custom YAML provenance expectation. Run Datalog policies using `verify-policy` action only. Use expectation and policy terminology consistently. Signed-off-by: behnazh-w <[email protected]>
1 parent c2c1bef commit 1c3ed6f

File tree

65 files changed

+693
-5000
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+693
-5000
lines changed

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_repo_path/junit5.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,5 @@
214214
}
215215
],
216216
"dep_status": []
217-
},
218-
"policies_passed": [],
219-
"policies_failed": []
217+
}
220218
}

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_repo_path/micronaut-core.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1902,7 +1902,5 @@
19021902
"status": "MISSING REPO URL"
19031903
}
19041904
]
1905-
},
1906-
"policies_passed": [],
1907-
"policies_failed": []
1905+
}
19081906
}

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_repo_path/micronaut-validation.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -492,7 +492,5 @@
492492
}
493493
],
494494
"dep_status": []
495-
},
496-
"policies_passed": [],
497-
"policies_failed": []
495+
}
498496
}

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_repo_path/reactive-streams.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -212,7 +212,5 @@
212212
}
213213
],
214214
"dep_status": []
215-
},
216-
"policies_passed": [],
217-
"policies_failed": []
215+
}
218216
}

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_repo_path/reactor-core.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -212,7 +212,5 @@
212212
}
213213
],
214214
"dep_status": []
215-
},
216-
"policies_passed": [],
217-
"policies_failed": []
215+
}
218216
}

‎docs/source/_static/examples/micronaut-projects/micronaut-core/analyze_with_sbom/micronaut-core.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1944,7 +1944,5 @@
19441944
"status": "MISSING REPO URL"
19451945
}
19461946
]
1947-
},
1948-
"policies_passed": [],
1949-
"policies_failed": []
1947+
}
19501948
}

‎docs/source/pages/apidoc/macaron.policy_engine.rst‎

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -12,22 +12,6 @@ macaron.policy\_engine package
1212
Submodules
1313
----------
1414

15-
macaron.policy\_engine.exceptions module
16-
----------------------------------------
17-
18-
.. automodule:: macaron.policy_engine.exceptions
19-
:members:
20-
:undoc-members:
21-
:show-inheritance:
22-
23-
macaron.policy\_engine.policy module
24-
------------------------------------
25-
26-
.. automodule:: macaron.policy_engine.policy
27-
:members:
28-
:undoc-members:
29-
:show-inheritance:
30-
3115
macaron.policy\_engine.policy\_engine module
3216
--------------------------------------------
3317

@@ -36,14 +20,6 @@ macaron.policy\_engine.policy\_engine module
3620
:undoc-members:
3721
:show-inheritance:
3822

39-
macaron.policy\_engine.policy\_registry module
40-
----------------------------------------------
41-
42-
.. automodule:: macaron.policy_engine.policy_registry
43-
:members:
44-
:undoc-members:
45-
:show-inheritance:
46-
4723
macaron.policy\_engine.souffle module
4824
-------------------------------------
4925

‎docs/source/pages/apidoc/macaron.slsa_analyzer.provenance.expectations.cue.rst‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
.. Copyright (c) 2023 - 2023, Oracle and/or its affiliates. All rights reserved.
2+
.. Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/.
3+
4+
macaron.slsa\_analyzer.provenance.expectations.cue package
5+
==========================================================
6+
7+
.. automodule:: macaron.slsa_analyzer.provenance.expectations.cue
8+
:members:
9+
:undoc-members:
10+
:show-inheritance:
11+
12+
Submodules
13+
----------
14+
15+
macaron.slsa\_analyzer.provenance.expectations.cue.cue_expectation module
16+
-------------------------------------------------------------------------
17+
18+
.. automodule:: macaron.slsa_analyzer.provenance.expectations.cue.cue_expectation
19+
:members:
20+
:undoc-members:
21+
:show-inheritance:
22+
23+
24+
macaron.slsa\_analyzer.provenance.expectations.cue.cue_validator module
25+
-----------------------------------------------------------------------
26+
27+
.. automodule:: macaron.slsa_analyzer.provenance.expectations.cue.cue_validator
28+
:members:
29+
:undoc-members:
30+
:show-inheritance:

‎docs/source/pages/apidoc/macaron.slsa_analyzer.provenance.expectations.rst‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
.. Copyright (c) 2023 - 2023, Oracle and/or its affiliates. All rights reserved.
2+
.. Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/.
3+
4+
macaron.slsa\_analyzer.provenance.expectations package
5+
======================================================
6+
7+
.. automodule:: macaron.slsa_analyzer.provenance.expectations
8+
:members:
9+
:undoc-members:
10+
:show-inheritance:
11+
12+
Subpackages
13+
-----------
14+
15+
.. toctree::
16+
:maxdepth: 1
17+
18+
macaron.slsa_analyzer.provenance.expectations.cue
19+
20+
Submodules
21+
----------
22+
23+
macaron.slsa\_analyzer.provenance.expectations.expectation module
24+
-----------------------------------------------------------------
25+
26+
.. automodule:: macaron.slsa_analyzer.provenance.expectations.expectation
27+
:members:
28+
:undoc-members:
29+
:show-inheritance:

‎docs/source/pages/apidoc/macaron.slsa_analyzer.provenance.rst‎

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. Copyright (c) 2022 - 2022, Oracle and/or its affiliates. All rights reserved.
1+
.. Copyright (c) 2022 - 2023, Oracle and/or its affiliates. All rights reserved.
22
.. Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/.
33
44
macaron.slsa\_analyzer.provenance package
@@ -9,6 +9,14 @@ macaron.slsa\_analyzer.provenance package
99
:undoc-members:
1010
:show-inheritance:
1111

12+
Subpackages
13+
-----------
14+
15+
.. toctree::
16+
:maxdepth: 1
17+
18+
macaron.slsa_analyzer.provenance.expectations
19+
1220
Submodules
1321
----------
1422

0 commit comments

Comments
 (0)