facthunder/ikos repository overview

⁠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:

⁠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 2020 Facthunder.

Licensed under the GNU General Public License, Version 3.0⁠