Founder & Lead Developer @ CoreTrace C/C++ • LLVM • Low-level Systems • Program Analysis
I design and build advanced program analysis tools focused on memory safety, concurrency, and undefined behavior in C/C++.
My work centers around:
- static & dynamic analysis
- Clang/LLVM internals
- low-level systems programming
- concurrency and memory models
CoreTrace is an ecosystem of tools for analyzing C/C++ programs:
- coretrace — orchestration of static & dynamic analyzers
- coretrace-stack-analyzer — LLVM-based stack analysis
- coretrace-concurrency-analyzer — concurrency & race detection
- coretrace-compiler — Clang-based instrumentation pipeline
hugo.payet@epitech.eu
LinkedIn: https://linkedin.com/in/hugo-payet-a56a05262/



