JavaScript mere sikkert: at finde sikkerhedsproblemer i kode fra den virkelige verden
Ph.d.-forsvar, fredag den 18. september 2026, Wenyuan Xu
JavaScript driver en stor del af det moderne web og anvendes også i vid udstrækning i server-, desktop- og mobilapplikationer. Sprogets fleksibilitet og enorme økosystem gør softwareudvikling lettere, men gør det samtidig vanskeligt automatisk at identificere sikkerhedsproblemer.
Under sit ph.d.-studium udviklede Wenyuan Xu nye teknikker, der gør automatiseret sikkerhedsanalyse mere praktisk for JavaScript-programmer fra den virkelige verden. En af teknikkerne gør analysen af store programmer betydeligt hurtigere ved at undgå overflødigt analysearbejde. En anden teknik rekonstruerer bundlet JavaScript ÔÇô den transformerede kode, der faktisk anvendes på mange websites ÔÇô så eksisterende sikkerhedsværktøjer kan opdage problemer, som ellers ville forblive skjulte. I en omfattende undersøgelse gjorde denne teknik det muligt for et bredt anvendt sikkerhedsanalyseværktøj at rapportere mere end 3.000 yderligere sikkerhedsadvarsler i webkode.
Projektet udviklede desuden en metode til analyse af tredjeparts-JavaScript-pakker, som kan indeholde bevidst ondsindet kode. Ved at kombinere automatiseret kodeanalyse med letvægtsbeskyttelse under programmets kørsel kan metoden identificere sikkerhedsfølsom adfærd, selv når ondsindet kode forsøger at undgå analysen. Resultaterne viser, at praktisk ydeevne og stærkere sikkerhedsgarantier kan opnås samtidig for JavaScript-software fra den virkelige verden.
Ph.d.-graden blev gennemført ved Institut for Datalogi, Faculty of Natural Sciences, Aarhus Universitet
Dette resume er udarbejdet af den ph.d.-studerende.
Tid: Fredag den 18. september 2026
Sted: Bygning 5341, lokale 333, Aarhus Universitet
Afhandlingens titel: Practical Static Analysis for JavaScript Security: Scalability and Soundness
Kontaktoplysninger: Wenyuan Xu, e-mail: [wenyuan.xu@cs.au.dk](mailto:wenyuan.xu@cs.au.dk), tlf.: +45 50341971
Medlemmer af bedømmelsesudvalget:
Professor Eric Bodden, Paderborn University, Tyskland
Lektor Alexandros Kapravelos, North Carolina State University, USA
Lektor Amin Timany (formand), Aarhus Universitet, Danmark
Hovedvejleder: Professor Anders Møller, Institut for Datalogi, Aarhus Universitet
Sprog: Ph.d.-afhandlingen forsvares på engelsk.
Forsvaret er offentligt.
Afhandlingen ligger til gennemsyn hos Graduate School of Natural Sciences (GSNS), Ny Munkegade 120, bygning 1521, 8000 Aarhus C