Login / Signup
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability.
Mingqing Kang
Yichao Xu
Song Li
Rigel Gjomemo
Jianwei Hou
V. N. Venkatakrishnan
Yinzhi Cao
Published in:
SP (2023)
Keyphrases
</>
abstract interpretation
termination analysis
buffer overflow
open source
static analysis
detecting malicious
model checking
security policies
object oriented
active databases
control flow
high level
source code
web applications
active rules