Vine操作步骤
(1)进入vine程序所在目录
cd bitblaze/vine
(2)(可选)把trace文件翻译成汇编并在控制台显示 ,>为重定向符号,把数据写入到文件中
./trace_utils/trace_reader -trace ~/bitblaze/transfiles/foo1.trace | grep T1
./trace_utils/trace_reader -trace ~/bitblaze/transfiles/foo1.trace | grep T1 > ~/bitblaze/transfiles/foo1print_t1
或者./trace_utils/trace_reader -trace ~/bitblaze/transfiles/foo2.trace > ~/bitblaze/transfiles/foo2print
(3)由.trace生成il文件,再由il文件生成stp文件:
由.trace生成il文件:
./trace_utils/appreplay -trace~/bitblaze/transfiles/foo1.trace -ir-out ~/bitblaze/transfiles/foo1.il-assertion-on-var false -use-post