-
Notifications
You must be signed in to change notification settings - Fork 64
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: add vulnerability report verifier
- Loading branch information
1 parent
4ff7854
commit 9275cb5
Showing
25 changed files
with
7,700 additions
and
14 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
14 changes: 14 additions & 0 deletions
14
config/samples/config_v1beta1_verifier_vulnerabilityreport.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,14 @@ | ||
| apiVersion: config.ratify.deislabs.io/v1beta1 | ||
| kind: Verifier | ||
| metadata: | ||
| name: verifier-vulnerabilityreport | ||
| spec: | ||
| name: vulnerabilityreport | ||
| artifactTypes: application/sarif+json | ||
| parameters: | ||
| maximumAge: 24h | ||
| disallowedSeverity: | ||
| - high | ||
| - critical | ||
| denylistCVEs: | ||
| - CVE-2021-44228 # Log4Shell |
11 changes: 11 additions & 0 deletions
11
config/samples/config_v1beta1_verifier_vulnerabilityreport2.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,11 @@ | ||
| apiVersion: config.ratify.deislabs.io/v1beta1 | ||
| kind: Verifier | ||
| metadata: | ||
| name: verifier-vulnerabilityreport | ||
| spec: | ||
| name: vulnerabilityreport | ||
| artifactTypes: application/sarif+json | ||
| parameters: | ||
| maximumAge: 24h | ||
| denylistCVEs: | ||
| - CVE-2021-44228 # Log4Shell |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
11 changes: 11 additions & 0 deletions
11
library/notation-nested-validation/samples/constraint.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,11 @@ | ||
| apiVersion: constraints.gatekeeper.sh/v1beta1 | ||
| kind: NotationNestedValidation | ||
| metadata: | ||
| name: notation-nested-constraint | ||
| spec: | ||
| enforcementAction: deny | ||
| match: | ||
| kinds: | ||
| - apiGroups: [""] | ||
| kinds: ["Pod"] | ||
| namespaces: ["default"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,80 @@ | ||
| apiVersion: templates.gatekeeper.sh/v1beta1 | ||
| kind: ConstraintTemplate | ||
| metadata: | ||
| name: notationnestedvalidation | ||
| spec: | ||
| crd: | ||
| spec: | ||
| names: | ||
| kind: NotationNestedValidation | ||
| validation: | ||
| openAPIV3Schema: | ||
| type: object | ||
| properties: | ||
| issuer: | ||
| type: string | ||
| targets: | ||
| - target: admission.k8s.gatekeeper.sh | ||
| rego: | | ||
| package notationnestedvalidation | ||
| import future.keywords.if | ||
| remote_data := response { | ||
| images := [img | img = input.review.object.spec.containers[_].image] | ||
| images_init := [img | img = input.review.object.spec.initContainers[_].image] | ||
| images_ephemeral := [img | img = input.review.object.spec.ephemeralContainers[_].image] | ||
| other_images := array.concat(images_init, images_ephemeral) | ||
| all_images := array.concat(other_images, images) | ||
| response := external_data({"provider": "ratify-provider", "keys": all_images}) | ||
| } | ||
| violation[{"msg": msg}] { | ||
| general_violation[{"result": msg}] | ||
| } | ||
| # Check if there are any system errors | ||
| general_violation[{"result": result}] { | ||
| err := remote_data.system_error | ||
| err != "" | ||
| result := sprintf("System error calling external data provider: %s", [err]) | ||
| } | ||
| # Check if there are errors for any of the images | ||
| general_violation[{"result": result}] { | ||
| count(remote_data.errors) > 0 | ||
| result := sprintf("Error validating one or more images: %s", remote_data.errors) | ||
| } | ||
| # Check if the success criteria is true | ||
| general_violation[{"result": result}] { | ||
| subject_validation := remote_data.responses[_] | ||
| subject_result := subject_validation[1] | ||
| failed_verify(subject_result) | ||
| result := sprintf("Subject failed verification: %s", [subject_validation[0]]) | ||
| } | ||
| failed_verify(reports) if { | ||
| newReports := {"nestedResults": reports.verifierReports} | ||
| has_subject_failed_verify(newReports) | ||
| } | ||
| has_subject_failed_verify(nestedReports) if { | ||
| [path, value] := walk(nestedReports) | ||
| path[count(path) - 1] == "nestedResults" | ||
| not notary_signature_pass_verify(value) | ||
| } | ||
| notary_signature_pass_verify(nestedReports) if { | ||
| count_with_success := notary_signature_signature_count(nestedReports) | ||
| count_with_success > 0 | ||
| } | ||
| notary_signature_signature_count(nestedReports) := number if { | ||
| sigs := [x | | ||
| some i | ||
| nestedReports[i].isSuccess == true | ||
| nestedReports[i].artifactType == "application/vnd.cncf.notary.signature" | ||
| x := nestedReports[i].subject | ||
| ] | ||
| number := count(sigs) | ||
| } | ||
11 changes: 11 additions & 0 deletions
11
library/vulnerability-report-validation/samples/constraint.yaml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,11 @@ | ||
| apiVersion: constraints.gatekeeper.sh/v1beta1 | ||
| kind: VulnerabilityReportValidation | ||
| metadata: | ||
| name: vulnerability-report-validation-constraint | ||
| spec: | ||
| enforcementAction: deny | ||
| match: | ||
| kinds: | ||
| - apiGroups: [""] | ||
| kinds: ["Pod"] | ||
| namespaces: ["default"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,82 @@ | ||
| apiVersion: templates.gatekeeper.sh/v1beta1 | ||
| kind: ConstraintTemplate | ||
| metadata: | ||
| name: vulnerabilityreportvalidation | ||
| spec: | ||
| crd: | ||
| spec: | ||
| names: | ||
| kind: VulnerabilityReportValidation | ||
| validation: | ||
| openAPIV3Schema: | ||
| type: object | ||
| properties: | ||
| issuer: | ||
| type: string | ||
| targets: | ||
| - target: admission.k8s.gatekeeper.sh | ||
| rego: | | ||
| package vulnerabilityreportvalidation | ||
| # TODO: add support for custom reason message propagating to user | ||
| import future.keywords.if | ||
| import future.keywords.in | ||
| import future.keywords.every | ||
| default require_signature := false # change to true to require notation signature on vulnerability report | ||
| # Get data from Ratify | ||
| remote_data := response { | ||
| images := [img | img = input.review.object.spec.containers[_].image] | ||
| images_init := [img | img = input.review.object.spec.initContainers[_].image] | ||
| images_ephemeral := [img | img = input.review.object.spec.ephemeralContainers[_].image] | ||
| other_images := array.concat(images_init, images_ephemeral) | ||
| all_images := array.concat(other_images, images) | ||
| response := external_data({"provider": "ratify-provider", "keys": all_images}) | ||
| } | ||
| violation[{"msg": msg}] { | ||
| general_violation[{"result": msg}] | ||
| } | ||
| # Check if there are any system errors | ||
| general_violation[{"result": result}] { | ||
| err := remote_data.system_error | ||
| err != "" | ||
| result := sprintf("System error calling external data provider: %s", [err]) | ||
| } | ||
| # Check if there are errors for any of the images | ||
| general_violation[{"result": result}] { | ||
| count(remote_data.errors) > 0 | ||
| result := sprintf("Error validating one or more images: %s", remote_data.errors) | ||
| } | ||
| # Check if the success criteria is true | ||
| general_violation[{"result": result}] { | ||
| subject_validation := remote_data.responses[_] | ||
| subject_result := subject_validation[1] | ||
| vuln_results := [res | subject_result.verifierReports[i].name == "vulnerabilityreport"; res := subject_result.verifierReports[i]] | ||
| count(vuln_results) > 0 | ||
| not process_vuln_reports(vuln_results) | ||
| result := sprintf("Subject failed verification: %s", [subject_validation[0]]) | ||
| } | ||
| process_vuln_reports(reports) if { | ||
| # At least one report must be valid | ||
| some vuln_report in reports | ||
| vuln_report.isSuccess == true | ||
| valid_signatures(vuln_report) | ||
| } | ||
| valid_signatures(_) := true { | ||
| require_signature == false | ||
| } | ||
| valid_signatures(report) := true { | ||
| require_signature | ||
| count(report.nestedResults) > 0 | ||
| some nestedResult in report.nestedResults | ||
| nestedResult.artifactType == "application/vnd.cncf.notary.signature" | ||
| nestedResult.isSuccess | ||
| } |
Oops, something went wrong.