robindavid Goto Github PK

followers: 363.0 following: 48.0 repos: 28.0 gists: 33.0

Name: Robin David

Type: User

Company: Quarkslab

Bio: Software Security Researcher working on reverse-engineering, software analysis, symbolic execution, fuzzing. Also breaking obfuscation as a hobby.

Twitter: RobinDavid1

Location: Paris, France

Hi there! 👋

I'm Robin - I am Software Security Researcher @ Quarkslab. You can find below some projects I am developing or contributing to.

⚡ Projects

Fuzzing / Symbolic Execution:

PASTIS: Collaborative fuzzing infrastructure. It leverages AFL++, Honggfuzz and TritonDSE (thus greybox and whitebox fuzzing) for program coverage and bug discovery.
TritonDSE: Symbolic Execution engine based on Triton built for automatic program coverage exploration. It has been design to encompass multiple program analysis use-cases.

Deobfuscation / Program Synthesis:

Qsynthesis: Program synthesizer geared for deobfuscation. It leverages, Triton for symbolic execution, and also LevelDB, Z3 llvmlite, capstone
idasec: (unmaintained anymore), opaque predicate deobfuscation, trace generation via an IDA Pro plugin (using Binsec)

Diffing / Firmware Analysis: Portal

QBinDiff: Binary differ, based on Network Alignment and Belief Propagation
python-bindiff: Python wrapper and API for Bindiff
python-binexport: Python wrapper and API for BinExport

Other:

pydimacs, simple module to manipule CNF (Conjonctive Normal Form), graphs using Z3 Python API

📞 Contact

⬅️ just here

✍️ Technical Blog Posts

📈 Stats

More details 🔬

https://www.githubwrapped.io/RobinDavid

Robin David's Projects

bash-network-game

This project is a fully working 2 player network game written in bash. It intents to show the possibilities of bash which is not a simple script program.

Bitcoin and other Cryptocurrencies Library for Python. Includes a fully functional wallet, Mnemonic key generation and management and connection with various service providers to receive and send blockchain and transaction information.

breach_compilation_utils

BreachCompilation utils for iterating logins and passwords

captcha-basic-recognition

Python module that intent to crack basic captcha engines using OpenCV and Pytesser

checksec

Bash script to test executable properties like (PIE, RELRO, PaX, Canaries, ASLR). (Version derivated from the original one trapkit.de/tools/checksec.html

codeql-uboot

cryptoid

ryptoid is a toy app to apply weak ciphers on plain text. (Mostly developped to learn how to develop an app).

fuzzdata

Fuzzing resources for feeding various fuzzers with input. 🔧

idasec

IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform

lsb-steganography

Python program to steganography files into images using the Least Significant Bit.

lsbbrute

Script to bruteforce the LSB of an image to find file signatures (in every channel permutation, rotation etc..)

lyricstagger

Python program, that automaticaly tag lyrics in MP3 files.

motion-detection-opencv

Python/OpenCV script that detect motion on webcam and allow record it to a file

opencv-tutorials

Contain the hole source code of my OpenCV tutorial

pyads

Python module to manipulate NTFS Alternate Data Stream (ADS) in Python

pydes

Basic but pure DES implementation in Python

pydimacs

Python module to manipulate CNF DIMACS formulas (using z3)

pystack

Pystack, is a python framework that allow to create small TCP/IP stacks in an easy manner in order to obtain a wanted behavior.

pytesser

Python wrapper for the tesseract OCR engine. The module is based on OpenCV

python-programs

Contains various python programs and proof of concept.

python-samples

Contains few python scripts for everything and nothing

pytts

Text-To-Speech multi-platform in python. It uses Google translate as engine.

robindavid

robindavid.github.io

My Github pages

starklings

An interactive tutorial to get you up and running with Starknet

starknet-cairo-101

tenet

A Trace Explorer for Reverse Engineers

triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.