Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Pitchfork	67	4 years ago	1	bsd-3-clause	Python
Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
Kleespectre	21	4 years ago	1		C
KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

Alternatives To Kleespectre

Select To Compare

Pitchfork ⭐ 67

Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

most recent commit 4 years ago

Kleespectre ⭐ 21

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

most recent commit 4 years ago

Suggest An Alternative To kleespectre

Alternative Project Comparisons

Kleespectre vs Pitchfork

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,701

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 11 days 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 19 days ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 3 months ago

Popular Spectre Projects

Spectre ⭐ 11,118

Spectre.css - A Lightweight, Responsive and Modern CSS Framework

dependent packages 106total releases 65latest release July 02, 2020most recent commit a year ago

Json Editor ⭐ 4,085

JSON Schema Based Editor

dependent packages 21total releases 41latest release November 16, 2023most recent commit 3 months ago

Spectre Meltdown Checker ⭐ 3,762

Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

most recent commit 3 months ago

Shadowsocks ⭐ 3,012

shadowsocks.wiki

most recent commit a year ago

Meltdown Exploit ⭐ 887

Meltdown Exploit PoC

most recent commit 6 years ago

Popular Security Categories