前言

最近看n1ctf题解的时候看到了一个IDA插件，用来符号执行的，简单的理解就是一个更简单的angr，比angr使用要方便一点，叫做ponce。

https://github.com/illera88/Ponce

安装

直接把Ponce编译好的版本全部粘贴到IDA的插件文件夹中即可。

使用

Ponce是一个符号执行的工具，按照我的理解，符号执行就是将输入看作一个变量（符号），然后通过动态执行能够将这个变量所满足的所有约束条件找到，这些约束条件可能是某些比较复杂的加密比较，但总之肯定有某种约束条件，将所有的约束条件收集好后工具就可以自动算出这个变量应该是什么。

因此我们需要首先找到两个东西或者三个东西，一个是输入存放的位置，一个是最终正确错误的分支点。我们先将输入转变为符号，执行后到达正确错误的分支点时也就已经收集好了所有的约束条件，然后得出结果即可。

这里以一个例子来讲解一下Ponce的简单使用。

测试文件的源代码：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int main(){
	char input[50];
	char enc[]={0x56,0x5c,0x51,0x57,0x4b,0x47,0x58,0x51,0x44,0x6f,0x59,0x43,0x6f,0x49,0x5f,0x45,0x42,0x6f,0x56,0x5c,0x51,0x57,0xf,0x4d};
	scanf("%s",input);
	int len=strlen(input);
	if(len!=24){
		printf("no!");
		return 0;
	}
	for(int i=0;i<len;i++){
		input[i]^=0x30;
		if(input[i]!=enc[i]){
			printf("no!");
			return 0;
		}
	}
	printf("yes!");
	return 0;
}// flag{what_is_your_flag?}