angr test

test.c

#include<stdlib.h>
#include<stdio.h>

int foo(int a, int b)
{
	a = a + 4*b;
	b = a - b;
	a = a*b;
	b = a + 7;	
	
	if (a + b == b + 55)
		return 1;
	
	return 0;
}

int main(int argc, char * argv[])
{
	int a,b;

		
	a = atoi(argv[1]);
	b = atoi(argv[2]);

	
	if (foo(a,b))
	{
		printf("Correct!\n");
		return 0;
	}
	else
	{
		printf("Wrong!\n");
		return -1;
	}
}