Languages: English | 简体中文 | 繁體中文 | 日本語 | 한국어 | Français | Deutsch | Español | Italiano | Русский | العربية
Project overview and build/CLI notes live in the repository README. Contributor-facing design and test references are indexed here.
Mobile support (experimental CLI): neverd mobile supports Android APK, DEX, and smali inputs for Java recovery, and iOS IPA, .app, and Mach-O inputs for native C and supported Objective-C/Swift source recovery. JSON reports describe recovery results and coverage. Start with the mobile overview, then use the platform guides for commands and limitations.
English guides live directly in docs/. Translations are grouped in language
directories: ar/, de/, es/, fr/, it/, ja/, ko/, ru/, zh-CN/,
and zh-TW/. Each language directory contains a README.md documentation index,
a project.md project overview, topic guides, CONTRIBUTING.md, ATTRIBUTION.md,
and roadmap.md. Shared images remain in assets/.
| Document | Description |
|---|---|
| README (English) | Overview, quick start, build, SDK, CLI |
| Contributing | Development setup, build profiles, workflow, style, and PR expectations |
| Architecture | IR routes, component boundaries, strict lifting, support depth, and where to edit |
| Source and native object patches | Compiler choice, native objects, bindings, exceptions, transactions and verified profiles |
| Offline web analysis | C++ artifact/source/binding/map inspection, metadata policy, SDK and current qualification |
| Primitive JavaScript rewrites | Explicit passes, local substitution checks, exact inverse and receipt-bound local export |
| Bun standalone profile | Qualified ELF, thin Mach-O and PE extraction for x64/ARM64, original ranges and pinned fixture provenance |
| ASAR extraction profile | Packed/unpacked capture association, integrity states, member consumers and native Unicode dependency |
| Electron evidence profile | Captured entry paths, manifest/source scope, window/bridge evidence and IPC channel candidates |
| HTML source profile | Bounded C++ script inventory, captured local references and original inline-source anchors |
| Testing | Test suites, generated fixtures, Unicorn roundtrips, and incremental commands |
| Desktop workbench | Classic disassembler layout, worker separation, project databases, localization and MCP connections |
| Analysis image sections | Add materialized code/data through the C ABI, worker, CLI and workbench; native views and project persistence |
| Library recognition | Evidence-backed STL, ATL/MFC, COM and libc identities, profiles and reversible C folds |
| Desktop qualification | Supported workflows, verification evidence and platform release requirements |
| Interpreter source recovery | Experimental x64 interpreter specialization, control contexts, source routes, local evidence, and explicit refusal boundaries; nested loop proof proposals; explicit discovery budgets and versioned C API; exact native-to-LLVM proof API |
| Windows exception reconstruction | SEH/C++ unwind support matrix, IR contract, native patch rules, and PE validation |
| CPU execution and guest workloads | Backend selection, guest environments, native validation and current limits |
| CPU execution | Validated configuration, capability queries, backend availability and typed CPU outcomes, independent of guest OS |
| Bitvector proof backends | Optional Z3 proofs, fail-closed synthesis, independent solver tests and query export |
| Guest process emulation | Explicit Linux ELF64 process profile, startup stack, system calls, bounded output, CLI/C/Python and current limits |
| macOS/iOS process environments | Mach-O startup, explicit device/simulator platforms, Darwin BSD services and page rules |
| macOS HVF | Host-native hardware execution, entitlements, packaging and validation |
| Windows driver emulation | Bounded x64 WDM/KMDF lifecycle, requests, hardware scenarios, SEH, PnP subsets, backend selection and limits |
| Memory-safety audit & hunt | Heap-lifetime and copy-overflow analysis: identity contract per format, sink/source catalog, verdicts, budgets, and JSON schema |
| Native plugins | Pure-C descriptor ABI, callbacks and events, build/link workflow, discovery, and compatibility rules |
| Python plugins | Typed authoring SDK, embedded host, lifecycle, loading, safety, tests, and publishing |
| Mobile overview | Android and iOS support, input/output formats, quick start, and links to platform guides |
| Android Java recovery | Supports APK (including multidex), DEX, and smali → Java; CLI options, JSON reports, verification, and recovery limits |
| iOS source recovery | Supports IPA/.app/Mach-O → native C and supported Objective-C/Swift sources; artifact selection, JSON coverage reports, verification, and recovery limits |
| EVM decompilation | EVM inputs, hardforks, staged IR, C/LLVM host ABI, Solidity reconstruction, and limitations |
| Solana SBF decompilation | SBF v0-v4 ELF rules, staged IR, syscalls, C/Rust/LLVM backends, and host contracts |
| Roadmap | Status: native formats, EVM, and Solana SBF implemented |
| Localized documentation | Use the language links above to open each language's index and project overview |
| Unpacking packed executables | Recovery of packed PE32+ images by observing a bounded guest process: entry rules, rebuilt image, identification and limits |