Text this: Binary program taint analysis optimization method based on function summary