The purpose of this project is to automatically generate anti-specifications from vulnerable programs. we manually analyzed and annotated more than 130 vulnerabilities in hundreds of vulnerable programs in DARPA’s Cyber Grand Challenge (CGC). Our annotations show the causes of vulnerabilities, identify vulnerable locations, and the impacts of the vulnerabilities on control flow and data flow.
-
Notifications
You must be signed in to change notification settings - Fork 0
salmanyam/antispec
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published