Pietro Fezzardi 8ff8a795e4 DLA: Add DecomposeStridedEdges dla::Step

2022-09-14 11:33:37 +02:00

..

Backend

Output PTML in revng-c

2022-09-01 16:59:29 +02:00

DataLayoutAnalysis

DLA: Add DecomposeStridedEdges dla::Step

2022-09-14 11:33:37 +02:00

HeadersGeneration

Output PTML in revng-c

2022-09-01 16:59:29 +02:00

InitModelTypes

Run VMA during InitModelTypes

2022-07-18 15:37:31 +02:00

IRCanonicalization

MakeModelGEP: remove too strict assertion

2022-09-01 14:31:19 +02:00

PromoteStackPointer

Segregate: fix failure if nothing needs to be done

2022-09-01 15:10:02 +02:00

RemoveExtractValues

ModelGEP: Return the size of the gepped field

2022-06-28 10:14:10 +02:00

RemoveLiftingArtifacts

Moved kinds to kinds namespace

2022-08-25 17:09:15 +02:00

RestructureCFG

MarkAssignment: fix taint set and aggregate types

2022-06-28 10:28:08 +02:00

Support

Late decompilation: support model::Segment

2022-07-19 13:53:21 +02:00

TypeNames

Output PTML in revng-c

2022-09-01 16:59:29 +02:00

ValueManipulationAnalysis

VMA: restructure getAcceptedColors

2022-07-18 18:33:29 +02:00

CMakeLists.txt

Move CDecompilationPipe in lib/Backend

2022-05-11 15:21:41 +02:00