This is the user documentation of the Codyze Evaluator.
The overall goal of this project is described in the chapter Goal. The methodology of assessing the compliance of a concrete instance of a generic TOE, such as OpenStack, with respect to security goals and security claims is described in the chapter Methodology. The User Guide provides information on how to write rules for the Codyze Evaluator and how to tag program code with semantic information.
Finally, the Ecosystem Analysis chapter describes how to analyze the ecosystem of OpenStack and its development workflow.