Skip to content

Latest commit

 

History

History
30 lines (20 loc) · 1.64 KB

README.md

File metadata and controls

30 lines (20 loc) · 1.64 KB
Raw

Docker image for ikos

This project aims to provide a simple Docker image to encapsulate and run an ikos analysis through Docker.

Run ikos

Run all checks

Assuming current directory contains the source code to analyze, simply run the following command:

docker run --rm -v ${PWD}:/src facthunder/ikos:latest ikos file.c > report.txt

Versions matrix

Here is the versions matrix of the image:

TAG IKOS VERSION BASE IMAGE
latest 2.2 ubuntu:19.04
2.2 2.2 ubuntu:19.04

How to contribute

If you experienced a problem with the plugin please open an issue. Inside this issue please explain us how to reproduce this issue and paste the log.

If you want to do a PR, please put inside of it the reason of this pull request. If this pull request fix an issue please insert the number of the issue or explain inside of the PR how to reproduce this issue.

License

Copyright 2019 Facthunder.

Licensed under the GNU General Public License, Version 3.0