diff --git a/pkgs/development/tools/misc/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch b/pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch
similarity index 100%
rename from pkgs/development/tools/misc/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch
rename to pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch
diff --git a/pkgs/development/tools/misc/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix
similarity index 100%
rename from pkgs/development/tools/misc/frama-c/default.nix
rename to pkgs/development/tools/analysis/frama-c/default.nix
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index e416cd41682..03c98daf737 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3729,7 +3729,7 @@ let
 
   coccinelle = callPackage ../development/tools/misc/coccinelle { };
 
-  framac = callPackage ../development/tools/misc/frama-c { };
+  framac = callPackage ../development/tools/analysis/frama-c { };
 
   cppi = callPackage ../development/tools/misc/cppi { };