Zorya：Go二进制程序的自动化Concolic执行

这项研究介绍了Zorya，一种专门为单线程Go二进制程序设计的自动化concolic执行的新方法。这项工作可能解决了分析Go代码的漏洞以及通过有效符号执行来提高软件可靠性的挑战。

• •专注于自动化concolic执行。
• •专为Go二进制程序设计。
• •针对单线程二进制程序，限制了即时适用性。