-
Notifications
You must be signed in to change notification settings - Fork 14
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.
Yunlongs/Goshawk
ErrorLooks like something went wrong!
About
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.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published