Alessandro Di Federico 4c2eb97a18 DwarfImporteR: handle STT_GNU_IFUNC symbols ...

In DWARF, `STT_GNU_IFUNC` symbols are associated to a function prototype
returning the actual prototype.

2026-05-29 16:00:44 +02:00

..

ABI

Add CDataModel in ABI definition

2026-05-02 17:21:47 +03:00

Backend

Print opaque types in model header

2026-05-08 11:37:10 +02:00

BasicAnalyses

GCBI: explicitly store module reference

2026-02-05 09:25:42 +01:00

Canonicalize

Improve defer-allocas

2026-05-25 09:00:41 +02:00

Clift

Implement Clift local variable self-assignment

2026-05-25 09:00:41 +02:00

CliftEmitC

Fix C label output around hidden statements

2026-05-25 09:00:41 +02:00

Clifter

Emit clift.require in the Clifter

2026-05-13 15:32:34 +02:00

CliftImportModel

OpaqueType: model verification and name import

2026-05-08 11:37:10 +02:00

CliftPipes

Introduce hoist-variable-initializers pass

2026-05-25 09:00:41 +02:00

CliftTransforms

Introduce hoist-variable-initializers pass

2026-05-25 09:00:41 +02:00

DataLayoutAnalysis

model::Function: add stack frame name and comment

2026-02-13 08:41:39 +02:00

EarlyFunctionAnalysis

Model: rename Inline into AlwaysInline

2026-03-27 08:16:21 +00:00

FunctionCallIdentification

Fix static IR helper object names

2026-02-25 14:10:44 +01:00

FunctionIsolation

Uniform Binary::get{Definition,Binary}Reference

2026-04-24 17:54:09 +02:00

GraphLayout

Remove and ban \file

2025-12-16 17:41:55 +01:00

HeadersGeneration

HelpersToHeader: relax non packed struct check

2026-05-12 16:28:11 +02:00

HelperArgumentsAnalysis

HelperArgumentsAnalysis: use specific Logger name

2026-04-23 13:40:41 +02:00

ImportFromC

CAttributes.h: move back to PTML

2026-03-27 07:19:27 +00:00

InitModelTypes

Uniform Binary::get{Definition,Binary}Reference

2026-04-24 17:54:09 +02:00

Lift

pypeline: split Pipe.invalidate in two

2026-05-22 09:04:35 +02:00

LLMRename

Add LLMRename analysis to pypeline

2026-03-31 17:00:48 +02:00

LocalVariables

Turn revng.stack_type into revng.stack_frame

2026-05-08 17:30:04 +02:00

Model

DwarfImporteR: handle STT_GNU_IFUNC symbols

2026-05-29 16:00:44 +02:00

Pipebox

CMake: force use of Python3

2026-05-14 11:26:41 +02:00

PipeboxCommon/Python

Fix Model.identifier in the C++ implementation

2026-05-22 09:04:35 +02:00

Pipeline

Remove and ban \file

2025-12-16 17:41:55 +01:00

PipelineC

Make argv non-const char *

2026-04-23 13:40:42 +02:00

Pipes

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

PromoteStackPointer

Restructure LocalVariableBuilder

2026-05-08 11:37:09 +02:00

PTML

Migrate Clift users to CDataModel

2026-05-04 10:49:03 +03:00

Recompile

Introduce revng::Configuration

2026-04-23 13:40:43 +02:00

RemoveExtractValues

Better RecursivelyDeleteTriviallyDeadInstructions

2026-04-10 15:27:24 +02:00

RemoveLiftingArtifacts

getPointerSizedInteger: use model::Architecture

2025-12-22 11:34:47 +01:00

RestructureCFG

BeautifyGHAST: use mayHaveSideEffects() method

2026-04-10 15:27:24 +02:00

Storage

Remove and ban \file

2025-12-16 17:41:55 +01:00

Support

Move *LDDTree* to Model/Importer/Binary

2026-05-15 11:27:33 +02:00

TypeNames

Remove array field of opaque struct types

2026-05-13 08:51:25 +02:00

TypeShrinking

Remove and ban \file

2025-12-16 17:41:55 +01:00

UnitTestHelpers

Remove and ban \file

2025-12-16 17:41:55 +01:00

ValueMaterializer

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

Yield

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

CMakeLists.txt

pypeline: drop TraceRunner

2026-02-16 10:34:39 +01:00