How to generate input .bin files

[banescusebi]

I would like to run syntia on my own programs. However, it is not entirely clear to me how to generate the .bin files in the same format as the files under the samples/ directory (e.g. how was the tigress_mba_trace.bin file generated?).

Could someone please help me with this issue?

[AeroOwl]

As described in demo/ directory, for instance, you can apply Tigress transformations on source code named mba.c, then compile transformed code into binary code:-)