Migrate

Author: toolCHAINZ

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-resolver = "2"
+resolver = "3"
 members = ["crackers", "crackers_python"]
 
 [profile.dev]

crackers/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "crackers"
 version = "0.1.0"
-edition = "2021"
+edition = "2024"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

crackers/src/bench/mod.rs

@@ -3,11 +3,11 @@ use std::path::PathBuf;
 
 use clap::Parser;
 use tracing::level_filters::LevelFilter;
-use tracing::{event, Level};
+use tracing::{Level, event};
 use tracing_indicatif::IndicatifLayer;
+use tracing_subscriber::EnvFilter;
 use tracing_subscriber::layer::SubscriberExt;
 use tracing_subscriber::util::SubscriberInitExt;
-use tracing_subscriber::EnvFilter;
 use z3::{Config, Context};
 
 use crate::config::CrackersConfig;

crackers/src/bin/crackers/main.rs

@@ -4,22 +4,22 @@ use std::path::PathBuf;
 
 use clap::{Parser, Subcommand};
 use toml_edit::ser::to_string_pretty;
-use tracing::{event, Level};
+use tracing::{Level, event};
 use tracing_indicatif::IndicatifLayer;
+use tracing_subscriber::EnvFilter;
 use tracing_subscriber::filter::LevelFilter;
 use tracing_subscriber::layer::SubscriberExt;
 use tracing_subscriber::util::SubscriberInitExt;
-use tracing_subscriber::EnvFilter;
 use z3::{Config, Context};
 
-use crackers::bench::{bench, BenchCommand};
+use crackers::bench::{BenchCommand, bench};
+use crackers::config::CrackersConfig;
 use crackers::config::constraint::{
     ConstraintConfig, MemoryEqualityConstraint, PointerRange, PointerRangeConstraints,
     StateEqualityConstraint,
 };
 use crackers::config::sleigh::SleighConfig;
 use crackers::config::specification::SpecificationConfig;
-use crackers::config::CrackersConfig;
 use crackers::synthesis::DecisionResult;
 
 #[derive(Parser, Debug)]

crackers/src/config/constraint.rs

@@ -1,17 +1,17 @@
 use crate::error::CrackersError;
 use crate::synthesis::builder::{StateConstraintGenerator, TransitionConstraintGenerator};
+use jingle::JingleContext;
 use jingle::modeling::{ModeledBlock, ModelingContext, State};
 use jingle::sleigh::{ArchInfoProvider, VarNode};
 use jingle::varnode::{ResolvedIndirectVarNode, ResolvedVarnode};
-use jingle::JingleContext;
 #[cfg(feature = "pyo3")]
 use pyo3::pyclass;
 use serde::{Deserialize, Serialize};
 use std::collections::HashMap;
 use std::ops::Add;
 use std::sync::Arc;
-use tracing::{event, Level};
-use z3::ast::{Ast, Bool, BV};
+use tracing::{Level, event};
+use z3::ast::{Ast, BV, Bool};
 
 #[derive(Clone, Debug, Deserialize, Serialize, Default)]
 #[cfg_attr(feature = "pyo3", pyclass(get_all, set_all))]
