Skip to content

Latest commit

 

History

History
29 lines (18 loc) · 1.14 KB

README.md

File metadata and controls

29 lines (18 loc) · 1.14 KB
Raw

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

Target function

Assert function

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

Before

LLVM IR pre-Tressa pass

After

LLVM IR after running the Tressa pass

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.