Auflistung nach Schlagwort "Software-Verification"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- TextdokumentConcolic-Fuzzing of JavaScript Programs using GraalVM and Truffle(SKILL 2021, 2021) Delhougne, RobertThe 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.