secureweb/symphp

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)

语言：C · GitHub 星标：18 · Fork：0

话题：concolic-execution · php · php-symbolic-execution · symbolic-execution

在 GitHub 上查看原仓库