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. Btrfs On 4 x Intel SSDs In RAID 0/1/5/6/10
  2. AMD Radeon R9 290 On Ubuntu 14.10: RadeonSI Gallium3D vs. Catalyst
  3. MSI X99S SLI PLUS On Linux
  4. NVIDIA GeForce GTX 970 Offers Great Linux Performance
Latest Linux Articles
  1. 6-Way Ubuntu 14.10 Radeon Gallium3D vs. Catalyst Driver Comparison
  2. NVIDIA vs. Nouveau Drivers On Ubuntu 14.10
  3. Ubuntu 14.10 Offers AMD Radeon Driver Performance Improvements
  4. Btrfs RAID: Linux 3.10 To Linux 3.18 Benchmarks
Latest Linux News
  1. Russia's Yandex Web Browser Finally Released For Linux
  2. Linux Kernel Finally Being Optimized For SSHDs
  3. GPU Profiling Support Lands In Mozilla Firefox
  4. Kubuntu 15.04 Will Use KDE's Plasma 5 By Default
  5. KDBUS Submitted For Review To The Mainline Linux Kernel
  6. An Intel-Based Ubuntu Touch Tablet Is Planning To Launch Soon
  7. MIAOW: An Open-Source GPU Design Based On AMD's Southern Islands
  8. X.Org Server 1.17 RC1 Released, Exciting For GLAMOR & Modesetting
  9. OpenGL 4.x Support For Mesa Still Inching Along
  10. Systemd 217: Many New Features, Even More Bug-Fixes
Latest Forum Discussions
  1. Is foolish currently develop in machine code, hexadecimal and assembly?
  2. Reducing The CPU Usage In Mesa To Improve Performance
  3. Help diagnosing problems with a Readon HD 4670 on Mesa 10.3.2-1
  4. Advertisements On Phoronix
  5. nv and xorg.conf under Debian PPC
  6. Looking for a Open-Source AMD experienced Linux mentor
  7. Bad perfomance in gaming
  8. Dead Island for Linux (?)