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

Lab implementation

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

Deliverable and evaluation

This lab will be graded. You must fork this repository and submit a merge request with your answers directly here.

Deadline: December 19th, 2025, at 23:59.

Important: To be considered for grading, all members of the group must be tagged in the description of the merge request.