ARMssembly 0
What integer does this program print with arguments 182476535 and 3742084308? File: chall.S Flag format: picoCTF{XXXXXXXX} -> (hex, lowercase, no 0x, and 32 bits. ex. 5614267 would be picoCTF{0055aabb})
- 1.We could either solve this challenge by manually reading the assembly and figuring out what it does or we could compile the assembly and run it. If you understand ARM assembly, reading it is probably easier than compiling and running it, but I don't have a good understanding of assembly so I'm going to compile it.
- 2.The following resources are useful to learn about how ARM assembly works:
- 3.To learn how to cross compile ARM assembly on x86, which is what we will be doing, the following resources are helpful:
- 4.To compile ARMv8 as ARMv8 on a non-ARMv8 machine, we need a cross compiler. Thankfully, the GNU project has a suite of cross compiler tools that we can use for ARMv8. To install on Ubuntu (or other Debian based systems), run:
sudo apt install binutils-aarch64-linux-gnu - 5.Using the above two guides, we can run the following commands to cross compile the challenge ARM assembly code.aarch64-linux-gnu-as -o chall.o chall.Saarch64-linux-gnu-gcc -static -o chall chall.o
- 6.Now that we have the binary, we can use
fileto see that it is compiled forARM aarch64. However, x86_64 systems cannot run this code so we need to emulate it. We can install a version of QEMU that runs statically in the background withsudo apt install qemu-user-staticso we can run ARM binaries like normal programs. - 7.Finally, we can run the challenge binary with the two provided arguments:
./chall 182476535 3742084308to get the answer:Result: 3742084308. - 8.The flag format expects the answer to be in hexadecimal, so we can use RapidTables to convert our decimal result to the hexadecimal flag.
picoCTF{df0bacd4}