SN Systems Tech Blog

Filter:

Generalized API checkers for the Clang Static Analyzer

Sean presents three modified API checkers, that use external metadata, to warn on improper function calls.

READ THE WHOLE POST 

DIVA: Debug Information Visual Analyzer

ARTICLE BY: Phillip Power
POSTED: Jun 15, 2017
TAGS: DWARF, LLVM Developers Meeting, Toolchain

DIVA is a new command line tool that processes DWARF debug information contained within ELF files and prints the semantics of that debug information. The DIVA output is designed with an aim to be understandable by software programmers without any low-level compiler or DWARF knowledge

READ THE WHOLE POST 

Demo of a repository for statically compiled programs

ARTICLE BY: Paul Bowen-Huggett
POSTED: Nov 17, 2016
TAGS: LLVM, LLVM Developers Meeting, Toolchain

Paul presents a proof of concept of an approach which improves compile and link times by replacing the conventional use of object files with an incrementally updated repository without requiring change to existing build infrastructure. It aims to present the idea at a high-level using a live demo of some trivial tools and initiate discussion of a real implementation within the LLVM framework.

READ THE WHOLE POST