(Binary Analysis) Documentation for binary use-def