Alessandro Di Federico a03b5bbbab EFA: update Block.End when appropriate ...

This change handle the situation in which getLastPC returns an invalid
MetaAddress. This is a new behavior introduce to handle queries on
`llvm::BasicBlock`s whose last PC is ambiguous.

2022-05-04 11:46:36 +02:00

..

ABI

ABI: improve RegisterStateDeductions

2022-04-15 18:25:11 +02:00

BasicAnalyses

Adopt cmake-format

2022-03-17 18:52:18 +01:00

EarlyFunctionAnalysis

EFA: update Block.End when appropriate

2022-05-04 11:46:36 +02:00

FunctionCallIdentification

Adopt cmake-format

2022-03-17 18:52:18 +01:00

FunctionIsolation

EnforceABI: add FunctionTags::ABIEnforced tag

2022-04-12 14:15:01 +02:00

Lift

EFA: take the control-flow graph out of the model

2022-04-05 15:37:57 +02:00

Model

Add QualifiedType::is(TypeKind)

2022-04-20 11:25:46 +02:00

Pipeline

revng-pipeline: introduce artifacts

2022-04-26 15:59:35 +02:00

PipelineC

revng-pipeline: introduce artifacts

2022-04-26 15:59:35 +02:00

Pipes

Fix StringMapContainer::remove on isAll target

2022-04-27 17:08:13 +02:00

Recompile

Move librevngRecompile to analyses

2022-04-26 15:05:30 +02:00

Support

getLastNewPC: return nullptr when ambiguous

2022-05-04 11:36:10 +02:00

TypeShrinking

Adopt cmake-format

2022-03-17 18:52:18 +01:00

UnitTestHelpers

Adopt cmake-format

2022-03-17 18:52:18 +01:00

CMakeLists.txt

Drop Dump/CollectCFG.cpp

2022-04-05 15:37:56 +02:00