Ovaj projekat je rad na temu "Izrada novih semantičkih provera u okviru alata Clang" za predmet Verifikacija softvera koji se predaje na master studijama na Matematickom fakultetu u Beogradu.
- Clone repos:
git clone --depth=1 --branch main [email protected]:llvm/llvm-project.git
git clone [email protected]:neske99/custom-clang-analyzer-sugestions.git