Undefined Behavior Sanitizer Added To GCC
Written by Michael Larabel in Compiler on 30 August 2013 at 01:45 PM EDT. 1 Comment
The mainline GCC compiler received support today for UBSAN, the Undefined Behavior Sanitizer.

Besides Address Sanitizer, Thread Sanitizer, and other "sanitizers" that have been added to LLVM, there's also the Undefined Behavior Sanitizer. As the name implies, it's a fast and compatible undefined behavior checker. The runtime cost is said to be low and doesn't affect the ABI.

Additional sanitizer documentation can be found via the Clang documentation and this feature is exposed in the compilers via the -fsanitize=undefined switch.

Porting the Undefined Behavior Sanitizer to GCC has been going on for a few weeks and as of today it was committed to its SVN repository. The commit bearing the "UBSAN" support can be found by this Git mirror commit.

The Undefined Behavior Sanitizer comes after the Address Sanitizer and Thread Sanitizer were already ported from LLVM to GCC. The UBSAN support will be apart of the GCC 4.9 compiler release, which already has a number of other new features.

About The Author
Author picture

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 10,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated benchmarking software. He can be followed via Twitter or contacted via MichaelLarabel.com.

Related Compiler News
Popular News
Trending Reviews & Featured Articles