diff --git a/data/tools/kani.yml b/data/tools/kani.yml index dada8a3c50..1eee45a33d 100644 --- a/data/tools/kani.yml +++ b/data/tools/kani.yml @@ -6,15 +6,15 @@ types: tags: - rust - security -license: 'MIT & Apache 2.0' -source: 'https://github.com/model-checking/kani' -homepage: 'https://github.com/model-checking/kani' -description: >- +license: "MIT & Apache 2.0" +source: "https://github.com/model-checking/kani" +homepage: "https://github.com/model-checking/kani" +description: | The Kani Rust Verifier is a bit-precise model checker for Rust. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler. Kani verifies: - + * Memory safety (e.g., null pointer dereferences) * User-specified assertions (i.e., assert!(...)) * The absence of panics (e.g., unwrap() on None values) diff --git a/data/tools/kubeconform.yml b/data/tools/kubeconform.yml index 057c2ce7b9..ba0200df33 100644 --- a/data/tools/kubeconform.yml +++ b/data/tools/kubeconform.yml @@ -11,7 +11,7 @@ homepage: "https://github.com/yannh/kubeconform" resources: - title: Ensuring Kubernetes manifests validity & compliance - a tooling overview - Yann Hamon, Contentful url: https://youtu.be/YM7Wy_M7Lvw?t=657 -description: >- +description: | A fast Kubernetes manifests validator with support for custom resources. It is inspired by, contains code from and is designed to stay close to [Kubeval](https://analysis-tools.dev/tool/kubeval),