Commit Graph

9 Commits

Author SHA1 Message Date
momo5502
a671deb383 Rename is_within method to contains 2025-09-08 18:40:25 +02:00
momo5502
acf28467c5 Small fix 2025-08-18 18:24:45 +02:00
Maurice Heumann
4d4c04eb78 Finish tenet tracer refactoring 2025-07-17 19:42:59 +02:00
Maurice Heumann
6e71e495bc More fixes 2025-07-17 18:55:16 +02:00
Maurice Heumann
3c05c7a607 Small fixes 2025-07-17 18:53:07 +02:00
Maurice Heumann
d09b32eb5e Fix clang tidy warnings 2025-07-17 18:45:18 +02:00
Maurice Heumann
b5e40c3627 Revert line endings 2025-07-17 18:38:26 +02:00
Maurice Heumann
8caf724c95 Fix formatting 2025-07-17 18:30:00 +02:00
maskelihileci
20f96841de Generate an output that the Tenet plugin can read
Generates a Tenet tracer output with the -t parameter.
The original Tenet tracer plugin is outdated, so I made updates to support our emulator. The forked project below works well.

https://github.com/maskelihileci/tenet/tree/master/plugins_sogen-support
2025-07-17 14:36:29 +03:00