共 4 篇文章 |
|
漏洞分析工程师漏洞分析工程师主要负责针对已有漏洞进行分析,并且产出报告或者规则。漏洞挖掘工程师漏洞挖掘工程师与漏洞分析工程师的不同之处在于漏洞挖掘工程师的主要工作内容为通过模糊测试等手段对软件、驱动或操作系统进行未知的漏洞发掘工作。安全研发工程师安全研发工程师主要集中在各大乙方单位,例如负责杀软、恶意代码检测引擎、沙... 阅388 转2 评0 公众公开 20-05-29 14:43 |
简述符号执行前言。静态符号执行具体流程。程序的全局分析是在过程内分析的基础上进行的,如果过程内分析中包含了函数调用,就引入了过程间分析,因此两者之间是相对独立又相互依赖的关系过程内分析流程程序全局分析流程动态符号执行(concolic)(混合符号执行)然后修改该符号约束内容构造出一条新的可行的路径约束,并用约束求解器求解出一... 阅2807 转2 评0 公众公开 20-05-29 14:03 |
符号执行技术总结(A Brief Summary of Symbol Execution)符号执行技术总结(A Brief Summary of Symbol Execution)Prologue摘要简介经典符号执行技术现代符号执行技术。符号状态(symbolic state):符号执行维护一个符号状态e,它将变量映射到符号表达式。符号路径约束(symbolic path constraint):符号路径约束PC,它是符号表达式上无量词的... 阅927 转1 评0 公众公开 20-05-29 14:01 |