Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Awesome Symbolic Execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Stars
1,119
License
cc0-1.0
Open Issues
3
Most Recent Commit
9 months ago
Categories
Repo
Alternatives To Awesome Symbolic Execution
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Awesome Frida2,552
a year ago3cc0-1.0
Awesome Frida - A curated list of Frida resources http://www.frida.re/ (https://github.com/frida/frida)
Awesome Symbolic Execution1,119
9 months ago3cc0-1.0
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Alternatives To Awesome Symbolic Execution
Select To Compare


Suggest An Alternative To awesome-symbolic-execution
Alternative Project Comparisons
Awesome Symbolic Execution vs Awesome Frida
Popular Awesome List Projects
Popular Instrumentation Projects
Osquery ⭐ 20,877
SQL powered operating system instrumentation, monitoring, and analytics.
total releases 3latest release March 31, 2018most recent commit 3 months ago
Zipkin ⭐ 16,574
Zipkin is a distributed tracing system
dependent packages 67total releases 122latest release November 16, 2023most recent commit 3 months ago
Frida ⭐ 14,127
Clone this repo to build Frida
dependent packages 2total releases 311latest release November 28, 2023most recent commit 3 months agonpm frida-gadget-ios} Downloads
Objection ⭐ 6,752
📱 objection - runtime mobile exploration
dependent packages 1total releases 75latest release March 30, 2021most recent commit 3 months agopypi objection} Downloads
Byte Buddy ⭐ 5,888
Runtime code generation for the Java virtual machine.
dependent packages 1,533total releases 272latest release November 20, 2023most recent commit 3 months ago
Popular Lists Of Projects Categories
Awesome List
Github Stars
Reading List
Related Searches
Execution Instrumentation
Execution Dynamic Analysis

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Awesome List
Instrumentation
Symbolic Execution
Dynamic Analysis
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.