Graphical User Interface to visualize the activity diagrams produced by Kayrebt::Extractor. It uses Kayrebt::Globsym.


A paper describing Kayrebt::Viewer has been accepted at VISSOFT 2015 in the Tools track. Here is the preprint of the paper, published according to the IEEE publication policy (as of September 2015).

Packaged visualization assets for the Linux kernel

This is a collection of graphs collected for the Linux kernel version 4.2, compiled with GCC 4.8 on x86_64, with default configuration. Graphs

This is the corresponding database of symbols. Database



Public git mirror:

Documentation: /code-panel/kayrebt/viewer