Nodest: feedback-driven static analysis of Node.js applications.

Benjamin Barslev Nielsen Behnaz Hassanshahi François Gauthier

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
relevance feedback
regular expressions
test generation
java card
abstract interpretation
error rate
reverse engineering
test case generation