Pinned Repositories
2over12.github.io
My pages.
bap_ai
ConstraintLang
Implements a symbolic language over a bare-bones version of BSL
crab
Continuous Redundant Analysis of Behavior
falcon
Formal Binary Analysis Framework in Rust
rure
Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
simple_verif
sleigh-lsp-extension
Symbb
Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.
archr
Target-centric program analysis.
2over12's Repositories
2over12/crab
Continuous Redundant Analysis of Behavior
2over12/GenRule
An unsupervised machine learning system that given a series of results from a singular attack generates snort rules to block these attacks.
2over12/afl-vv
A version of afl with a more explicit bitmap
2over12/ATC
Another text classifier... (Naive Bayes)
2over12/certbot
Certbot, previously the Let's Encrypt Client, is EFF's tool to obtain certs from Let's Encrypt, and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
2over12/driller-afl
A version of AFL tailored for Driller's use in analyzing CGC binaries.
2over12/hybriduaf
Experimental UAF detection system utilizing hybrid execution.
2over12/LBH
Like bees to honey: a honeyclient intended for the automated detection and storage of server and browser based attacks
2over12/RateMyParkingJob
An social app where users rate others' parking jobs.
2over12/RedBot
BW AI to compete in SSCAIT with BWAPI