f0rki

mapping-high-level-constructs-to-llvm-ir

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

bn-goloader

go reversing helpers for binaryninja

dotvim

my super duper fancy vim config

dotfiles

ethersplay

EVM dissassembler

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, EVM, M68K, M680X, Mips, PPC, Sparc, SystemZ, TMS320C64x, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell, Visual Basic)

catatonit

A container init that is so simple it's effectively brain-dead.

ConFuzzius

A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).

echidna-parade

ethabi

Encode and decode smart contract invocations

EthBMC

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

fuzzer-challenges

Challenging testcases for fuzzers

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

msf-mitm-downgrade-tools

[archived] some msf modules from 2012 to perform mitm downgrade attacks (starttls stripping, mssql TDS downgrade)

papis

Powerful and highly extensible command-line based document and bibliography manager.

pkgs

Some software that I packaged somehow...

py-solc-x

Python wrapper and version management tool for the solc Solidity compiler.

pygments

Pygments is a generic syntax highlighter written in Python

qemu-libafl-bridge

A patched QEMU that exposes an interface for LibAFL-based fuzzers

rpmspec-sway-extras-git

bunch of rpm specs to build some sway related utilities from git

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

sFuzz

Smartian

Enhancing Smart Contract Fuzzing with Static and Dynamic Analyses

Syscaller

Binary Ninja Syscall Annotator

VeriSmart-public

a safety verifier for Solidity smart contracts

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

wdisplays