8 results found Sort:
- Filter by Primary Language:
- C++ (3)
- Python (2)
- C# (1)
- Haskell (1)
- Rust (1)
- +
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Created
2017-06-23
1,945 commits to master branch, last one about a year ago
A LLVM-based static analysis framework.
Created
2018-05-03
3,184 commits to development branch, last one 14 days ago
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Created
2018-03-19
165 commits to master branch, last one 2 years ago
Binary Analysis Framework in Rust
Created
2017-05-04
446 commits to master branch, last one about a year ago
Generic static analysis framework.
Created
2019-06-07
1,312 commits to master branch, last one 2 months ago
Yet another crippled decompiler project
Created
2015-06-03
1,249 commits to master branch, last one 2 years ago
Modular static malicious JavaScript detection system
Created
2019-09-02
11 commits to master branch, last one 3 years ago
Software Security Analysis Course
Created
2024-04-28
118 commits to main branch, last one 16 days ago