R3CTF 2024 Leannum 单题 Writeup
Ciallo~(∠・ω< )⌒★
# Reverse - leannum
题目给的是 Lean 编程语言的编译产物和中间文件,Lean 是一种函数式编程语言。上次 AkiraHomework 没做出来,这次想做出来。
# 概览
比较有用的文件有 ir/Main.c 和 bin/leannum。
运行和动态调试用二进制文件,题目给的是 Nix 环境下的,Ubuntu/Kali 直接运行会提示没有那个文件或目录。墨水师傅教我的 patch:
patchelf --set-interpreter /lib64/ld-linux-x86-64.
more...