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 

Coroutines and C++ DSLs for Human Scale Concurrency

ARTICLE BY: Dominic Robinson
POSTED: Jun 12, 2017
TAGS: ACCU 2017, C++ coroutines

C++ coroutines have not yet been standardised, but are available today in Visual Studio 2015 (coming soon to clang/llvm) in the form of the stackless coroutines/resumable functions presented at CppCon2016. This session will look beyond the canonical examples of generators and asynchronous IO to see if coroutines can be leveraged in the pursuit of C++ DSLs to make concurrency easier to work with for humans - "Concurrency at Human Scale".

READ THE WHOLE POST