2over12 Goto Github PK

2over12.github.io

My pages.

afl-vv

A version of afl with a more explicit bitmap

archr

Target-centric program analysis.

atc

Another text classifier... (Naive Bayes)

bap

Binary Analysis Platform

bap_ai

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

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.

clp_operations

constraintlang

Implements a symbolic language over a bare-bones version of BSL

crab

Continuous Redundant Analysis of Behavior

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

driller-afl

A version of AFL tailored for Driller's use in analyzing CGC binaries.

esy-sqlite

SQLite packaged for esy

falcon

Formal Binary Analysis Framework in Rust

fstar

A Proof-oriented Programming Language

fuzzer

A Python interface to AFL, allowing for easy injection of testcases and other functionality.

genrule

An unsupervised machine learning system that given a series of results from a singular attack generates snort rules to block these attacks.

graphlib_linegraph

hybriduaf

Experimental UAF detection system utilizing hybrid execution.

infer

A static analyzer for Java, C, C++, and Objective-C

lbh

Like bees to honey: a honeyclient intended for the automated detection and storage of server and browser based attacks

opam-repository

Main public package repository for opam, the source package manager of OCaml.

program-analysis-note

Unfortunately I don't have time to read stuff I put...

pyorc

Python module for Apache ORC file format

ratemyparkingjob

An social app where users rate others' parking jobs.

redbot

BW AI to compete in SSCAIT with BWAPI

rlox

Rust implementation of a lox tree walking interpreter from http://craftinginterpreters.com/

rure

Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.

scala-ghidra-extension-template