arthaud

Facebook Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.

@facebookParis, France

Pinned Repositories

c2bf
Compiler from C to brainfuck
Language:OCaml214 6 712
formatstring
Format string exploitation helper
Language:Python44 4 13
git-dumper
A tool to dump a git repository from a website
Language:Python1.8k 19 24246
hg-dumper
A tool to dump a mercurial repository from a website
Language:Python5 2 03
microc
MicroC is a simple compiler in C++ from a subset of C to x86_32
Language:C++5 2 03
moc
Micro Objective-C compiler
Language:Java8 7 00
python3-pwntools
CTF framework and exploit development library in python3 (pwntools and binjitsu fork)
Language:Python279 10 742
tomb
the Crypto Undertaker
Language:Shell1.3k 58 328152
CRAPS-Kernel
A simple operating system, processor and compiler for Nexys2
Language:Java6 8 03
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2k 52 220150

arthaud's Repositories

arthaud/git-dumper
A tool to dump a git repository from a website
Language:Python1.8k 19 24246
arthaud/python3-pwntools
CTF framework and exploit development library in python3 (pwntools and binjitsu fork)
Language:Python279 10 742
arthaud/c2bf
Compiler from C to brainfuck
Language:OCaml214 6 712
arthaud/formatstring
Format string exploitation helper
Language:Python44 4 13
arthaud/moc
Micro Objective-C compiler
Language:Java8 7 00
arthaud/hg-dumper
A tool to dump a mercurial repository from a website
Language:Python5 2 03
arthaud/microc
MicroC is a simple compiler in C++ from a subset of C to x86_32
Language:C++5 2 03
arthaud/awesome-static-analysis
A curated list of static analysis tools, linters and code quality checkers for various programming languages
4 3 01
arthaud/brainfuck-cpu
Let's suppose the assembly language is brainfuck!
Language:Shell3 2 02
arthaud/min-max
Min-max algorithm for game theory
Language:C++3 2 0
arthaud/egg
Extended Generator Generator
Language:Java2 5 03
arthaud/pyeasychat
A light console based chat.
Language:Python2 3 01
arthaud/pytmux
Proof of concept of a tmux clone in python
Language:Python2 2 0
arthaud/spotify-next
A web server to vote for moving to the next music on spotify.
Language:Python2 4 01
arthaud/pycrypto
The Python Cryptography Toolkit
Language:Python1 2 01
arthaud/raytracer
A simple raytracer made in Java.
Language:Java1 4 04
arthaud/sapp
Post Processor for Facebook Static Analysis Tools.
Language:Python1 0 0
arthaud/Bogofilter-Score
Thunderbird add-on to display the bogofilter spam scores according to mail headers. The add-on adds a column with the overall spam score to the mail list view and shows details of any matched spam/ham rule.
Language:JavaScript0 0
arthaud/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++0 0
arthaud/pidgin-typing-speed
A python script to estimate the typing speed of your pidgin contacts.
Language:Python2 0
arthaud/pipobot-modules
Some modules that can be used with 'pipobot', a modular bot for Jabber MUCs
Language:Python2 0
arthaud/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Language:Python0 0
arthaud/redex
A bytecode optimizer for Android apps
Language:C++1 0
arthaud/risk-win-probability
Python script to compute win probabilities in Risk - the board game.
Language:Python1 0
arthaud/snowman
Snowman decompiler
Language:C++3 0
arthaud/sv-benchmarks
Collection of Verification Tasks
Language:C2 0
arthaud/Tomb
the Crypto Undertaker
Language:Shell2 0
arthaud/typeshed
Collection of library stubs for Python, with static types
Language:Python1 0
arthaud/x509-parser
a RTE-free X.509 parser
Language:C1 0
arthaud/yaourt
A Pacman frontend with more features and AUR support
Language:Shell2 0