Update data/tools/kani.yml

analysis-tools-dev · Oct 27, 2023 · d497578 · d497578
1 parent 9e20be3
commit d497578
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/tools/kani.yml b/data/tools/kani.yml
@@ -3,7 +3,7 @@ categories:
   - wasd
 tags:
   - rust
-  - Security/SAST
+  - security
 license: 'MIT & Apache 2.0' 
 source: 'https://github.com/model-checking/kani'
 homepage: 'https://github.com/model-checking/kani'