Pathfinder facilitates Information Flow Tracking (IFT) trace analysis by generating Taint Graphs based on an HDL design and a IFT waveform.
Pathfinder consists of the Temporal Information Flow Graph - TIFG Yosys pass and the Pathfinder Python scripts.
The TIFG Yosys pass generates a TIFG from an HDL design. This graph needs to be generated once per design.
Pathfinder generates Taint Graphs, based on the TIFG of a hardware design and the Value Change Dump (VCD) trace of a simulation or formal verification counter example.
More information and the paper can be found here.
Please cite as:
@inproceedings{pathfinder,
title={Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces},
author={Ceesay-Seitz, Katharina and Solt, Flavien and Klukas, Alexander and Razavi, Kaveh},
booktitle={ICCAD 2025},
year={2025}
}
To clone the complete repository follow these steps:
- git clone
- git lfs pull
- git submodule update --init --recursive
Build Yosys (make in the repository root).
Now you are ready to run the Pathfinder python scripts.
Find technical details (installation, usage, ...) of Pathfinder and the TIFG Yosys pass here.
Find the Yosys README with installation details and dependencies here. We provide the Yosys version for which we developed the TIFG pass (https://github.com/YosysHQ/yosys/commit/8e1e2b9a), and with which we tested Pathfinder so far. If you want to use the TIFG pass in a newer version of Yosys and it does not work, please create an issue in this repository.