LivenessSweep

Name

liveness-sweep - decode, translate and run a liveness analysis on a binary and collect statistical data

Synopsis

liveness-sweep [--elf] [--offset offset] [--children] [--single] [--cleanup] [--latex] --file file0 [--file file1 ...]

Description

The liveness-sweep tool reads machine instructions from one or more files and calls GDSL decoding and translation functions in order to decode and translate them into RReil. The user may either specify the byte range of the file(s) to process manually or use ELF files (in this case the instructions are taken from the .text section) as input. The resulting RReil code is optimized using a liveness analysis in conjunction with dead code elimination. The user is able to configure properties of the analysis and the optimizations performed using command line options. The tool collects statistical data about the performance of the analysis. The user may request the results to be printed using the Latex table format.

Command Line Options

Option	Description
--elf	assume ELF as input file format
--offset offset	use offset as byte offset into the input files
--children	use an enhanced liveness analysis which calculates the set of initially live variables of a basic block from the succeeding block(s)
--single	restrict the liveness analysis to single instruction (instead of basic blocks)
--cleanup	perform a cleanup optimization on the RReil code that removes some trivially useless statements
--latex	print the results using the latex table format
--file file	the path to a file to work with (the user is allowed to specify multiple files)