Evaluating CodeQL for Automated Runtime Complexity Approximation
| dc.contributor.advisor | Vojdani, Vesal, juhendaja | |
| dc.contributor.author | Hlebnikov, Tõnis Hendrik | |
| dc.contributor.other | Tartu Ülikool. Loodus- ja täppisteaduste valdkond | et |
| dc.contributor.other | Tartu Ülikool. Arvutiteaduse instituut | et |
| dc.date.accessioned | 2024-10-10T11:31:39Z | |
| dc.date.available | 2024-10-10T11:31:39Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | Ajaline 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. | |
| dc.identifier.uri | https://hdl.handle.net/10062/105296 | |
| dc.language.iso | en | |
| dc.publisher | Tartu Ülikool | et |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Estonia | en |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/ee/ | |
| dc.subject | staatiline analüüs | |
| dc.subject | ajaline keerukus | |
| dc.subject | CodeQL | |
| dc.subject.other | magistritööd | et |
| dc.subject.other | informaatika | et |
| dc.subject.other | infotehnoloogia | et |
| dc.subject.other | informatics | en |
| dc.subject.other | infotechnology | en |
| dc.title | Evaluating CodeQL for Automated Runtime Complexity Approximation | |
| dc.type | Thesis | en |