GUEB Static analyzer detecting Use-After-Free on binary
Presentation
GUEB is a static analyzer performing use-after-free detection on binary
The tool is still under development, any commentary / help are welcome
In summary, GUEB performs a value analysis on binary code, which tracks pointers and the states of the heap objects When GUEB detects the use of a freed pointer, it