Symbolic Execution For Bug Hunting in Binaries - Google スライド

https://docs.google.com/presentation/d/1E3uE-4mYpenw0s40rtMbIdxj3fJgC79aHCeiIlJSY5Y/edit?usp=drivesdk

https://x.com/home/status/1500692897498238980

https://x.com/home/status/1500739844267458560

https://x.com/home/status/1500742976451985412

https://x.com/home/status/1500744679108710401

https://x.com/home/status/1500758637945491459

https://x.com/home/status/1500789436006735874

https://x.com/home/status/1500835895062241284

https://x.com/home/status/1500855031569915905

https://x.com/home/status/1500859793300279298

https://x.com/home/status/1500915871954440197

https://x.com/home/status/1500936177385459715