Exact file format for Daredevil

[ChipsSpectre]

Hi Guys,

I want to convert my own memory traces (in a custom format) to the
format that Daredevil supports.

Unfortunately, I could not find the exact specification,
in which order/which attributes are required to run DareDevil.

In Deadpool, a function bin2daredevil() is provided in deadpool_dca.py
that is able to convert TracerGrind or TracerPIN data to the DareDevil
format. (Using this technique, I could reproduce the whitebox samples
of the Deadpool repository).

Is there an exact specification of the DareDevil file format?

Best regards
Chips

[doegox]

Hi @ChipsSpectre

To create a set of traces for Daredevil, you need:

• one config file that describes how the data is provided, see https://github.com/SideChannelMarvels/Daredevil/blob/master/CONFIG
• one trace file (see [Traces] in CONFIG) which is just the raw samples without any further formatting than their value (e.g. 32b float, 8b int, etc). transpose=true if you provide each trace one after the other one (which is typically the case).
• one input or output file (see [Guesses] in CONFIG) which is just each 16b block appended, also transpose=true)

See also https://github.com/SideChannelMarvels/Daredevil/blob/master/trs2daredevil.py