如果你只需要某个版块,可以去git主页看已经更新了的教程,比如triton# Triton视频教程## Triton介绍与环境搭建* 1.课程介绍* 2.学习必备条件* 3.Triton编译与安装* ...
浅谈RHG比赛
浅谈RHG比赛背景RHG全称Robot Hacking Game,一般是指对二进制漏洞的自动发现(CrashMe)和利用(ExpMe,PopCalc)的比赛(也就是CTF中常见的PWN类型题目),通常...
【技术分享】带你搞懂符号执行的前世今生与最近技术
iddm带你读论文——SymQEMU:Compilation-based symbolic execution for binaries本篇文章收录于2021年网络安全顶会NDSS,介绍了最新的符号执...
fuzzing check分支概述
逆向与漏洞挖掘实验室,点击蓝字关注模糊测试中的bypass check研究 在现代二进制漏洞挖掘技术中,应用最为普遍的就是模...
WPA2协议4次握手实现存在漏洞
研究人员发现,“WiFi保护访问2(WPA2)”协议的4次握手实现中存在多个安全漏洞,影响几乎所有受保护WiFi网络。分析安全协议实现会用到符号执行,该发现就是符号执行过程中模拟加密基元的结果。比利时...
【技术分享】浅谈angr的缓解状态爆炸策略
前言angr是有名的符号执行工具。众所周知,符号执行最大的问题就是状态爆炸。因此,angr中也内置了很多缓解符号执行的策略。本文主要介绍angr里的一些内置机制是如何缓解状态爆炸的。&nb...
『工具使用』二进制分析框架 angr
点击蓝字 关注我们日期: 2022-03-14作者: Mr-hello介绍: angr,一款可以自动化分析二进制文件的框架。0x00 前言之前一直想学习 angr 这个框架,但是由...
G.O.S.S.I.P 学术论文推荐 2021-07-16(补)
今(昨)天给大家推荐的是来自IEEE S&P的一篇关于智能合约自动化检查和修复的论文——"SGUARD: Towards Fixing Vulnerable Smart Contracts A...
3