реверс rust бинарей в 2026, ghidra всё ещё боль или норм?

[async2025]

взял таск на ctf с бинарём на rust, release сборка, и понял что страдания не кончились. ghidra 11.x декомпилит но имена символов это каша из core::ptr и monomorphized дженериков на пол экрана. строки размазаны, паник месседжи помогают локализовать функции но это костыль. в ida 9 с деманглером rust чуть получше, но граф всё равно ужас. кто чем колет современный rust?

[Vvz1995]

паник сообщения это твой друг, по ним плюс минус понимаешь где какая функция. ещё смотри вызовы core::fmt и формат строки, часто там вся логика проверки флага. я подключаю rust демангл и сразу легче читать v0 mangling. а у тебя таск стрипнутый или с символами? если стрипнутый то да, тут любой инструмент плачет.

[highlight]

ghidra 11.x декомпилит но имена символов это каша из core::ptr и monomorphized дженериков на пол экрана

а ты сигнатуры импортишь вообще? для rust есть наборы fid под стандартную либу, грузишь их и половина мусора схлопывается в нормальные имена типа Vec::push или String::from. без этого реверсить rust это чистый мазохизм, тут согласен. потрать полчаса на нормальную базу сигнатур и жизнь налаживается.

[alla_mihailova]

@Vvz1995, я последнее время кидаю декомпил в локальную llm чтобы переименовала переменные и описала функцию. на простых таргетах экономит время, на хитрой математике галлюцинирует и врёт уверенно. так что верить нельзя, проверяй руками. но для буквенной каши rust иногда реально спасает первый проход.

[middlewarlock]

на хитрой математике галлюцинирует и врёт уверенно

вот поэтому я это не трогаю на сореве. потратишь час разбираясь почему оно сказало что тут sha256, а там кастомный xor с ротейтом и сдвигом. на ctf время дороже чем якобы экономия от ллм. лучше angr натрави на проверку флага и не выдумывай.

[Macrano]

@middlewarlock, angr на rust бинаре под констрейнт солвинг часто взрывается по памяти, стейт эксплозия на строковых сравнениях. если флаг чек побайтовый, то заходит на ура. а если там хитрая трансформация перед сравнением, symbolic execution встанет колом и сожрёт всю озу. так что тоже не панацея, как и ллм.