流程图
2016-02-26 15:30:58 0 举报
流程图是一种图形化表示工作流程、程序或操作步骤的工具。它以方框、箭头和线条等元素构成,清晰地展示了各个步骤之间的逻辑关系和顺序。通过流程图,人们可以直观地了解一个过程的开始、结束以及中间环节的细节。流程图常用于项目管理、业务流程优化、决策分析等领域,帮助提高工作效率和准确性。制作流程图需要明确目标、梳理步骤并合理布局,以确保信息的清晰传达和易于理解。
作者其他创作
大纲/内容
是
否
利用LLVM尝试解析bitcode
生成初始状态,并且将初始状态放入状态集合
开始
指令递进
内存指令
选择入口点,开始执行
结束
二元指令
判断约束条件,修改当前执行状态集合
分支指令
错误报告
使用LLVM工具编译为bitcode格式
利用Pass做优化
判断其他内存安全
状态集合为空
输入待检测文件
判断内存泄露
利用bitcode生成Module
是否编译成功
是Ret类型指令
生成Module的拓扑信息用于执行状态选择
利用状态选择算法选择一个State执行
其他指令
判断加法溢出,除零
0 条评论
下一页