Automatic Modeling of Opaque Code for JavaScript Static Analysis.

Joonyoung Park Alexander Jordan Sukyoung Ryu

Published in: FASE (2019)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
open source
symbolic execution
abstract interpretation
web applications
code reuse
website
java card
test generation
regular expressions
reverse engineering
database
test suite
object oriented
high level