Artifact for "Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study"

This artifact contains the source code and experiment data for the paper titled "Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study" published in SANER 2026. Please refer to the Readme.md in the artifact for detailed information.本附属包收录有发表于SANER 2026的论文《静态分析跟踪（Static Analysis Traces）可助力动态符号执行（Dynamic Symbolic Execution）：一项复现研究》的源代码与实验数据。 如需了解详细信息，请参阅本附属包内的Readme.md文件。