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. NVIDIA GeForce GTX 980: The Best GPU For Linux Gamers
  2. ROCCAT LUA: A Linux-Friendly Gaming Mouse
  3. Cheetah Mounts: The Affordable Way To Put Your TV On The Wall
  4. Scythe Mugen MAX
Latest Linux Articles
  1. Preview: Radeon Gallium3D Performance For CS:GO On Linux
  2. XWayland Linux Gaming Performance With GNOME Wayland On Fedora 21
  3. EXT4/Btrfs/XFS/F2FS Benchmarks On Linux 3.17
  4. Fedora 21 Alpha First Impressions: It's Great
Latest Linux News
  1. Microsoft Announces... Windows 10 With A Start Menu
  2. Borderlands 2 Launches On Steam For Linux
  3. Debian Jessie Might Get Rid Of The kFreeBSD Port
  4. Fedora Might Try A New Scheduling Strategy For Its Releases
  5. AMD's Catalyst Working On A GLSL Shader Cache
  6. OpenMP 4.0 Offloading Is Closer For GCC 5
  7. Wayland Presentation Extension Added To Weston
  8. Intel Skylake Support Rolls Out To Mesa's DRM
  9. VA-API's Libva 1.4.0 Brings VP8 Encoding Support
  10. Operating System U Fails To Live Up To Its Goals
Latest Forum Discussions
  1. X.Org Women Outreach Program Only Turns Up Two Applicants So Far
  2. FSF Issues Statement On Shellshock Bash Vulnerability
  3. Advertisements On Phoronix
  4. NVIDIA Alerts Nouveau: They're Starting To Sign/Validate GPU Firmware Images
  5. New AMD Catalyst drivers out today
  6. Updated and Optimized Ubuntu Free Graphics Drivers
  7. Take the Steam Survey results with a grain of salt. It is flawed.
  8. AMD Wants To Know What's Wrong With Catalyst