Binary Dissection: Variants & Applications | AMiner