Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Seclab_eissec

Extracting Instruction Semantics Via Symbolic Execution of Code Generators
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
8 years ago
Programming Language
C
Categories
Repo
Alternatives To Seclab_eissec
Select To Compare
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213most recent commit 5 months agopypi angr} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 10 months agopypi manticore} Downloads
Klee ⭐ 2,399
KLEE Symbolic Execution Engine
most recent commit 5 months ago
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 7 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 7 months agorubygems one_gadget} Downloads


Suggest An Alternative To seclab_eissec
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.
C
Ocaml
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.