move float safe/unsafe queries to kmdf folder and fix output strings

Author: jacob-ronstadt

src/drivers/test/diff/FloatUnsafeExit.sarif

@@ -1,38 +1,17 @@
 {
     "all": {
-        "+": 1,
-        "-": 3
+        "+": 0,
+        "-": 0
     },
     "error": {
         "+": 0,
         "-": 0,
         "codes": []
     },
     "warning": {
-        "+": 1,
-        "-": 3,
-        "codes": [
-            [
-                "cpp/drivers/kmdf/float-unsafe-exit Function annotated with _Kernel_float_saved_ but may not call/check return values of safe float access function for some path(s)",
-                0,
-                3
-            ],
-            [
-                "cpp/drivers/kmdf/float-unsafe-exit Function annotated with _Kernel_float_saved_ but does not call a safe float access function for some path(s)\nFunction annotated with _Kernel_float_saved_ but does not check a safe float access function return value for some path(s)",
-                1,
-                0
-            ],
-            [
-                "cpp/drivers/kmdf/float-unsafe-exit Function annotated with _Kernel_float_saved_ but does not call a safe float access function for some path(s)",
-                1,
-                0
-            ],
-            [
-                "cpp/drivers/kmdf/float-unsafe-exit Function annotated with _Kernel_float_saved_ but does not check a safe float access function return value for some path(s)",
-                1,
-                0
-            ]
-        ]
+        "+": 0,
+        "-": 0,
+        "codes": []
     },
     "note": {
         "+": 0,