This is a specialized version of Codyze that supports security evaluators, for example in the process of conducting a CC-based security evaluation.
The project is structured as follows:
codyze-evaluator: Contains the main code for the Codyze Evaluator.codyze-query-catalog: Contains a set of queries that can be used to evaluate security requirements in code.technologies: Contains technology-specific passes.
codyze-openstack: Contains passes for the OpenStack technology.examples: Contains example projects that show-case how to use the Codyze Evaluator in a security evaluation process.
evaluate-hardened-openstack: An example evaluation of OpenStack with the Codyze Evaluator.documentation: Contains user-facing documentation for the Codyze Evaluator.A user facing documentation is available in the documentation folder.
The page can be rendered with mkdocs and using docker as follows:
cd documentation
docker build -t mkdocs-material .
docker run --rm -it -p 8000:8000 -v ${PWD}:/docs mkdocs-material
We are using git submodules to include OpenStack repositories. To clone the submodules, use the following command:
git submodule update --init --remote