lukas-dresel Goto Github PK

abc

abyss

abyss - IDAPython Plugin for Postprocessing of Hexrays Decompiler Output

afl

afl-rb

FairFuzz: AFL extension targeting rare branches

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!

aiotarfile

asyncio tarfile module for python

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

ansible-role-create_supervisord_config

ansible-role-register_systemd_service

arch-x86

x86/x64 architecture plugin

artist

The Android Runtime Instrumentation Toolkit

asciinema

Terminal session recorder 📹

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

binja-gameboy

A Binary Ninja plugin to disassemble and lift Game Boy ROMs

binja-gameboy_lr35902

bots_are_stupid_levels

A collection/archive of levels for the BotsAreStupid Game

chopper

KLEE / CSE Project

claripy

An abstraction layer for constraint solvers

code_formatting_tools

My tools to automate simple code formatting tasks for software repos

crucible

Crucible is a library for symbolic simulation of imperative programs

cs595g

ctf_cheatsheets

ctfd

CTFs as you need them

ctfd-oracle-challenges

Oracle challenge type for CTFd

ctfdonlinechallenge

Plugin that uses to generate dynamic flag with oneline envirenment for CTFd

customassert

A python library to make dealing with assertions more customizable

decomp

Components of the decompilation pipeline.

defcon2020-quals-supersafecalc-writeup

dice22_breach_binja

A Binary Ninja plugin for the VM of the DiceCTF 2022 `Breach` and `Containment` challenges

dice22_breach_dis

A disassembler library for the `Breach` and `Containment` challenges from DiceCTF 2022