@@ -129,10 +129,10 @@ pub struct PointerRange {
 pub fn gen_memory_constraint(
     m: MemoryEqualityConstraint,
 ) -> impl for<'a> Fn(&JingleContext<'a>, &State<'a>, u64) -> Result<Bool<'a>, CrackersError>
-       + Send
-       + Sync
-       + Clone
-       + 'static {
++ Send
++ Sync
++ Clone
++ 'static {
     move |jingle, state, _addr| {
         let data = state.read_varnode(&state.varnode(&m.space, m.address, m.size).unwrap())?;
         let constraint = data._eq(&BV::from_u64(jingle.z3, m.value as u64, data.get_size()));
@@ -146,10 +146,10 @@ pub fn gen_register_constraint(
     vn: VarNode,
     value: u64,
 ) -> impl for<'a> Fn(&JingleContext<'a>, &State<'a>, u64) -> Result<Bool<'a>, CrackersError>
-       + 'static
-       + Send
-       + Sync
-       + Clone {
++ 'static
++ Send
++ Sync
++ Clone {
     move |jingle, state, _addr| {
         let data = state.read_varnode(&vn)?;
         let constraint = data._eq(&BV::from_u64(jingle.z3, value, data.get_size()));
@@ -209,8 +209,8 @@ pub fn gen_pointer_range_state_invariant<'ctx>(
     &ResolvedVarnode<'a>,
     &State<'a>,
 ) -> Result<Option<Bool<'a>>, CrackersError>
-       + 'ctx
-       + Clone {
++ 'ctx
++ Clone {
     move |jingle, vn, state| {
         match vn {
             ResolvedVarnode::Direct(d) => {
@@ -245,10 +245,10 @@ pub fn gen_pointer_range_state_invariant<'ctx>(
 pub fn gen_pointer_range_transition_invariant(
     m: PointerRangeConstraints,
 ) -> impl for<'a> Fn(&JingleContext<'a>, &ModeledBlock<'a>) -> Result<Option<Bool<'a>>, CrackersError>
-       + Send
-       + Sync
-       + Clone
-       + 'static {
++ Send
++ Sync
++ Clone
++ 'static {
     move |jingle, block| {
         let mut bools = vec![];
         if let Some(r) = &m.read {

crackers/src/config/error.rs

@@ -1,5 +1,5 @@
-use jingle::sleigh::JingleSleighError;
 use jingle::JingleError;
+use jingle::sleigh::JingleSleighError;
 use thiserror::Error;
 
 #[derive(Debug, Error)]
@@ -16,7 +16,9 @@ pub enum CrackersConfigError {
     LibraryParse,
     #[error("Spec objects must have a '.text' symbol")]
     SpecMissingTextSection,
-    #[error("Unable to determine the architecture of the provided object file. This is a config file limitation and not a sleigh limitation.")]
+    #[error(
+        "Unable to determine the architecture of the provided object file. This is a config file limitation and not a sleigh limitation."
+    )]
     UnrecognizedArchitecture(String),
     #[error("An error initializing sleigh for a file specified in the config")]
     Sleigh(#[from] JingleError),

crackers/src/config/object.rs

@@ -3,7 +3,7 @@
 use std::fs;
 use std::path::Path;
 
-use jingle::sleigh::context::image::gimli::{map_gimli_architecture, OwnedFile};
+use jingle::sleigh::context::image::gimli::{OwnedFile, map_gimli_architecture};
 use jingle::sleigh::context::loaded::LoadedSleighContext;
 use object::{File, Object};
 

crackers/src/config/specification.rs

@@ -1,7 +1,7 @@
 use std::fs;
 
-use jingle::sleigh::context::loaded::LoadedSleighContext;
 use jingle::sleigh::Instruction;
+use jingle::sleigh::context::loaded::LoadedSleighContext;
 use object::{File, Object, ObjectSymbol};
 #[cfg(feature = "pyo3")]
 use pyo3::{pyclass, pymethods};

crackers/src/error.rs

@@ -1,8 +1,8 @@
 use jingle::JingleError;
 #[cfg(feature = "pyo3")]
-use pyo3::exceptions::PyRuntimeError;
-#[cfg(feature = "pyo3")]
 use pyo3::PyErr;
+#[cfg(feature = "pyo3")]
+use pyo3::exceptions::PyRuntimeError;
 use thiserror::Error;
 
 use crate::config::error::CrackersConfigError;

crackers/src/gadget/another_iterator.rs

@@ -1,12 +1,12 @@
+use jingle::JingleContext;
 use jingle::modeling::{ModeledInstruction, ModelingContext};
 use jingle::sleigh::{Instruction, OpCode};
-use jingle::JingleContext;
 use tracing::trace;
-use z3::ast::Ast;
 use z3::Solver;
+use z3::ast::Ast;
 
-use crate::gadget::signature::GadgetSignature;
 use crate::gadget::Gadget;
+use crate::gadget::signature::GadgetSignature;
 
 pub struct TraceCandidateIterator<'ctx, 'a, T>
 where
@@ -54,8 +54,7 @@ where
                 .map(|i| {
                     trace!(
                         "Checking {} signature vs gadget {}",
-                        i.instr.disassembly,
-                        gadget
+                        i.instr.disassembly, gadget
                     );
 
                     gadget_signature.covers(&GadgetSignature::from_instr(&i.instr, i))