Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Symex Vp	14	7 months ago		gpl-3.0	C++
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Smartcat	5	4 years ago	n,ull	gpl-3.0	C
SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool

Alternatives To Smartcat

Select To Compare

Symex Vp ⭐ 14

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

most recent commit 7 months ago

Smartcat ⭐ 5

SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool

most recent commit 4 years ago

Suggest An Alternative To SMArTCAT

Alternative Project Comparisons

Smartcat vs Symex Vp

Popular Risc V Projects

Ncnn ⭐ 19,097

ncnn is a high-performance neural network inference framework optimized for the mobile platform

dependent packages 1total releases 26latest release October 27, 2023most recent commit 17 days ago

Rt Thread ⭐ 9,221

RT-Thread is an open source IoT real-time operating system (RTOS).

most recent commit 3 months ago

Platformio Core ⭐ 7,474

Your Gateway to Embedded Software Development Excellence :alien:

total releases 16latest release August 12, 2022most recent commit a month ago

Capstone ⭐ 7,022

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

dependent packages 2total releases 2latest release April 12, 2022most recent commit 7 days ago

Unicorn ⭐ 6,921

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

dependent packages 4total releases 8latest release November 01, 2022most recent commit 3 months ago

Popular Symbolic Execution Projects

Angr ⭐ 7,005

A powerful and user-friendly binary analysis platform!

dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months ago

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

dependent packages 7total releases 310latest release November 19, 2023most recent commit a day ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dependent packages 1total releases 3latest release December 23, 2022most recent commit 21 days ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 3 months ago

Popular Hardware Categories