jazz
ファイル challenge.jar と、問題文 9xLmMiI2znmPam'D_A_1:RQ;Il\*7:%i".R< が与えられた。
challenge.jar を JD-GUI で解析すると、以下の challenge.java が得られた。
A file challenge.jar and a challenge descryption 9xLmMiI2znmPam'D_A_1:RQ;Il\*7:%i".R< were given.
Analysing challenge.jar using JD-GUI, I obtained this challenge.java.
challenge.java
そこで、以下のプログラムを作成し、challenge.java の出力が問題文になるような入力をZ3で求めた。
Seeing this, I created this program to obtain an input for challenge.java such that its output will be the challenge descryption using Z3.
solve.py
このプログラムの出力に } を補うことで、flagが得られた。
I obtained the flag by adding } to the output of this program.
kqctf{D34D_0N_T1|\/|3_3vgy90N51Fob1s}
writeup by MikeCAT
Killer Queen CTF