https://github.com/s2e/s2e-linux-kernel

Linux kernels (CGC DECREE and vanilla) with S2E extensions
https://github.com/s2e/s2e-linux-kernel

Last synced: 5 months ago
JSON representation

Linux kernels (CGC DECREE and vanilla) with S2E extensions

• Host: GitHub
• URL: https://github.com/s2e/s2e-linux-kernel
• Owner: S2E
• Created: 2017-04-03T16:01:13.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-07-06T01:23:15.000Z (about 2 years ago)
• Last Synced: 2024-12-31T17:47:26.486Z (over 1 year ago)
• Size: 363 MB
• Stars: 23
• Watchers: 8
• Forks: 9
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project