nixpkgs/pkgs/development/tools/analysis/garcosim
..
tracefilegen
tracefilesim