This repository contains analysis of project SimpleGraphs, it has been made as part of course Software Verification course which is part of Master studies on Faculty of Mathematics in Belgrade.
The project represents a small, header-only library implemented in C++, designed for creating and executing various graph algorithms. The primary goal of this library is to provide flexibility in graph handling, allowing nodes and edges to contain different types of data. All algorithms are implemented generically to support a wide range of use cases. Additionally, a key objective is to make the library easy to understand and use.
Project source code - Link to repo (main grana)
Commit hash : af10ed9cee6de73768b772fab3e6829e7dd52026
- Static analysis
- ClangAnalyzer
- Cppcheck
- Valgrind tools
- MemCheck
- Massif
- Code formater
- ClangFormat
Each tool has its own script that can reproduce the results that are contained inside directories the scripts should be placed inside Root of SimpleGraphs and run from there to produce the reports. Some scripts need to build the tests and run them to analyze the library whole some tests do not.
I've thoroughly analyzed the project SimpleGraphs with all of the tools above and i have not found any major bug or some implementation error. The library is well writen without any bug coming up on my error checks.
Detailed reports for each of the tools are contained in the file ProjectAnalysisReport.md.
Pavle Vlajković 1071/2024