符号执行学习——示例r100.py

符号执行

一、 实验目的

学习符号执行的原理和方法，进一步了解符号执行过程

二、 实验准备

Kali2020.1虚拟机

Angr工具

三、 实验过程

1、 环境安装

安装依赖库

sudo apt-get install python-dev libffi-dev build-essential virtualenvwrapper

这一步没有出现什么问题

创建angr的文件夹，安装python3的虚拟环境

mkdir angr && cd angr && virtualenv-p python3 angr

但是这里出现一个问题，应该是setuptools和virtualenv的版本不是最新版

解决方法就是用pip3更新一下这两个工具。但是我更新了半天，因为pip会自动使用国外网站，下了几个小时都下不下来，实在是过度自信。后来更换了pip源，很快解决了这个问题成功运行虚拟环境

激活虚拟环境

   Source angr/bin/activate

`成功激活环境