Alessandro Di Federico 739bed3c1d DetectABI: serialize CFG in root ...

This is done mainly so that downstream passes do not need to run
`CollectCFG` to store information that has already been computed but not
serialized.

This come at the cost of computing the CFG also of functions we don't
want to analyze in `DetectABI`.

2023-05-17 11:17:44 +02:00

..

ABI

TupleTreeGenerator: emit tracking machinery

2023-04-21 17:50:16 +02:00

ADT

rcc: add codespell

2023-05-11 10:05:32 +02:00

BasicAnalyses

rcc: add codespell

2023-05-11 10:05:32 +02:00

EarlyFunctionAnalysis

DetectABI: serialize CFG in root

2023-05-17 11:17:44 +02:00

FunctionCallIdentification

Stop using \brief doxygen command

2023-03-15 10:19:01 +01:00

FunctionIsolation

PromoteCSV: tag init_ functions with register

2023-02-23 08:30:22 +01:00

Lift

rcc: add codespell

2023-05-11 10:05:32 +02:00

MFP

rcc: add codespell

2023-05-11 10:05:32 +02:00

Model

TypeCopier: reset TTR's root pointer after copy

2023-05-17 11:17:35 +02:00

Pipeline

rcc: add codespell

2023-05-11 10:05:32 +02:00

PipelineC

rcc: add codespell

2023-05-11 10:05:32 +02:00

Pipes

Rename LLVMGlobalKindBase to LLVMKind

2023-04-28 14:34:49 +02:00

PTML

Adopt more standard library's features

2023-04-08 08:42:23 +02:00

Recompile

Rename LLVMGlobalKindBase to LLVMKind

2023-04-28 14:34:49 +02:00

Runtime

Mark build_PlainMetaAddress as const

2023-04-08 08:42:24 +02:00

Support

rcc: add codespell

2023-05-11 10:05:32 +02:00

TupleTree

rcc: add codespell

2023-05-11 10:05:32 +02:00

TypeShrinking

Add missing includes

2023-04-08 08:42:24 +02:00

UnitTestHelpers

Introduce revng::verify

2023-04-28 14:04:31 +02:00

Yield

Yield: retire the old Graph

2023-04-27 18:12:52 +02:00