eddyb / sobekLinks
Reverse engineering framework.
☆36Updated 3 years ago
Alternatives and similar repositories for sobek
Users that are interested in sobek are comparing it to the libraries listed below
Sorting:
- A symbolic evaluator for MIR☆19Updated 5 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 7 months ago
- ☆27Updated 4 years ago
- Ambient Authority☆21Updated 2 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- Target "triple" support☆53Updated last month
- ☆27Updated 4 years ago
- Rust std::io with all the parts that don't work in core removed.☆36Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 4 months ago
- We have Crater At Home☆36Updated 11 months ago
- A safe and reliable process manager☆43Updated 5 years ago
- ☆37Updated 10 months ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated last year
- Compares two equal-sized byte strings in constant time.☆42Updated 4 months ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Updated 5 years ago
- A safe-guarded transmute for Rust☆39Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 3 years ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- Check that a crate builds without libstd☆25Updated 4 years ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆28Updated 2 months ago
- Arbitrary width integers☆21Updated 2 months ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- std::Error in no_std environment.☆39Updated 4 years ago
- Faster integer division and modulus operations☆87Updated 4 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Allows for proper and easy handling of volatile memory☆40Updated last year
- ☆31Updated 5 years ago
- Memory validation framework for Rust☆70Updated 3 weeks ago
- Token tree calling convention☆80Updated 2 years ago