A toolbox for auditing compiled Android applications