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/rure
Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
2over12/simple_verif
2over12/sleigh-lsp-extension
2over12/ConstraintLang
Implements a symbolic language over a bare-bones version of BSL
2over12/Symbb
Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.
2over12/2over12.github.io
My pages.
2over12/falcon
Formal Binary Analysis Framework in Rust
2over12/archr
Target-centric program analysis.
2over12/bap
Binary Analysis Platform
2over12/bap_ai
2over12/cbat_tools
Program analysis tools developed at Draper on the CBAT project.
2over12/clp_operations
2over12/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
2over12/fuzzer
A Python interface to AFL, allowing for easy injection of testcases and other functionality.
2over12/graphlib_linegraph
2over12/infer
A static analyzer for Java, C, C++, and Objective-C
2over12/opam-repository
Main public package repository for opam, the source package manager of OCaml.
2over12/program-analysis-note
Unfortunately I don't have time to read stuff I put...
2over12/pyorc
Python module for Apache ORC file format
2over12/rlox
Rust implementation of a lox tree walking interpreter from http://craftinginterpreters.com/
2over12/scala-ghidra-extension-template
2over12/sire
2over12/esy-sqlite
SQLite packaged for esy
2over12/FStar
A Proof-oriented Programming Language
2over12/SVF
Static Value-Flow Analysis Framework for Source Code
2over12/tip_analysis
2over12/tip_syntax
Parser for TIP language from https://github.com/cs-au-dk/TIP/ in Rust.
2over12/traits
Collection of cryptography-related traits
2over12/ubertooth
Software, firmware and hardware designs for Ubertooth
2over12/uds_seq