diff --git a/cerberus/.frama-c/GNUmakefile b/cerberus/.frama-c/GNUmakefile
index c281c4c1a2eb603b7131887d667dd3f94c0604e1..18c15765777eee4d303e08728b6652826852d6d9 100644
--- a/cerberus/.frama-c/GNUmakefile
+++ b/cerberus/.frama-c/GNUmakefile
@@ -25,7 +25,7 @@ FCFLAGS     += \
 ## Eva-specific flags
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
-  -slevel 6000 \
+  -eva-slevel 6000 \
 
 ## GUI-only flags
 FCGUIFLAGS += \
diff --git a/frama-c b/frama-c
index 82ccc1c0c7e8e2d3261b4b7d198fa0ba64173a0b..eb841ff9f52582b05d0a0270d38fcb9d1015fcab 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 82ccc1c0c7e8e2d3261b4b7d198fa0ba64173a0b
+Subproject commit eb841ff9f52582b05d0a0270d38fcb9d1015fcab
diff --git a/gzip124/.frama-c/GNUmakefile b/gzip124/.frama-c/GNUmakefile
index ab966e75bc7a355396cab144aa8ecc682114d89b..4dbcec9267884a6b2b92667ef89117c107161278 100644
--- a/gzip124/.frama-c/GNUmakefile
+++ b/gzip124/.frama-c/GNUmakefile
@@ -29,7 +29,7 @@ FCFLAGS  += \
 
 ## Eva-specific flags
 EVAFLAGS += \
-  -slevel 4 \
+  -eva-slevel 4 \
   -eva-no-alloc-returns-null \
   -eva-no-builtins-auto \
   -eva-widening-delay 3 \
diff --git a/icpc/.frama-c/GNUmakefile b/icpc/.frama-c/GNUmakefile
index 7890738ac04cb2719c217ccffabcc6c5ec07e755..73d48a523df0f7507fa20e5ed05e3f9f33028c50 100644
--- a/icpc/.frama-c/GNUmakefile
+++ b/icpc/.frama-c/GNUmakefile
@@ -21,7 +21,7 @@ FCFLAGS     += \
 
 ## Eva-specific flags
 EVAFLAGS    += \
-  -slevel 16 \
+  -eva-slevel 16 \
   -eva-domains equality \
 
 ## GUI-only flags
diff --git a/jsmn/.frama-c/GNUmakefile b/jsmn/.frama-c/GNUmakefile
index e2bd5ce794d4358d51c824cbca1c69d3be45145e..0bec8506a58c704aeed9c6e26b087ac5da9b4de1 100644
--- a/jsmn/.frama-c/GNUmakefile
+++ b/jsmn/.frama-c/GNUmakefile
@@ -24,7 +24,7 @@ FCFLAGS     += \
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
   -eva-no-alloc-returns-null \
-  -slevel 300 \
+  -eva-slevel 300 \
 
 ## GUI-only flags
 FCGUIFLAGS += \
diff --git a/kilo/.frama-c/GNUmakefile b/kilo/.frama-c/GNUmakefile
index 3a778976ed29eb3a9184fc6627eb2953a12c079a..68a61c2882c7ddc1b4ef744003e273151d8c1e26 100644
--- a/kilo/.frama-c/GNUmakefile
+++ b/kilo/.frama-c/GNUmakefile
@@ -25,7 +25,7 @@ EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
   -eva-no-alloc-returns-null \
   -main eva_main \
-  -slevel 2 \
+  -eva-slevel 2 \
 
 ## GUI-only flags
 FCGUIFLAGS += \
diff --git a/monocypher/.frama-c/GNUmakefile b/monocypher/.frama-c/GNUmakefile
index c9675cf9b471a64ded57c57eaa8457264636b3d6..fed7910967d04ff568ec6083f50c06c63d84c77e 100644
--- a/monocypher/.frama-c/GNUmakefile
+++ b/monocypher/.frama-c/GNUmakefile
@@ -25,7 +25,7 @@ FCFLAGS     += \
 
 ## Eva-specific flags
 EVAFLAGS    += \
-  -slevel 8 \
+  -eva-slevel 8 \
   -eva-split-return auto \
   -eva-warn-key signed-overflow=inactive \
   -eva-warn-key builtins:missing-spec=abort \
diff --git a/papabench/.frama-c/GNUmakefile b/papabench/.frama-c/GNUmakefile
index 6fa8d7ff440db37b3af07f5d303302dbf988266f..6e649a15b5218e522c5203b79c768258ec77389f 100644
--- a/papabench/.frama-c/GNUmakefile
+++ b/papabench/.frama-c/GNUmakefile
@@ -32,7 +32,7 @@ FCFLAGS     += \
 ## Eva-specific flags
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
-  -slevel 1 \
+  -eva-slevel 1 \
 
 ## GUI-only flags
 FCGUIFLAGS += \
diff --git a/semver/.frama-c/GNUmakefile b/semver/.frama-c/GNUmakefile
index 14fb40e18606a8b6d5778120d76734dcf9e7cfa0..61ea3df7431e012726964ee261cf4c343ce44f41 100644
--- a/semver/.frama-c/GNUmakefile
+++ b/semver/.frama-c/GNUmakefile
@@ -24,7 +24,7 @@ FCFLAGS     += \
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
   -eva-alloc-builtin fresh \
-  -slevel 82 \
+  -eva-slevel 82 \
 
 ## GUI-only flags
 FCGUIFLAGS += \