fmt

Author: toolCHAINZ

jingle/src/analysis/cfg/mod.rs

@@ -138,7 +138,11 @@ impl<N: CfgState, D: ModelTransition<N::Model>> PcodeCfg<N, D> {
         let old_idx = self.indices.get(old_weight.borrow()).copied();
         let new_idx = self.indices.get(new_weight.borrow()).copied();
 
-        tracing::debug!("replace_and_combine_nodes called: old_idx={:?}, new_idx={:?}", old_idx, new_idx);
+        tracing::debug!(
+            "replace_and_combine_nodes called: old_idx={:?}, new_idx={:?}",
+            old_idx,
+            new_idx
+        );
 
         if let (Some(old_idx), Some(new_idx)) = (old_idx, new_idx) {
             // If the indices are the same, the nodes are already merged - nothing to do
@@ -188,7 +192,9 @@ impl<N: CfgState, D: ModelTransition<N::Model>> PcodeCfg<N, D> {
             self.indices.remove(old_weight.borrow());
 
             // Update the ops map: prefer the op from new_weight if it exists, otherwise use old_weight's op
-            let op_to_keep = self.ops.get(new_weight.borrow())
+            let op_to_keep = self
+                .ops
+                .get(new_weight.borrow())
                 .or_else(|| self.ops.get(old_weight.borrow()))
                 .cloned();
 
@@ -197,7 +203,7 @@ impl<N: CfgState, D: ModelTransition<N::Model>> PcodeCfg<N, D> {
 
             if let Some(op) = op_to_keep {
                 self.ops.insert(new_weight.borrow().clone(), op);
-            }else{
+            } else {
                 dbg!("Missing op!");
             }
         }

jingle/src/analysis/cpa/mod.rs

@@ -136,9 +136,12 @@ where
                         was_merged = true;
                     }
                 }
-                if !was_merged{
+                if !was_merged {
                     // record that a new state was reach without merging
-                    tracing::debug!("Adding new state without merging: {}", StateDisplayWrapper(&dest_state));
+                    tracing::debug!(
+                        "Adding new state without merging: {}",
+                        StateDisplayWrapper(&dest_state)
+                    );
                     reducer.new_state(&state, &dest_state, &op);
                 }
 

jingle/src/analysis/cpa/reducer.rs

@@ -76,7 +76,7 @@ where
         // from src->dst and add a new edge with no-op payload is not supported.
         // We only proceed when there is an op provided (matches unwinding impl).
         self.cfg.replace_and_combine_nodes(dest_state, merged_state);
-        if let Some(op) = op{
+        if let Some(op) = op {
             self.cfg.add_edge(state, merged_state, op);
         }
     }

jingle/src/analysis/direct_location/mod.rs

@@ -6,7 +6,9 @@ use crate::analysis::cpa::lattice::JoinSemiLattice;
 
 use crate::analysis::cpa::lattice::pcode::PcodeAddressLattice;
 use crate::analysis::cpa::reducer::CfgReducer;
-use crate::analysis::cpa::state::{AbstractState, LocationState, MergeOutcome, StateDisplay, Successor};
+use crate::analysis::cpa::state::{
+    AbstractState, LocationState, MergeOutcome, StateDisplay, Successor,
+};
 use crate::analysis::cpa::{ConfigurableProgramAnalysis, IntoState};
 use crate::analysis::direct_valuation::VarnodeValue;
 use crate::analysis::pcode_store::PcodeStore;