FuzzBALL: Vine-based Binary Symbolic Execution