帮我翻译成中文：In summary this paper proposes the use of symbolic execution to thoroughly analyze X509 implementations in small footprint SSLTLS libraries The authors introduce SymCerts which are X509 certif

总之，本文提出了使用符号执行方法对小型SSL/TLS库中的X.509实现进行深入分析的方法。作者介绍了SymCerts，这是使用符号和具体值混合构建的X.509证书链，并利用它们对每个库的证书链验证代码进行符号执行。通过提取路径约束并进行交叉验证，作者能够发现9个小型X.509实现中的48个不合规实例。提供的发现和建议已经被开发人员并入了新版本的库中。