Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Explore advanced compiler testing techniques for loop optimizations in C++ and data-parallel languages. Learn about YARPGen's reimplementation, static undefined behavior avoidance, and loop code diversity mechanisms.
Compiler Options Hardening for C and C++
Explore compiler options to enhance C/C++ program security. Learn about memory-safety issues, mitigation techniques, and the OpenSSF Compiler Options Hardening Guide for informed decision-making.
Theory Makes Beautiful Programs
Explore MC/DC coverage, its importance in safety-critical industries, and how theoretical algorithms can enhance code correctness and beauty through an innovative gcc implementation.
Living with and Leveraging GCC - Adding COBOL Support
Discover the journey of adding COBOL support to GCC, exploring collaboration strategies with established open-source projects and practical insights into contributing to major software initiatives.
Enhancing Spatial Safety: Fixing Thousands of -Wflex-array-member-not-at-end Warnings
Aprenda a corrigir avisos de -Wflex-array-member-not-at-end para melhorar a segurança espacial em sistemas Linux.
Kernel Function Tracing in the Face of Compiler Optimization
Explore advanced kernel function tracing techniques and overcome challenges posed by compiler optimizations in Linux systems.
Lifetime Safety in C++ - Past, Present and Future
Explore C++ memory safety advancements, current mitigations, and future directions. Learn to enhance code safety without sacrificing performance or flexibility.
Advancing cppfront with Modern C++ - Refining the Implementation of is, as, and UFCS
Explore Modern C++ and cppfront's implementation of 'is', 'as', and UFCS. Learn about challenges, achievements, and future directions in refining these key functionalities.
Ahoy SAILR - A Compiler-Aware Structuring Algorithm for Binary Decompilation
Discover how SAILR, a novel structuring algorithm, revolutionizes binary decompilation by intelligently preserving necessary gotos while removing spurious ones, improving code readability and accuracy.