https://github.com/facthunder/ikos

Docker image for ikos
https://github.com/facthunder/ikos

analyzer c code-analysis docker docker-image ikos static-analysis

Last synced: about 1 month ago
JSON representation

Docker image for ikos

• Host: GitHub
• URL: https://github.com/facthunder/ikos
• Owner: Facthunder
• License: gpl-3.0
• Created: 2019-09-18T18:26:27.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-19T23:03:11.000Z (almost 5 years ago)
• Last Synced: 2023-03-07T06:46:57.138Z (almost 2 years ago)
• Topics: analyzer, c, code-analysis, docker, docker-image, ikos, static-analysis
• Language: Dockerfile
• Homepage:
• Size: 20.5 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project