admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
develop
revng-revng/share/doc/revng/developer-manual/index.md
T
Andrea Gussoni 9b5eb460e0 docs: tested docs for QEMU helper functions 
Walks through the full helper evolution pipeline (QEMU C ->
original IR -> full -> to-inline -> declarations-only), covering
env-to-CSV rewriting by fix-helpers, REVNG_INLINE/REVNG_EXCEPTIONAL
semantics, CSV access metadata, and per-artifact usage (lift,
enforce-abi, recompile).

All code snippets are tested via revng test-docs.
2026-05-29 17:12:35 +02:00

359 B
Raw Permalink Blame History

Developer's manual

The developer's manual describes concepts that are mostly useful for developing rev.ng.

The manual discusses the following topics:

  1. QEMU helpers: an extensive explanation of why QEMU helper functions are needed in the rev.ng lifting process, and how they are used at different stages in the decompilation pipeline.
Reference in New Issue View Git Blame Copy Permalink