Finding irrelevant reads in x86 code

[Robin Morisset]

Hello

for one research project I am working on, I must perform some simple
dataflow analyses (in particular detecting irrelevant memory reads) on
x86 assembler. While the analyses are straightforward, dealing with
the intricacies of x86 instruction set is not, and I was hoping Vine
could help.

I have two questions, one general and one more specific:

- can you point me to the sources of a sample tool built on top of
vine that performs a dataflow analysis on an x86 executable (I really
need to analyse the executable, not just a trace)?

- which is the correct way to obtain the Vine IR of an x86
executable? (Any sample tool, again?) I expect I should use
Asmir.disassemble_program on the binary filename, but I invariably get
a "fatal err in initialize_bfd: cannot open [path of our program]".

Thanks in advance,
Robin

[Alex Bazhanyuk]

I think you need:
1. temu/tracecap for create trace.
2. trace_reader/appreplay for analyze trace. (but you need build all Vine)

so, for dataflow analyses Vine has basic functionality. All another tests/experiments with dataflow you need implement independently.

Thanks,
Alex

--
Thanks,
Alex