diff --git a/src/plugins/markdown-report/sarif_gen.ml b/src/plugins/markdown-report/sarif_gen.ml
index df7eba964893c84d1e2eb46b96ef32c3c21c7e84..ea8e9bd9b011d5a90f60c0d0801d883834ae1bd5 100644
--- a/src/plugins/markdown-report/sarif_gen.ml
+++ b/src/plugins/markdown-report/sarif_gen.ml
@@ -22,9 +22,20 @@ let get_remark remarks label =
   | None -> []
   | Some l -> l
 
+let command_line () = Array.to_list Sys.argv
+
+module Analysis_cmdline =
+  State_builder.Ref(Datatype.List(Datatype.String))
+    (struct
+      let name = "Sarif_gen.Analysis_cmdline"
+      let dependencies = []
+      let default = command_line
+    end)
+
 let gen_invocation () =
-  let commandLine = Array.fold_right (fun s acc -> s ^ " " ^ acc) Sys.argv "" in
-  let arguments = List.tl (Array.to_list Sys.argv) in
+  let cl = Analysis_cmdline.get () in
+  let commandLine = String.concat " " cl in
+  let arguments = List.tl cl in
   Invocation.create ~commandLine ~arguments ()
 
 let gen_remark alarm =