温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种针对复杂参数类型的函数参数约束分析方法，在面对涉及嵌套数据结构、自定义数据类型等复杂情况时，通过在符号执行阶段还原数据结构，构建符号量，为复杂参数类型建立了符号表示，从而有效促进符号执行的顺利实施。同时考虑到参数约束分析的实...
该专利属于浙江大学所有，仅供学习研究参考，未经过浙江大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。