symbolic-execution
Tracked open-source repos tagged symbolic-execution, sorted by stars.
Related topics
Topics that frequently appear alongside symbolic-execution on the same repo.
Recent risers
Repos created in the last 90 days, tagged symbolic-execution.
No new repos tagged with this topic in the last 90 days.
- #1
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
★ 4,281+7Star change over the last 7 days - #2
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
★ 4,265+0Star change over the last 7 days - #3★ 3,947+3Star change over the last 7 days
- #4★ 2,975+1Star change over the last 7 days
- #5★ 2,254+1Star change over the last 7 days
- #6★ 1,627+0Star change over the last 7 days
- #7
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
★ 1,497+1Star change over the last 7 days - #8
An analysis tool for Python that blurs the line between testing and type systems.
★ 1,319+2Star change over the last 7 days - #9★ 1,163+4Star change over the last 7 days
- #10★ 1,090+0Star change over the last 7 days
- #11★ 862+0Star change over the last 7 days
- #12
Use angr in Ghidra
★ 623+0Star change over the last 7 days - #13★ 588+1Star change over the last 7 days
