Pietro Fezzardi 6cecbdc800 STS: adopt ModuleSlotTracker in dumpToString
The ModuleSlotTracker is owned by a new function-level
ModuleSlotTrackerAnalysis whose Result holds the MST through a
unique_ptr (MST is neither copyable nor movable, but the FAM
cache requires a movable Result). Its run method calls
incorporateFunction on the function.

AvailableExpressionsAnalysis and InstructionToSerializePicker
fetch the MST via FAM.getResult<ModuleSlotTrackerAnalysis>(F) and
forward it down to AvailableExpressionsResult and the monotone
framework, so all dumpToString calls on the logging path share
the same slot-numbering cache.
2026-05-08 11:37:11 +02:00
2024-11-21 15:54:23 +01:00
2026-05-08 11:37:10 +02:00
2026-04-10 11:45:12 +02:00
2026-05-04 10:49:03 +03:00
2025-09-10 12:05:15 +02:00
2024-02-26 16:02:52 +01:00
2024-02-26 16:02:52 +01:00
2026-04-10 11:45:13 +02:00
2024-11-21 15:54:23 +01:00

The rev.ng binary analysis framework and decompiler

Welcome to the rev.ng project!

rev.ng is an open source binary analysis framework based on LLVM and QEMU. It features a full-fledged decompiler. It's developed by rev.ng Labs in the open.

Getting started

Head to the online documentation to get started (source).

Getting in touch

You can get in touch with us through the following means:

  • X/Twitter, for the latest news about the project;
  • Discord, a place for chatting for users and developers;
  • Discourse, for user discussions;
  • GitHub, for development issues and PRs;
  • E-mail, for anything else;

License

The rev.ng binary analysis framework and decompiler is Free Software.

rev.ng depends on certain on GPLv2 components (in particular, QEMU), so the project is GPLv2-licensed as a whole. However, the individual files are licensed under the MIT license.

S
Description
Automated archival mirror of github.com/revng/revng
Readme GPL-2.0 24 MiB
Languages
C++ 77.1%
Python 12.6%
MLIR 4.4%
CMake 1.9%
LLVM 1.4%
Other 2.5%