Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Recreational Rosette

Some fun examples of solving problems with symbolic execution
Stars
75
License
No license specified
Open Issues
1
Most Recent Commit
6 years ago
Programming Language
Racket
Categories
Repo
Alternatives To Recreational Rosette
Select To Compare
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213most recent commit 3 months agopypi angr} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Klee ⭐ 2,399
KLEE Symbolic Execution Engine
most recent commit 3 months ago
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
One_gadget ⭐ 1,897
The best tool for finding one gadget RCE in libc.so.6
dependent packages 1total releases 27most recent commit 4 months agorubygems one_gadget} Downloads


Suggest An Alternative To recreational-rosette
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Racket
Symbolic Execution
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.