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

SMACK: A C/C++ Static Checker Built On LLVM

Compiler

Published on 04 February 2013 06:09 AM EST
Written by Michael Larabel in Compiler
Comment On This Article

Another interesting open-source project has tipped up that is powered by the LLVM compiler infrastructure.

LLVM has found its way into many projects from Mono to Gallium3D to in use by, well, just a code compiler. The latest usage of LLVM comes in the form of SMACK, a C/C++ static checker.

SMACK statically checks properties of programs and handles checking user-provided assertions. The tool is open-source and powered by LLVM.

With the code being lowered down into LLVM bit-code, in theory any LLVM-supported language could be used for this static checker but the specific focus is around C and C++ languages.

For more details on SMACK, visit its GitHub page.

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. Trying The Configurable 45 Watt TDP With AMD's A10-7800 / A6-7400K
  2. Sumo's Omni Gets Reloaded
  3. AMD A10-7800 & A6-7400K APUs Run Great On Linux
  4. Radeon Gallium3D Is Running Increasingly Well Against AMD's Catalyst Driver
Latest Linux Articles
  1. CPUFreq Scaling Tests With AMD's Kaveri On Linux 3.16
  2. Enabling HyperZ Is Still An Easy Way For Faster RadeonSI Performance
  3. AMD Kaveri: Catalyst vs. RadeonSI Gallium3D On Linux
  4. Linux OpenCL Performance With The Newest AMD & NVIDIA Drivers
Latest Linux News
  1. Proposed: A Tainted Performance State For The Linux Kernel
  2. Systemd 216 Piles On More Features, Aims For New User-Space VT
  3. Mesa 10.2.6 Has Plenty Of OpenGL Driver Bug Fixes
  4. Wasteland 2 Gets An Official Release Date
  5. Dead Island For Linux Appears Imminent
  6. LXQt 0.8 Is Being Released Soon
  7. Linux 3.17 Lands Memfd, A KDBUS Prerequisite
  8. Humble Jumbo Bundle 2 Shafts Linux Gamers
  9. Ubuntu 14.10's Feature Freeze Is This Wednesday
  10. New VM Software Claims To Be 4.5x Faster Than QEMU
Latest Forum Discussions
  1. Remote gui not accessible in Phoronix Test Suite 5.2
  2. The dangers of Linux kernel development
  3. Dead Island for Linux (?)
  4. Updated and Optimized Ubuntu Free Graphics Drivers
  5. AMD Offers Mantle For OpenGL-Next, Pushes Mantle To Workstations
  6. Next-Gen OpenGL To Be Announced Next Month
  7. OpenGL 4.5 Released With New Features
  8. Updated graphics drivers for Ubuntu 12.04 Precise LTS