Automatically Tracing Imprecision Causes in JavaScript Static Analysis.

Hongki Lee Changhee Park Sukyoung Ryu

Published in: CoRR (2019)

Keyphrases

static analysis
dynamic analysis
source code
web applications
malicious code
open source
abstract interpretation
symbolic execution
website
java card
fuzzy logic
reverse engineering
regular expressions
fuzzy sets
database
test suite
web browser
test generation
relational databases