Articles & Reviews
News Archive
Forums
Premium
Contact
Categories

Computers Display Drivers Graphics Cards Linux Gaming Memory Motherboards Processors Software Storage Operating Systems Peripherals

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

Written by Michael Larabel in LLVM on 4 February 2013 at 06:09 AM EST. Add A Comment

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.

Add A Comment

LLVM/Clang 18.1 Released With Intel AVX10.1 Work, Adds Clearwater Forest & Panther Lake

Meta Continues Working On BOLT'ing The Linux Kernel For Greater Performance

LLVM/Clang Can Work Fine As A GCC Replacement For Linux Distributions

LLVM 18.1-rc1 Released For Enabling New Intel CPU Features, More C23 & C++23

Autocheck To Check If Your C++ Code Is Safe For Automobiles & Safety Critical Systems

About The Author

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 20,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, LinkedIn, or contacted via MichaelLarabel.com.