From d497578c221e82c186c7bdd8aaee8898c4e3f846 Mon Sep 17 00:00:00 2001
From: Matthias Endler <matthias@endler.dev>
Date: Fri, 27 Oct 2023 13:54:41 +0200
Subject: [PATCH] Update data/tools/kani.yml

---
 data/tools/kani.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/tools/kani.yml b/data/tools/kani.yml
index b289bfa83..ff2cf007b 100644
--- 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'