mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
8cff10e13b
Add 4 analyses to the pipebox that allow setting and verifying the model and its diffs.
78 lines
2.8 KiB
C++
78 lines
2.8 KiB
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/EarlyFunctionAnalysis/AttachDebugInfo.h"
|
|
#include "revng/EarlyFunctionAnalysis/CollectCFG.h"
|
|
#include "revng/FunctionIsolation/EnforceABI.h"
|
|
#include "revng/FunctionIsolation/InvokeIsolatedFunctions.h"
|
|
#include "revng/FunctionIsolation/IsolateFunctions.h"
|
|
#include "revng/FunctionIsolation/PromoteCSVs.h"
|
|
#include "revng/HeadersGeneration/ModelToHeaderPipe.h"
|
|
#include "revng/HeadersGeneration/ModelTypeDefinitionPipe.h"
|
|
#include "revng/Lift/Lift.h"
|
|
#include "revng/Lift/LinkSupportPipe.h"
|
|
#include "revng/Pipebox/LLVMPipe.h"
|
|
#include "revng/PipeboxCommon/BinariesContainer.h"
|
|
#include "revng/PipeboxCommon/Helpers/Registrars.h"
|
|
#include "revng/PipeboxCommon/ModelManipulationAnalyses.h"
|
|
#include "revng/PipeboxCommon/RawContainer.h"
|
|
#include "revng/Recompile/CompileModulePipe.h"
|
|
#include "revng/Recompile/LinkForTranslationPipe.h"
|
|
#include "revng/Yield/HexDump.h"
|
|
#include "revng/Yield/Pipes/ProcessAssembly.h"
|
|
#include "revng/Yield/Pipes/YieldAssembly.h"
|
|
|
|
using namespace revng::pypeline;
|
|
|
|
//
|
|
// Containers
|
|
//
|
|
|
|
static RegisterContainer<LLVMRootContainer> C1;
|
|
static RegisterContainer<LLVMFunctionContainer> C3;
|
|
static RegisterContainer<CBytesContainer> C4;
|
|
static RegisterContainer<BinariesContainer> C5;
|
|
static RegisterContainer<PTMLCTypeContainer> C6;
|
|
static RegisterContainer<CFGMap> C7;
|
|
static RegisterContainer<HexDumpContainer> C8;
|
|
static RegisterContainer<AssemblyInternalContainer> C9;
|
|
static RegisterContainer<AssemblyContainer> C10;
|
|
static RegisterContainer<ObjectFileContainer> C11;
|
|
static RegisterContainer<TranslatedContainer> C12;
|
|
|
|
//
|
|
// Pipes
|
|
//
|
|
|
|
using namespace revng::pypeline::pipes;
|
|
using namespace revng::pypeline::piperuns;
|
|
namespace piperuns = revng::pypeline::piperuns;
|
|
|
|
static RegisterSingleOutputPipe<Lift> P1;
|
|
static RegisterPipe<PureLLVMPassesRootPipe> P2;
|
|
static RegisterPipe<PureLLVMPassesPipe> P3;
|
|
static RegisterSingleOutputPipe<ModelToHeader> P4;
|
|
static RegisterTypeDefinitionPipe<GenerateModelTypeDefinition> P5;
|
|
static RegisterFunctionPipe<CollectCFG> P6;
|
|
static RegisterFunctionPipe<Isolate> P7;
|
|
static RegisterFunctionPipe<AttachDebugInfo> P8;
|
|
static RegisterFunctionPipe<piperuns::EnforceABI> P9;
|
|
static RegisterFunctionPipe<PromoteCSVs> P10;
|
|
static RegisterSingleOutputPipe<HexDump> P11;
|
|
static RegisterFunctionPipe<ProcessAssembly> P12;
|
|
static RegisterFunctionPipe<YieldAssembly> P13;
|
|
static RegisterSingleOutputPipe<LinkSupport> P14;
|
|
static RegisterSingleOutputPipe<CompileRootModule> P15;
|
|
static RegisterSingleOutputPipe<LinkForTranslation> P16;
|
|
static RegisterSingleOutputPipe<InvokeIsolatedFunctions> P17;
|
|
|
|
//
|
|
// Analyses
|
|
//
|
|
|
|
static RegisterAnalysis<ApplyDiff> A1;
|
|
static RegisterAnalysis<VerifyDiff> A2;
|
|
static RegisterAnalysis<SetModel> A3;
|
|
static RegisterAnalysis<VerifyModel> A4;
|