https://github.com/se2p/bastet

BASTET program analysis and verification framework
https://github.com/se2p/bastet

Last synced: 5 days ago
JSON representation

BASTET program analysis and verification framework

• Host: GitHub
• URL: https://github.com/se2p/bastet
• Owner: se2p
• License: apache-2.0
• Created: 2020-08-28T13:10:51.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-10-28T13:32:33.000Z (about 3 years ago)
• Last Synced: 2023-09-08T17:58:10.648Z (over 1 year ago)
• Language: TypeScript
• Size: 13.5 MB
• Stars: 5
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project