Articles by Samuel Hangouët
2 articles
Date
Tue 09 June 2026
Authors Francesco Cagnin, Samuel Hangouët, Nicolas Surbayrole
Category Program Analysis
Authors Francesco Cagnin, Samuel Hangouët, Nicolas Surbayrole
Category Program Analysis
The Open Source Technology Improvement Fund (OSTIF) commissioned Quarkslab to extend the BOLT-based static binary analyser in LLVM to support additional compiler flags for security hardening. This work resulted in the first iteration of a scanner for validating the implementation of -ftrivial-auto-var-init.
The Scala team has partnered with the Open Source Technology Improvement Fund (OSTIF) to conduct its first security audit. This initiative aims to identify potential vulnerabilities through static and dynamic analysis and provide greater confidence in Scala. The security audit conducted by Quarkslab is particularly focused on Scala 3.