Incorrect outlining for format string

op2786 commented 7 months ago

Version and Platform (required):

Binary Ninja Version: 3.6.4690-dev Personal, 135d31cc
OS: Windows
OS Version: 11
CPU Architecture: x86_64

Bug Description: In the screenshot below BN generates a _builtin_memcpy function for some weird stack data which is actually a format string if we look at the disassembly. I guess it should generate two separate _builtin_strcpy.

It also does not generates a strcpy for stack string TracerPid:.

Screenshots:

Additional Information: I can share the BNDB in slack.

ccarpenter04 commented 7 months ago

I've seen the __builtin_memcpy issue as well

plafosse commented 6 months ago

Shared internally as 'Bold Aardvark Cake Surprise'

Vector35 / binaryninja-api

Incorrect outlining for format string #4790