Nicolas Badoux personal website

Site Interjeunes

Website we igloo chef

Nicolas Badoux resume

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!

Template for EPFL (BSc, MSc, or doctoral) theses and semester projects

LLM powered fuzzing via OSS-Fuzz.

Prohibiting Type Confusion With Inline Type Information

ImageMagick 7

No description provided.

Real-time OpenCV distortion correction with parameter tweaking

the LIBpcap interface to various kernel packet capture mechanism

Ultralightweight JSON parser in ANSI C

Bypass Paywalls for Firefox

No description provided.

HexType: Efficient Detection of Type Confusion Errors for C++

The official GitHub mirror of the Chromium source

Jekyll version of the newest Agency Bootstrap theme, plus new features: Google Analytics, Markdown support, custom pages, and more!

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

syzkaller is an unsupervised coverage-guided kernel fuzzer

Working Set Size tools

Official git mirror of the WebKit repository, https://svn.webkit.org/repository/webkit, future canonical repository.

RetroWrite -- Retrofitting compiler passes though binary rewriting

A static site for the Jenkins automation server

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

No description provided.

Demo app for Swiss QR Bill generation

Tool repository: A Firefly III tool to import You Need A Budget (YNAB) transactions into Firefly III.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A text editor in less than 1000 LOC with syntax highlight and search.