40 citations · 72 across the 5 of their papers we have counts for
5 papers
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages
Tiago Brito, Mafalda Ferreira, Miguel Monteiro +4
With the emergence of the Node.js ecosystem, JavaScript has become a widely-used programming language for implementing server-side web applications. In this paper, we present the f…
TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Filipe Marques, António Morgado, José Fragoso Santos +1
Computer Science course instructors routinely have to create comprehensive test suites to assess programming assignments. The creation of such test suites is typically not trivial…
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
Tiago Brito, Pedro Lopes, Nuno Santos +1
WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript…
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun +1
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
Gillian: Compositional Symbolic Execution for All
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun +1
We present Gillian, a language-independent framework for the development of compositional symbolic analysis tools. Gillian supports three flavours of analysis: whole-program symbol…