Colas Le Guernic (clslgrnc)

clslgrnc

Geek Repo

Location:Rennes

Github PK Tool:Github PK Tool

Colas Le Guernic's starred repositories

blink

tiniest x86-64-linux emulator

diff-pdf

A simple tool for visually comparing two PDF files

Language:C++License:GPL-2.0Stargazers:3358Issues:50Issues:0

RedEye

RedEye is a visual analytic tool supporting Red & Blue Team operations

Language:TypeScriptLicense:BSD-3-ClauseStargazers:2638Issues:44Issues:30

winafl

A fork of AFL for fuzzing Windows binaries

Language:CLicense:Apache-2.0Stargazers:2293Issues:117Issues:282

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Language:C++License:NOASSERTIONStargazers:2010Issues:52Issues:216

ret-sync

ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.

Language:CLicense:GPL-3.0Stargazers:1946Issues:50Issues:91

ofrak

OFRAK: unpack, modify, and repack binaries.

Language:PythonLicense:NOASSERTIONStargazers:1831Issues:27Issues:103

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1536Issues:20Issues:472

paper_collection

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:998Issues:23Issues:129

dynamic-analysis

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

Language:RustLicense:MITStargazers:905Issues:30Issues:107

pypandoc

Thin wrapper for "pandoc" (MIT)

Language:PythonLicense:NOASSERTIONStargazers:846Issues:18Issues:187

maat

Open-source symbolic execution framework: https://maat.re

Language:C++License:NOASSERTIONStargazers:608Issues:15Issues:76

binsync

A reversing plugin for cross-decompiler collaboration, built on git.

Language:PythonLicense:BSD-2-ClauseStargazers:542Issues:18Issues:160

Awesome-Binary-Similarity

An awesome & curated list of binary code similarity papers

clusterfuzzlite

ClusterFuzzLite - Simple continuous fuzzing that runs in CI.

snapchange

Lightweight fuzzing of a memory snapshot using KVM

Language:RustLicense:Apache-2.0Stargazers:436Issues:12Issues:5

idahunt

idahunt is a framework to analyze binaries with IDA Pro and hunt for things in IDA Pro

fuzz-introspector

Fuzz Introspector -- introspect, extend and optimise fuzzers

Language:PythonLicense:Apache-2.0Stargazers:359Issues:21Issues:230

udmp-parser

A Cross-Platform C++ parser library for Windows user minidumps with Python 3 bindings.

Language:C++License:MITStargazers:194Issues:10Issues:4
Language:PythonLicense:BSD-3-ClauseStargazers:188Issues:17Issues:9
Language:PythonLicense:MITStargazers:169Issues:9Issues:28

loki

Hardening code obfuscation against automated attacks

Language:PythonLicense:AGPL-3.0Stargazers:125Issues:9Issues:3

msFuzz

Targeting Windows Kernel Driver Fuzzer

Language:MakefileLicense:MITStargazers:114Issues:4Issues:0

poseidon

Poseidon is a Golang agent targeting Linux and macOS

Language:GoLicense:NOASSERTIONStargazers:110Issues:9Issues:20

FishFuzz

AFL/AFL++ version FishFuzz

ttexplore

TTexplore is a library that performs path exploration on binary code using symbolic execution

afl-cov

Produce code coverage results with gcov from afl-fuzz test cases

Language:PythonLicense:GPL-2.0Stargazers:65Issues:4Issues:0

cpp-systematic-testing

A library for testing concurrent C++ code and deterministically reproducing bugs.

Language:C++License:NOASSERTIONStargazers:40Issues:4Issues:0

SieveFuzz

Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Language:CLicense:Apache-2.0Stargazers:26Issues:6Issues:3