peng-hui / goshawk Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yunlongs/goshawk
Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.
Home Page: https://goshawk.code-analysis.org/