Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 2 Security Symbolic Execution Taint Analysis Open Source Projects

Open source projects categorized as Security Symbolic Execution Taint Analysis
Categories > Security > Security
Categories > Security > Symbolic Execution
Categories > Security > Taint Analysis
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 6 months ago
Angora ⭐ 867
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
most recent commit 2 years ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
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.