Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
