1. Computers
  2. Display Drivers
  3. Graphics Cards
  4. Memory
  5. Motherboards
  6. Processors
  7. Software
  8. Storage
  9. Operating Systems


Facebook RSS Twitter Twitter Google Plus


Phoronix Test Suite

OpenBenchmarking.org

KernelASan: Bringing Address Sanitizer To The Linux Kernel

Linux Kernel

Published on 18 July 2014 09:23 AM EDT
Written by Michael Larabel in Linux Kernel
7 Comments

Work being done by Samsung and other Linux stakeholders is bringing the Address Sanitizer capabilities found in GCC as being useful for detecting potential memory issues within the Linux kernel.

Address Sanitizer is the feature within GCC (and now LLVM/Clang too) for detecting memory corruption bugs like buffer overflows, use-after-free, and other memory errors. Address Sanitizer is successfully used in the real world for finding bugs within Firefox, Chromium, FFmpeg, and many other projects for using this easy memory detection instrumentation within the compiler.

Earlier this month a set of patches were published for supporting the Address Sanitizer for the Linux kernel and introducing new CONFIG_KASAN=y and CONFIG_KASAN_SANITIZE_ALL=y kernel config options. The patches for the kernel currently support finding use-after-free bugs and out-of-bounds read/writes in kmalloc. Not yet wired in but possible to implement for the kernel memory checking code are global buffer overflows, stack buffer overflows, and use after returns.

While these patches aren't yet feature complete, there's already been a number of bugs fixed by Address Sanitizer for the kernel ranging from IPv4/IPv6 code to the EXT4 file-system and AIO. The current kernel patches can be found on the LKML and hopefully they'll get queued up for the Linux 3.17 kernel merge window.

Published today is a small GCC patch for supporting the Kernel Address Sanitizer.

About The Author
Michael Larabel is the principal author of Phoronix.com and founded the web-site in 2004 with a focus on enriching the Linux hardware experience and being the largest web-site devoted to Linux hardware reviews, particularly for products relevant to Linux gamers and enthusiasts but also commonly reviewing servers/workstations and embedded Linux devices. Michael has written more than 10,000 articles covering the state of Linux hardware support, Linux performance, graphics hardware drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated testing software. He can be followed via and or contacted via .
Latest Linux Hardware Reviews
  1. ASRock X99 Extreme3 Is An Affordable Choice For Linux Users
  2. A Walkthrough Of The New 32 System Open-Source Linux Benchmarking Test Farm
  3. Habey MITX-6771: Mini-ITX Board With Quad-Core J1900 Bay Trail
  4. OCZ Vector 150 SSD On Linux
Latest Linux Articles
  1. 2014 Year-End NVIDIA Linux Benchmark Comparison
  2. 2014 Catalyst Linux Graphics Benchmarks Year-In-Review
  3. 17-Way Linux Graphics Card Comparison With Civilization Beyond Earth
  4. AMD Kaveri: Open-Source Radeon Gallium3D vs. Catalyst 14.12 Omega Driver
Latest Linux News
  1. Biggest Linux Kernel Features & Work Of 2014
  2. Valve Optimizations, D3D9 & GL4 Topped Mesa This Year
  3. Minetest 0.4.11 Released As Open-Source Alternative To Minecraft
  4. SPI Hasn't Yet Voted On X.Org As An Associated Project
  5. The Most Controversial Systemd Stories This Year
  6. Mode-Setting Driver Now Supports VBlanks With Present
  7. Marvell Releases New Open-Source 802.11ac WiFi Driver
  8. The Most Popular Ubuntu News Of 2014
  9. GNU Binutils 2.25 Released With Port To Andes NDS32
  10. Merry Christmas & Happy Holidays 2014
Latest Forum Discussions
  1. Why is it that Radeon cannot run good old (ancient) Doom 3 engine games?
  2. MONITORed values : possible to force the time interval between two measurements ?
  3. Debian init discussion in Phoenix Wright format
  4. Need some hand holding with upgrading xserver
  5. Aliens vs predator for Linux
  6. FPS capped on Linux (AMD fglrx drivers)
  7. Speeding up systemd networking service
  8. Storm Engine 2 (Doom 3 BFG GPL fork) got entry on IndieDb