Automatically Tracing Imprecision Causes in JavaScript Static Analysis.

Hongki Lee Changhee Park Sukyoung Ryu

Published in: Art Sci. Eng. Program. (2020)

Keyphrases

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