An analysis of human-in-the-loop approaches for binary analysis automation