传统的静态分析方法大多不能准确处理脚本与网络交互的过程,且会引入不可达路径,动态分析则需要搭建实验环境和手工分析。针对上述问题,提出一种基于符号执行的Python攻击脚本分析平台Py Ex Z3+。通过对Python脚本的动态符号执行及路径...传统的静态分析方法大多不能准确处理脚本与网络交互的过程,且会引入不可达路径,动态分析则需要搭建实验环境和手工分析。针对上述问题,提出一种基于符号执行的Python攻击脚本分析平台Py Ex Z3+。通过对Python脚本的动态符号执行及路径探索,可以获得触发攻击的输入流量及相应的输出攻击载荷,以此实现对Python攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略,使程序更快进入目标代码。实验结果表明,Py Ex Z3+相比CHEF,Py Ex Z3等符号执行工具,具有更高的路径覆盖率和执行效率,同时Py Ex Z3+能够对目标脚本程序进行动态检测,实现高效、可行的自动化分析。展开更多
裂纹的扩展是典型的材料不连续问题,传统的有限元方法难以实现裂纹扩展过程的仿真模拟。为了解决传统有限元在模拟裂纹扩展的不足,XFEM方法(extended Finite Element Method,XFEM)引入水平集函数描述裂纹形态,实现了裂纹在单元内部的扩...裂纹的扩展是典型的材料不连续问题,传统的有限元方法难以实现裂纹扩展过程的仿真模拟。为了解决传统有限元在模拟裂纹扩展的不足,XFEM方法(extended Finite Element Method,XFEM)引入水平集函数描述裂纹形态,实现了裂纹在单元内部的扩展,克服了传统方法只能依赖单元生死来模拟裂纹扩展的难题。以Abaqus为平台,应用Python脚本语言开发了一套裂纹自动扩展程序包,利用Abaqus固有的方法编写程序,通过扩展有限元功能实现裂纹的自动扩展,通过模拟I型边裂纹和三点弯梁的裂纹的扩展过程,验证了XFEM方法的有效性。同时,模拟了多裂纹的扩展过程。结果表明:方法不仅能够利用Abaqus软件的实现复杂的加载和边界模拟,同时又能体现XFEM在裂纹扩展模拟上的优势,为解决实际复杂问题提供了途径。展开更多
文摘传统的静态分析方法大多不能准确处理脚本与网络交互的过程,且会引入不可达路径,动态分析则需要搭建实验环境和手工分析。针对上述问题,提出一种基于符号执行的Python攻击脚本分析平台Py Ex Z3+。通过对Python脚本的动态符号执行及路径探索,可以获得触发攻击的输入流量及相应的输出攻击载荷,以此实现对Python攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略,使程序更快进入目标代码。实验结果表明,Py Ex Z3+相比CHEF,Py Ex Z3等符号执行工具,具有更高的路径覆盖率和执行效率,同时Py Ex Z3+能够对目标脚本程序进行动态检测,实现高效、可行的自动化分析。
文摘裂纹的扩展是典型的材料不连续问题,传统的有限元方法难以实现裂纹扩展过程的仿真模拟。为了解决传统有限元在模拟裂纹扩展的不足,XFEM方法(extended Finite Element Method,XFEM)引入水平集函数描述裂纹形态,实现了裂纹在单元内部的扩展,克服了传统方法只能依赖单元生死来模拟裂纹扩展的难题。以Abaqus为平台,应用Python脚本语言开发了一套裂纹自动扩展程序包,利用Abaqus固有的方法编写程序,通过扩展有限元功能实现裂纹的自动扩展,通过模拟I型边裂纹和三点弯梁的裂纹的扩展过程,验证了XFEM方法的有效性。同时,模拟了多裂纹的扩展过程。结果表明:方法不仅能够利用Abaqus软件的实现复杂的加载和边界模拟,同时又能体现XFEM在裂纹扩展模拟上的优势,为解决实际复杂问题提供了途径。
