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 の出力が問題文になるような入力を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.

このプログラムの出力に } を補うことで、flagが得られた。

I obtained the flag by adding } to the output of this program.

kqctf{D34D_0N_T1|\/|3_3vgy90N51Fob1s}