Disable recursion limit in serde_json

This is needed to parse the llbc file emitted by charon on itself ^^'
AeneasVerif · Jul 4, 2024 · 221c021 · 221c021
1 parent 13ba695
commit 221c021
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 2 deletions.
diff --git a/charon/Cargo.lock b/charon/Cargo.lock
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
@@ -39,7 +39,8 @@ petgraph = "0.6.2"
 pretty = "0.12"
 regex = "1.7.1"
 rustc_version = "0.4"
-serde_json = "1.0.91"
+serde_json = { version = "1.0.91", features = ["unbounded_depth"] }
+serde_stacker = "0.1.11"
 serde = { version = "1.0.152", features = ["derive"] }
 stacker = "0.1"
 take_mut = "0.2.2"

diff --git a/charon/tests/generate-ml.rs b/charon/tests/generate-ml.rs
@@ -350,9 +350,15 @@ fn generate_ml() -> Result<()> {
     }
 
     let crate_data: CrateData = {
+        use serde::Deserialize;
         let file = File::open(charon_llbc)?;
         let reader = BufReader::new(file);
-        serde_json::from_reader(reader)?
+        let mut deserializer = serde_json::Deserializer::from_reader(reader);
+        // Deserialize without recursion limit.
+        deserializer.disable_recursion_limit();
+        // Grow stack space as needed.
+        let deserializer = serde_stacker::Deserializer::new(&mut deserializer);
+        CrateData::deserialize(deserializer)?
     };
 
     let mut ctx = GenerateCtx {