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 2 months 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 (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2020-04-19T23:03:11.000Z (about 6 years ago)
- Last Synced: 2025-02-06T13:17:59.733Z (over 1 year 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