【课程】第 3 期-程序混淆十讲【早鸟报名开启】
开启客户端软件安全与逆向工程技术进阶之旅：超强混淆技术实战课程来袭🎉在当今复杂多变的编程世界里，程序混淆技术犹如一把神秘的钥匙，既能锁住代码的 “秘密”，又能为逆向分析者带来诸多挑...
admin
基于人机协同的漏洞挖掘框架设计
摘要近年来，随着模糊测试的不断发展，模糊测试工具在实际应用上取得了很好的效果，但是现有模糊测试工具容易陷入停滞状态或无法探索某些路径。基于群体智能的思想，提出了一种基于人机协同的二...
（八）SMT和符号执行
前言我们程序分析的学习进入了下一个阶段。在第一篇文章中提到程序分析可以大体分成抽象和搜索两部分，之前都是学习了抽象的部分。我们从数据流分析开始，讨论了抽象的基本思想，分支（包括循环）如何合并，节点如何...
符号执行漏洞与代码插桩技术
符号执行技术不同于一般程序测试分析技术。一般分析技术以真实数据为输入，符号执行技术虚拟化数据输入，模拟程序通过符号进行数值操作。生成符号执行技术的目的是提高测试和分析代码程序过程中路径的...
eBPF系统视频教程已经更新到android部分的第46节啦
# eBPF系统视频教程 ## 基础教程* 1.课程介绍* 2.eBPF介绍* 3.eBPF工作机制(组成)* 4.BCC工具集源码编译* 5.编译安装内核源码* 6.第一个eBP...
eBPF系统视频教程-嵌入式android系统部分继续更新
# eBPF系统视频教程 ## 基础教程* 1.课程介绍* 2.eBPF介绍* 3.eBPF工作机制(组成)* 4.BCC工具集源码编译* 5.编译安装内核源码* 6.第一个eBP...
eBPF系统视频教程已经更新到了嵌入式最后部分
目录# eBPF系统视频教程 ## 基础教程* 1.课程介绍* 2.eBPF介绍* 3.eBPF工作机制(组成)* 4.BCC工具集源码编译* 5.编译安装内核源码* 6.第一个e...
2022-10-07学术活动预告
学术活动报告题目【论文阅读】Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program...
国庆马上就要结束了，eBPF系统视频教程更新到了bpftrace章节
目录# eBPF系统视频教程 ## 基础教程* 1.课程介绍* 2.eBPF介绍* 3.eBPF工作机制(组成)* 4.BCC工具集源码编译* 5.编译安装内核源码* 6.第一个e...