Here it is automatically analyzing buffer overflow in a binary: https://x.com/full_duplex/status/1904770477698277847