Validation and Verification: Practical Session #2

The goal of this practical session is to use and implement static analysis tools to compute metrics such as Cyclomatic Complexity(CC) or Tight Class Cohesion (TCC). After this session you should be able to use existing static analysis tools, and to extend them to implement your own analysis.

Exercises

You can access the exercises here
Exercice answer should be writen in the corresponding exercices folder.
The associated code must be written in corresponding code folder.

Lab implementation

You can realize this lab by group of 1 or 2.

Deliverable and evaluation

We will mark this lab. You need to fork this repository and to submit a pull request with the answers written in the dedicated sections (deadline October 11nd 2024, 23:59).

Note : To be taken into account for grading, the title of the pull request must be formatted as follows {LAST_NAME1}{FIRST_NAME1}&{LAST_NAME2}_{FIRST_NAME2}.