Quarkslab's blog
Quarkslab's blog

  • Categories
  • Tags
  • Authors

  • Quarkslab
  • linkedin
  • X
  • mastodon
  • bluesky
  • github

  • CATEGORIES

  • • AI
  • • Android
  • • Automotive
  • • Blockchain
  • • Challenge
  • • Cloud
  • • Containers
  • • Cryptography
  • • Exploitation
  • • File Formats
  • • Fuzzing
  • • Hardware
  • • Kernel Debugging
  • • Life at Quarkslab
  • • Math
  • • Obfuscation
  • • Pentest
  • • Program Analysis
  • • Programming
  • • Reverse-Engineering
  • • Software
  • • Vulnerability

Tag: static analysis

1 article

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

Date Tue 09 June 2026
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.

Read article
Quarkslab's logo in the footer
Powered by Pelican
Theme is based off Pelican-Bootstrap 3
Legal Notice - Privacy Policy - © All rights reserved