f0rki Goto Github PK

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

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

android_platform_frameworks_base

Mirror of git://android.git.kernel.org/platform/frameworks/base.git with TaintDroid additions (Mirror lags official Android) | + modifications for assessing cryptography usage (e.g. KDFs)

android_platform_libcore

Mirror of git://android.git.kernel.org/platform/libcore.git with TaintDroid additions (mirror lags official Android) | + modifications for assessing cryptography usage (e.g. KDFs)

annotate

Binary Ninja plugin for annotation of arguments for functions

arch-rankmirrors-timer

periodically update arch linux mirror list with rankmirrors

arch-vm-install

script to quickly set up a minimal arch vm

binaryninja-scripts

my binary ninja plugins folder

bn-goloader

go reversing helpers for binaryninja

bngb

Binary Ninja Game Boy loader and architecture plugin for analysing and disassembling GB ROM.

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)

capstone-rs

high-level Capstone system bindings for Rust

capstone-sys

low-level Capstone system bindings for Rust

cargo-fuzz

Command line helpers for fuzzing

cargo-libafl

Fuzz Rust code with LibAFL

cargo-mirai-action

catatonit

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

cb-multios

DARPA Challenges Binaries for Linux, Windows, and OS X

ceflif.py

wat?

confuzzius

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

copr-meson

ctf-tools

Some setup scripts for security research tools.

deoplete-emoji

Deoplete source for emoji codes

dotfiles

dotvim

my super duper fancy vim config

ecfchecker-geth1.8port

A dynamic checker for the ECF property incorporated into geth (Rebased from geth 1.5 onto geth 1.8 from geth git repo)

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"