# Analiza programów binarnych i inżynieria wsteczna z AI

EN: **AI for binary analysis and reverse engineering** · id `binaryai` · aliases: ML for binary analysis, AI-assisted reverse engineering, LLM reverse engineering, binary code analysis, inżynieria wsteczna z AI

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [AI w cyberbezpieczeństwie](https://aiatlasgraph.com/t/cyberai.md) › Analiza programów binarnych i inżynieria wsteczna z AI

## Description

- PL: Modele uczone na kodzie maszynowym i wyniku deasemblacji, wspierające dekompilację, odzyskiwanie nazw, wyszukiwanie podobnych funkcji i analizę szkodników bez kodu źródłowego.
- EN: Models trained on machine code and disassembly output that support decompilation, name recovery, similar-function search and malware analysis without source code.

## In one sentence

- PL: Pomoc AI w czytaniu gotowych programów, do których nie ma kodu źródłowego: co robią, skąd pochodzą i czy kryją znane błędy.
- EN: AI help for reading finished programs that come without source code: what they do, where they come from and whether they hide known bugs.

## Problem it solves

- PL: Szkodniki, sterowniki urządzeń i stare systemy istnieją tylko jako nieczytelny kod maszynowy, a jego ręczna analiza trwa tygodniami.
- EN: Malware, device firmware and legacy systems exist only as unreadable machine code, and analysing it by hand takes weeks.

## What it does

- PL: Jak tłumacz odczytujący zatarte inskrypcje: odtwarza sens i nazwy, które zginęły, a specjalista sprawdza, czy przekład się zgadza.
- EN: Like a translator reading worn inscriptions: restores lost meaning and names, while a specialist checks the translation holds up.

## Everyday example

- PL: Analityk dostaje nieznany plik z zaatakowanego serwera; narzędzie zamienia go na czytelny kod z sensownymi nazwami i wskazuje fragmenty podobne do znanego szkodnika.
- EN: An analyst gets an unknown file from a breached server; a tool turns it into readable code with sensible names and points out parts resembling known malware.

## This concerns you if you…

- PL: analizujesz złośliwe oprogramowanie
- PL: sprawdzasz bezpieczeństwo urządzeń bez dostępu do kodu
- PL: utrzymujesz stary system bez dokumentacji
- EN: analyse malicious software
- EN: assess device security without access to source
- EN: maintain an old system with no documentation

## Keywords

Ghidra · IDA Pro · Binary Ninja · LLM4Decompile · jTrans · DIRE · control-flow graph · binary code similarity · firmware analysis · BinaryCorp · ExeBench

## How it works

- PL: Model koduje instrukcje maszynowe wraz z informacją o skokach lub strukturze, aby tworzyć reprezentacje funkcji binarnych. Inne modele tłumaczą zdekompilowany kod na kod źródłowy albo odtwarzają utracone nazwy zmiennych.
- EN: A model encodes machine instructions together with jump or structural information to represent binary functions. Other models translate decompiled code into source code or recover lost variable names.

## Limits

- PL: Wyniki z pojedynczych funkcji, języka C albo jednej architektury nie muszą przenosić się na pełne programy i inne środowiska. Rewykonywalność kodu lub zgodność nazw nie gwarantują pełnego odzyskania semantyki programu.
- EN: Results on individual functions, C code, or one architecture may not transfer to complete programs and other environments. Re-executability or name matching does not guarantee full recovery of program semantics.

## Key terms

- PL: **deasemblacja**: Zamiana bajtów programu na listę instrukcji procesora.
- PL: **dekompilacja**: Odtwarzanie kodu w języku wysokiego poziomu z programu binarnego.
- PL: **plik bez symboli**: Program, z którego usunięto nazwy funkcji i zmiennych.
- EN: **disassembly**: Turning a program's bytes into a list of processor instructions.
- EN: **decompilation**: Reconstructing high-level code from a binary program.
- EN: **stripped binary**: A program with function and variable names removed.

## Know first

- [Transformery i attention (Transformers and attention)](https://aiatlasgraph.com/t/transformers.md)

## Subtopics (3 direct, 3 in total)

- [Dekompilacja z użyciem modeli językowych (Neural and LLM-based decompilation)](https://aiatlasgraph.com/t/llmdecompile.md): Translating machine code, or a classic decompiler's output, into readable, compilable source code with language models.
- [Odzyskiwanie nazw zmiennych w zdekompilowanym kodzie (Neural variable-name recovery in decompiled code)](https://aiatlasgraph.com/t/binsymbolrecovery.md): Models learn to restore meaningful variable names lost during compilation by using lexical and structural context from decompiled code.
- [Wyszukiwanie podobnych funkcji w kodzie binarnym (Binary code similarity detection)](https://aiatlasgraph.com/t/binsimilarity.md): Learning embeddings of binary functions so the same code compiled with different compilers, options or architectures lies close together.

## Related topics

Untyped, symmetric "see also" links.

- [Wykrywanie malware po zachowaniu w piaskownicy (Dynamic (behavioural) malware detection)](https://aiatlasgraph.com/t/dynmalware.md)
- [Wykrywanie złośliwego oprogramowania (Machine-learning malware detection)](https://aiatlasgraph.com/t/malwareml.md)

## Sources

- [LLM4Decompile: Decompiling Binary Code with Large Language Models](<https://arxiv.org/abs/2403.05286>) `tan-llm4decompile-2024` · by Hanzhuo Tan, Qi Luo, Jing Li, Yuqun Zhang
- [jTrans: Jump-Aware Transformer for Binary Code Similarity Detection](<https://arxiv.org/abs/2205.12713>) `wang-jtrans-2022` · by Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, Chao Zhang
- [DIRE: A Neural Approach to Decompiled Identifier Naming](<https://arxiv.org/abs/1909.09029>) `lacomis-dire-2019` · by Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu

---

AI Atlas revision 122 (2026-10-30) · HTML: https://aiatlasgraph.com/t/binaryai · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-10-30
