Alessandro Di Federico 92c028235f Introduce WellKnownModels analysis

2023-05-10 11:16:08 +02:00

..

ABI

TupleTreeGenerator: emit tracking machinery

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

BasicAnalyses

Drop revng.csv in favor of a Tag

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

EarlyFunctionAnalysis

DetectABI: introduce extra assertions

2023-05-10 09:15:04 +02:00

FunctionCallIdentification

Introduce BasicBlockID

2023-02-23 14:51:10 +01:00

FunctionIsolation

Dismiss ConstantStringsPool, use getUniqueString

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

Lift

JumpTargetManager: drop assertNoUnreachable

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

Model

Introduce WellKnownModels analysis

2023-05-10 11:16:08 +02:00

Pipeline

LLVMContainer: reduce verifications

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

PipelineC

Push ParseCommandLineOptions into InitRevng

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

Pipes

Rename LLVMGlobalKindBase to LLVMKind

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

PTML

PTMLIndentedOstream: rework write_impl

2022-09-01 17:46:04 +02:00

Recompile

LLVMContainer: outline methods to .cpp

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

Support

LDDTree: rewrite findLibrary

2023-05-10 11:04:52 +02:00

TypeShrinking

JumpTargetManager: improve data structures

2023-04-27 19:22:03 +02:00

UnitTestHelpers

mv librevngUnitTestHelpers.{a,so}

2022-05-12 21:55:18 +02:00

Yield

Yield: switch to new layouter invocation style

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

CMakeLists.txt

Introduce ptml namespace

2022-07-28 08:47:17 +02:00