Tressa

An LLVM plugin to insert function calls in C/C++ source code.

Example

A call to _assertfn_fn_1 will be inserted just before the return from the function doit.

Developer-facing C source code

The LLVM IR before and after the Tressa pass looks like the following.

Before

After

Directories

• coccinelle -- Exploring Tressa prototype implementation with Coccinelle tool instead of LLVM.
• llvm-tressa -- The LLVM plugin.
• llvm-tressa-samples -- Example on Tressa usage.
• mining-scripts -- Scripts for Xen assertion predicate mining and data for CDF plots.
• mining-data -- Results of running some of the scripts in mining-scripts.