Kennon Bittick - Function Equivalence with Symbolic Execution
From Katie Gentilello May 6th, 2021
39 plays
39
0 comments
0
Related Media
Summarizing and comparing basic blocks or functions across different binaries or between binary and source code has many applications for program verification including verifying compilation, source or binary transformations, identifying patched code, and identifying library functions. This talk will present IRAD research on using static symbolic execution to prove source and binary function equivalence, with a focus on how breaking up functions or basic blocks into smaller, composable units can make the analysis tractable and bypass many common issues with symbolic execution.
- Tags
- name
- Kennon Bittick
- Date
- April 16th, 2021
- Appears In
Link to Media Page
Loading