Boat: Binary Optimizer with Adaptive Thresholds | AMiner