• KLEE 入门

    KLEE安装依赖for ubuntu 1sudo apt-get install build-essential curl libcap-dev git cmake libncurses5-dev python-minimal python-pip ...
  • Mac环境配置

    Mac环境配置系统设置Dock 将不用的软件移除 Preference Apple ID iCloud云盘 桌面与文稿文件夹 通用 外观:深色 在滚动条中点按:跳到点按的位置 桌面与屏幕保护程序 桌面 换桌面 屏幕保护程序 触发角 ...
  • Manticore

    Background 现在市面上出现了一些 Wasm 的符号执行工具,例如 Manticore,我们需要调研并实际部署一下测试一下他们的功能和性能。 Install Install via Docker 1docker run -idt --n...
  • ASUS 路由器指北

    指北设备你需要一台可以装梅林系统的路由,最简单的就去购买华硕的路由器,当然那种和华硕配件一样的其他路由器也可以配置。 我的路由器是 RT-AX56U,其实不是很推荐,因为没有usb接口且 jffs 分区过小(15M),很多功能都无法完美使用。当然,还...
  • Software Analysis 2020

    软件分析技术(Software Analysis)任课教师:熊英飞 xiongyf@pku.edu&#...
  • C++ - STL合集

    PreviewC++ STL 标准模板库)是一套功能强大的 C++ 模板类,提供了通用的模板类和函数,这些模板类和函数可以实现多种流行和常用的算法和数据结构。 虽然有些不是很快,但是平常使用起来比较简洁,底层算法也值得细看。 本着遇到一个记一个的态度...
  • Docker 教程

    Docker Install1sudo apt install docker.io Docker 配置镜像加速器针对 Docker 客户端版本大于 1.10.0 的用户,可以通过修改daemon配置文件 /etc/docker/daemon.jso...
  • 如何写好论文外文综述

    综述介绍Review article 即“综述”,不涵盖原始研究,⽽是将针对特定主题的许多不同⽂章的结果,积累成对该领域最新技术的连贯叙述。Review article由在特定领域具有专长的科研⼈员,在对某科技研究领域的⽂献进⾏⼴泛通过⼤量的阅读和理...
  • Firmware Fuzzing: The State of the Art

    Abstract 目标:统计IoT固件模糊测试的方法,分析这些工作,总結现有的缺点。 方法:设计几个研究问题,提取关键字,使用这些关键字搜索文献。 结果:fuzzing分为基于现实世界的和模拟的,模拟的模糊是未来的主流;现有的模糊测试对的漏洞是内存的...
  • Towards Automated Dynamic Analysis for Linux-based Embedded Firmware

    摘要FIRMADYNE是一个自动化和可扩展的系统,用于对基于Linux的嵌入式固件进行仿真和动态分析。它包括以下组件^1: 用于检测固件执行的修改内核(MIPS:v2.6、ARM:v4.1、v3.10); 模拟硬件NVRAM外围设备的用户空间NVR...