magic-trace collects and displays high-resolution traces of what a process is doing

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

The Herd toolsuite to deal with .cat memory models (version 7.xx)

A simplicial complex and hypergraph visualization tool similar to Graphviz.