ExpoSE:用于JavaScript的动态符号执行（DSE）引擎。 ExpoSE具有高度的可扩展性，与最新JavaScript...

暴露 ExpoSE是JavaScript的动态符号执行引擎，由英国伦敦皇家霍洛威大学的（ ，邓肯·米切尔（Duncan Mitchell）和（ （现为）开发。 ExpoSE支持浏览器中Node.js程序和JavaScript的符号执行。 ExpoSE基于Jalangi2和Z3 SMT求解器。 要求 需要node版本v14.16.1（其他版本可能有效，但未经测试）， npm ， clang （带有clang++ ）， gnuplot （用于覆盖图）， make和python2 （作为path中的python）。 在Ubuntu上，由于默认情况下已删除python2，因此我发现您可能需要安装python3-distutils。 电子分析需要使用mitmproxy （取决于libxml2-dev，libxslt-dev，libssl-dev）。 安装 在ExpoSE目录中执行npm ins