Meta (formerly Facebook) Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.
- Paris, France
Pinned Loading
-
NASA-SW-VnV/ikos
NASA-SW-VnV/ikos PublicStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
-
python3-pwntools
python3-pwntools Public archiveForked from Gallopsled/pwntools
CTF framework and exploit development library in python3 (pwntools and binjitsu fork)
-
-
-
mcarton/CRAPS-Kernel
mcarton/CRAPS-Kernel PublicA simple operating system, processor and compiler for Nexys2
250 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 14 commits in 4 repositories
Created 1 repository
-
arthaud/mariana-trench
C++
This contribution was made on Apr 3
Created a pull request in facebook/redex that received 5 comments
Fix build errors with cmake 4.0
Summary:
CMake 4 now gives an error when the minimum version is below 3.5.
To work around this, we can use a range in cmake_minimum_required
. The u…
+2
−2
lines changed
•
5
comments
Opened 5 other pull requests in 2 repositories
facebook/mariana-trench
4
closed
-
Fix compiler error due to missing FMT_DEPRECATED_OSTREAM define
This contribution was made on Apr 7
-
Fix open source build error with fmt
This contribution was made on Apr 4
-
Fix some errors
This contribution was made on Apr 3
-
Fix cmake errors in Github Actions.
This contribution was made on Apr 3
facebook/redex
1
open
-
Fix open source build error
This contribution was made on Apr 2
4
contributions
in private repositories
Apr 13