26?27?바이트로 입력을 받아 해당 입력값을
function1~15을 이용해 암호화하고
결국 돌아와 if() 로 두갈래로 나뉜다
print flag: 또는 exit(1)
angr는 해당 주소값을 이용해 found, avoid로 해결하는 방법이 있고,
z3는 해당 함수들의 암호화 하는 수식을 똑같이 적용하여 계산으로 풀어나가는 방법이다.
하여, angr가 상대적으로 짧은 코드로 해당 문제를 풀어나갈 수 있다.
하지만 왜 내 우분투에는 설치해도 잘 돌아가지 않는것인지... 힘들다
https://github.com/jsw4215