[ Reversing.kr ] Multiplicative

JavaCrackME 라고 되어있네요..

역시 PE파일이 아니니 쉬운 문제일거라 기대를 해봅니다.

 

https://yuien.tistory.com/entry/JAD-Decompiler-%EC%84%A4%EC%B9%98-%EB%B0%8F-%EC%82%AC%EC%9A%A9%EB%B0%A9%EB%B2%95

JAD Decompiler 설치 및 사용방법

디컴파일러가 jd-gui가 안되길래 이거를 사용해봤습니다. 

 

쉽네요.

 

아니 근데 입력을 했는 데 안되길래 왜 안되지 했더니...

integer overflow 기법을 이용해서 넘치게 만들어서 저 맞추라는 값이 안나오게 만들어놨음 ㅇㅇ...

 

모듈러 계산하면 되는 거 같은 데 귀찮으니까 그냥 z3 모듈 사용했습니다.

from z3 import * 
 
x = Int('x')
s = Solver()
s.add( (x * 26729) % 0x10000000000000000 == 0xeaaeb43e477b8487 )
print(s.check())
print(s.model().eval(x%0x10000000000000000))

잘 나오네요 ㅎㅎ