2over12

rure

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

simple_verif

sleigh-lsp-extension

ConstraintLang

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

Symbb

Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.

2over12.github.io

My pages.

falcon

Formal Binary Analysis Framework in Rust

archr

Target-centric program analysis.

bap

Binary Analysis Platform

bap_ai

cbat_tools

Program analysis tools developed at Draper on the CBAT project.

clp_operations

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

fuzzer

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

graphlib_linegraph

infer

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

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

rlox

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

scala-ghidra-extension-template

sire

esy-sqlite

SQLite packaged for esy

FStar

A Proof-oriented Programming Language

SVF

Static Value-Flow Analysis Framework for Source Code

tip_analysis

tip_syntax

Parser for TIP language from https://github.com/cs-au-dk/TIP/ in Rust.

traits

Collection of cryptography-related traits

ubertooth

Software, firmware and hardware designs for Ubertooth

uds_seq