Alternatives and similar repositories for manticore:

Users that are interested in manticore are comparing it to the libraries listed below

• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 3 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆35Updated last week
• riscv / configuration-structure
  RISC-V Configuration Structure
  ☆37Updated 4 months ago
• rvkrypto / rvkrypto-fips
  [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension
  ☆27Updated 8 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated this week
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆58Updated last week
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆46Updated this week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆60Updated 8 months ago
• rust-vmm / vm-fdt
  ☆15Updated 7 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated this week
• stefanpie / sa-placer
  ☆14Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆17Updated 11 months ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆22Updated 7 months ago
• seL4 / camkes-vm-examples
  ☆15Updated last week
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated last month
• CTSRD-CHERI / TestRIG
  Testing processors with Random Instruction Generation
  ☆35Updated 2 weeks ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 2 years ago
• keystone-enclave / linux-keystone-driver
  Loadable Module for Keystone Enclave
  ☆19Updated 2 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated last year
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 2 years ago
• tock / elf2tab
  Tool to create Tock Application Bundles from ELF files.
  ☆15Updated last week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• AeroRust / splice
  A DSL for Software-Defined Satellite Applications
  ☆24Updated 4 years ago
• ycrypto / salty
  25519 for Cortex-M4 microcontrollers
  ☆63Updated last year
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆65Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated last week
• rems-project / rmem
  rmem public repo
  ☆41Updated this week
• google / tock-on-titan
  Ports of Tock OS to Titan chips.
  ☆55Updated 2 years ago