https://github.com/sslab-gatech/apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking
https://github.com/sslab-gatech/apisan

api-misuse cross-checkig static-analysis symbolic-execution

Last synced: about 1 year ago
JSON representation

APISan: Sanitizing API Usages through Semantic Cross-Checking

• Host: GitHub
• URL: https://github.com/sslab-gatech/apisan
• Owner: sslab-gatech
• License: mit
• Created: 2016-08-25T21:53:26.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2021-11-05T04:57:43.000Z (over 4 years ago)
• Last Synced: 2025-03-21T15:45:24.777Z (about 1 year ago)
• Topics: api-misuse, cross-checkig, static-analysis, symbolic-execution
• Language: C++
• Homepage:
• Size: 34 MB
• Stars: 63
• Watchers: 17
• Forks: 27
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project