Vojdani, Vesal, juhendajaHlebnikov, Tõnis HendrikTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2024-10-102024-10-102023https://hdl.handle.net/10062/105296Ajaline keerukus kirjeldab programmi käitusaega funktsioonina tema sisendi pikkuse suhtes. Selle käsitsi hindamine on keerukas ning ajamahukas. Tulenevalt on loodud mitmeid tööriistu, mille kasutamine on vähem keerukas ning ajamahukas. Eesmärk on hinnata kas turvalisuse analüüsi tööriista CodeQL-i, saaks kasutada ajalise keerukuse hindamiseks. See saab tuvastatud läbi minimaalse tööriista loomise, mis suudab korrektselt hinnata lihtsamate Java programmide ajalist keerukust. Järgneb arutelu tööriista ning loomisprotsessi ümber.enAttribution-NonCommercial-NoDerivs 3.0 Estoniastaatiline analüüsajaline keerukusCodeQLmagistritöödinformaatikainfotehnoloogiainformaticsinfotechnologyEvaluating CodeQL for Automated Runtime Complexity ApproximationThesis