Alternatives and similar repositories for ida_riscv

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

• lcq2 / riscv-ida

  View on GitHub
  RISC-V ISA processor module for IDAPro 7.x
  ☆31Sep 5, 2020Updated 5 years ago
• 0xDeva / ida-cpu-RISC-V

  View on GitHub
  RISCV-V disassembler for IDA Pro
  ☆25Mar 26, 2017Updated 8 years ago
• ispras / sydr-benchmark

  View on GitHub
  Sydr benchmark applications
  ☆17Jul 25, 2022Updated 3 years ago
• hargoniX / Leanwuzla

  View on GitHub
  Connecting bv_decide to SMTLIB.
  ☆13Jan 5, 2026Updated last month
• codeplaysoftware / lldb-msp430

  View on GitHub
  Codeplay's tutorial LLDB-MSP430 - as presented at the 2016 EuroLLVM Developers' Meeting in Barcelona.
  ☆11Mar 15, 2016Updated 9 years ago
• JohnLyu2 / z3alpha

  View on GitHub
  Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…
  ☆23Feb 10, 2026Updated last week
• microsoft / mcBV

  View on GitHub
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆22Jun 13, 2023Updated 2 years ago
• svrnm / parallelGBC

  View on GitHub
  Parallel Groebner Basis Computation
  ☆25May 8, 2023Updated 2 years ago
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆16Jan 5, 2022Updated 4 years ago
• philzook58 / eggmt

  View on GitHub
  Egraphs Modulo Theories
  ☆18Jun 10, 2025Updated 8 months ago
• m-zakeri / iust_deep_fuzz

  View on GitHub
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Apr 13, 2023Updated 2 years ago
• MarkusRabe / cadet

  View on GitHub
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Apr 29, 2025Updated 9 months ago
• gatelabdavis / RANE

  View on GitHub
  ☆23Mar 13, 2023Updated 2 years ago
• Pusty / ferret

  View on GitHub
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆24May 1, 2025Updated 9 months ago
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• passlab / DCFG

  View on GitHub
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆22Jul 5, 2017Updated 8 years ago
• xf1les / muslheap

  View on GitHub
  a GDB plug-in for inspecting mallocng
  ☆60Aug 10, 2024Updated last year
• martinjonas / Q3B

  View on GitHub
  ☆32Sep 29, 2025Updated 4 months ago
• triskellib / triskel

  View on GitHub
  A graphing library for Control Flow Graphs
  ☆105Jun 19, 2025Updated 7 months ago
• Sophietje / Verification-Tool-Overview

  View on GitHub
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆31Dec 9, 2023Updated 2 years ago
• purdue-cap / DryadSynth

  View on GitHub
  A SyGuS Solver
  ☆29May 18, 2025Updated 8 months ago
• zhoulaifu / xsat

  View on GitHub
  A Fast Floating-Point Satisfiability Solver
  ☆28Jul 26, 2025Updated 6 months ago
• runekrauss / freddy

  View on GitHub
  A design automation framework to engineer decision diagrams yourself
  ☆25Feb 9, 2026Updated last week
• sabbaghm / c-ll-verilog

  View on GitHub
  An LLVM based mini-C to Verilog High-level Synthesis tool
  ☆39Mar 7, 2025Updated 11 months ago
• HexHive / ShadowStack

  View on GitHub
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39May 2, 2020Updated 5 years ago
• Brasme / usb_ch340_4x_relay_control

  View on GitHub
  USB CH340 Chip 4x Relay Control in Python
  ☆10Aug 20, 2024Updated last year
• ahmedsnoun / Parse-Login-UI-Android

  View on GitHub
  This is a Login application for Android using Parse server.
  ☆10Nov 26, 2018Updated 7 years ago
• shanghai-edu / radius-1xtest

  View on GitHub
  ☆12Jul 3, 2018Updated 7 years ago
• atelier-ritz / Python3.6-32bit--FT232H-libftdi1.4

  View on GitHub
  libftdi1.4 Python3.6 (32 bit) binding for Windows + Adafruit FT232H control
  ☆10Sep 28, 2017Updated 8 years ago
• evanmak / savior-source

  View on GitHub
  source code for savior fuzzer
  ☆127Oct 1, 2020Updated 5 years ago
• tigerpuma / Afl_unicorn

  View on GitHub
  ☆41Nov 20, 2017Updated 8 years ago
• loyaltypollution / ida2llvm

  View on GitHub
  ☆57Jan 8, 2026Updated last month
• lifting-bits / patchestry

  View on GitHub
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆70Feb 10, 2026Updated last week
• xiaobaiyey / DexRewrite

  View on GitHub
  rewrite dex file
  ☆42Dec 15, 2021Updated 4 years ago
• 0xmitsurugi / SandboxingMalware

  View on GitHub
  A malware sandoxed with gdb
  ☆15Jun 27, 2016Updated 9 years ago
• Nikolaj-K / turing-complete-smart-contract

  View on GitHub
  An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.
  ☆13Aug 31, 2018Updated 7 years ago
• karthik-r-rao / VLSI_Physical_Design_Tool

  View on GitHub
  A simple tool to demonstrate the physical design steps of VLSI Design Flow.
  ☆10Dec 13, 2020Updated 5 years ago
• webrtcHacks / first-steps-ortc

  View on GitHub
  First steps with ORTC
  ☆10Feb 3, 2019Updated 7 years ago
• ilyakurdyukov / gravityblur

  View on GitHub
  Image smoothing algorithm.
  ☆10Feb 28, 2020Updated 5 years ago