Envoyer par SMS: The taint rabbit: optimizing generic taint analysis with dynamic fast path generation