Analysis of an open-sourced project done for a course called Software Verification, as a part of Masters of Informatics degree on the University of Belgrade, Faculty of Mathematics.
Project that was analysed: Karchive from KDE
Branch of project: master
Specific hash commit: 633dc09
Author: Luka Stanković (lukastan)
This project is licensed under the MIT License - see the LICENSE.txt file for details.
This project contains KArchive as a submodule, which is licensed under the LGPL.