| dc.contributor.author | Delhougne, Robert | |
| dc.contributor.editor | Gesellschaft für Informatik | |
| dc.date.accessioned | 2021-12-15T10:17:08Z | |
| dc.date.available | 2021-12-15T10:17:08Z | |
| dc.date.issued | 2021 | |
| dc.identifier.isbn | 978-3-88579-751-7 | |
| dc.identifier.issn | 1614-3213 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/37771 | |
| dc.description.abstract | The scripting language JavaScript has established itself as a central component of the modern internet. However, the dynamic execution model of the language limits the support for source-code analysis, which leaves a developer without essential tools to maintain safety and security requirements. This paper describes a concolic-fuzzer based on the GraalVM to automatically test JavaScript programs. The fuzzer shows promising results in both code coverage and runtime evaluations and provides developers with additional features such as special analysis targets. | en |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | SKILL 2021 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Seminars, Volume S-17 | |
| dc.subject | Software-Verification | |
| dc.subject | Fuzzing | |
| dc.subject | Concolic-Fuzzing | |
| dc.subject | JavaScript | |
| dc.subject | GraalVM | |
| dc.subject | Truffle | |
| dc.title | Concolic-Fuzzing of JavaScript Programs using GraalVM and Truffle | en |
| mci.reference.pages | 13-24 | |
| mci.conference.sessiontitle | SKILL 2021 | |
| mci.conference.location | Berlin | |
| mci.conference.date | 28. September und 01. Oktober 2021 | |
