mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
ee3bb0dfb0
This commit introduces an analysis to import prototypes from a SQLite database of well-known prototypes, typically built from debug info of operating systems. This analysis supersedes import-well-known-models.
149 lines
6.5 KiB
C++
149 lines
6.5 KiB
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/ABI/Analyses/ConvertFunctionsToCABI.h"
|
|
#include "revng/ABI/Analyses/ConvertFunctionsToRaw.h"
|
|
#include "revng/Backend/DecompileToSingleFile.h"
|
|
#include "revng/Canonicalize/SimplifySwitch.h"
|
|
#include "revng/Canonicalize/SwitchToStatements.h"
|
|
#include "revng/CliftPipes/Clifter.h"
|
|
#include "revng/CliftPipes/EmitC.h"
|
|
#include "revng/CliftPipes/ImportDescriptiveInfo.h"
|
|
#include "revng/CliftPipes/VerifyAgainstModel.h"
|
|
#include "revng/DataLayoutAnalysis/DLA.h"
|
|
#include "revng/EarlyFunctionAnalysis/AttachDebugInfo.h"
|
|
#include "revng/EarlyFunctionAnalysis/CollectCFG.h"
|
|
#include "revng/EarlyFunctionAnalysis/DetectABI.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/ImportFromC/ImportFromCAnalysis.h"
|
|
#include "revng/LLMRename/LLMRenameAnalysis.h"
|
|
#include "revng/Lift/Lift.h"
|
|
#include "revng/Lift/LinkSupportPipe.h"
|
|
#include "revng/Model/Importer/Binary/ImportBinaryAnalysis.h"
|
|
#include "revng/Model/Importer/ImportPrototypesFromDatabase.h"
|
|
#include "revng/Pipebox/LLVMPipe.h"
|
|
#include "revng/Pipebox/MLIRPipe.h"
|
|
#include "revng/Pipebox/MergeLLVMModules.h"
|
|
#include "revng/PipeboxCommon/BinariesContainer.h"
|
|
#include "revng/PipeboxCommon/CliftContainers.h"
|
|
#include "revng/PipeboxCommon/Helpers/Registrars.h"
|
|
#include "revng/PipeboxCommon/ModelManipulationAnalyses.h"
|
|
#include "revng/PipeboxCommon/RawContainer.h"
|
|
#include "revng/PromoteStackPointer/DetectStackSize.h"
|
|
#include "revng/PromoteStackPointer/InjectStackSizeProbesAtCallSites.h"
|
|
#include "revng/PromoteStackPointer/PromoteStackPointer.h"
|
|
#include "revng/PromoteStackPointer/SegregateStackAccesses.h"
|
|
#include "revng/Recompile/CompileModulePipe.h"
|
|
#include "revng/Recompile/LinkForTranslationPipe.h"
|
|
#include "revng/RemoveLiftingArtifacts/CleanupIR.h"
|
|
#include "revng/RemoveLiftingArtifacts/MakeSegmentRef.h"
|
|
#include "revng/RemoveLiftingArtifacts/PromoteInitCSVToUndef.h"
|
|
#include "revng/RemoveLiftingArtifacts/RemoveLiftingArtifacts.h"
|
|
#include "revng/Yield/HexDump.h"
|
|
#include "revng/Yield/Pipes/ProcessAssembly.h"
|
|
#include "revng/Yield/Pipes/ProcessCallGraph.h"
|
|
#include "revng/Yield/Pipes/YieldAssembly.h"
|
|
#include "revng/Yield/Pipes/YieldCallGraph.h"
|
|
#include "revng/Yield/Pipes/YieldCallGraphSlice.h"
|
|
|
|
using namespace revng::pypeline;
|
|
|
|
//
|
|
// Containers
|
|
//
|
|
|
|
static RegisterContainer<LLVMRootContainer> C1;
|
|
static RegisterContainer<LLVMFunctionContainer> C3;
|
|
static RegisterContainer<PTMLCBytesContainer> 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;
|
|
static RegisterContainer<CliftFunctionContainer> C13;
|
|
static RegisterContainer<PTMLCFunctionBytesContainer> C14;
|
|
static RegisterContainer<CrossRelationsContainer> C15;
|
|
static RegisterContainer<CallGraphContainer> C16;
|
|
static RegisterContainer<CallGraphSliceContainer> C17;
|
|
static RegisterContainer<FunctionControlFlowContainer> C18;
|
|
static RegisterContainer<CliftModuleContainer> C19;
|
|
static RegisterContainer<CliftSingleTypeContainer> C20;
|
|
|
|
//
|
|
// Pipes
|
|
//
|
|
|
|
using namespace revng::pypeline::pipes;
|
|
using namespace revng::pypeline::piperuns;
|
|
namespace piperuns = revng::pypeline::piperuns;
|
|
|
|
static RegisterSingleOutputPipeRun<Lift> P1;
|
|
static RegisterPipe<PureLLVMPassesRootPipe> P2;
|
|
static RegisterPipe<PureLLVMPassesPipe> P3;
|
|
static RegisterSingleOutputPipeRun<ModelToHeader> P4;
|
|
static RegisterTypeDefinitionPipeRun<GenerateModelTypeDefinition> P5;
|
|
static RegisterFunctionPipeRun<CollectCFG> P6;
|
|
static RegisterFunctionPipeRun<Isolate> P7;
|
|
static RegisterFunctionPipeRun<AttachDebugInfo> P8;
|
|
static RegisterFunctionPipeRun<piperuns::EnforceABI> P9;
|
|
static RegisterFunctionPipeRun<PromoteCSVs> P10;
|
|
static RegisterSingleOutputPipeRun<HexDump> P11;
|
|
static RegisterFunctionPipeRun<ProcessAssembly> P12;
|
|
static RegisterFunctionPipeRun<YieldAssembly> P13;
|
|
static RegisterSingleOutputPipeRun<LinkSupport> P14;
|
|
static RegisterSingleOutputPipeRun<CompileRootModule> P15;
|
|
static RegisterSingleOutputPipeRun<LinkForTranslation> P16;
|
|
static RegisterSingleOutputPipeRun<InvokeIsolatedFunctions> P17;
|
|
static RegisterFunctionPipeRun<RemoveLiftingArtifacts> P18;
|
|
static RegisterFunctionPipeRun<PromoteInitCSVToUndef> P19;
|
|
static RegisterFunctionPipeRun<InjectStackSizeProbesAtCallSites> P20;
|
|
static RegisterFunctionPipeRun<PromoteStackPointer> P21;
|
|
static RegisterFunctionPipeRun<SimplifySwitch> P22;
|
|
static RegisterFunctionPipeRun<LegacySegregateStackAccesses> P23;
|
|
static RegisterFunctionPipeRun<MakeSegmentRef> P24;
|
|
static RegisterFunctionPipeRun<SegregateStackAccesses> P25;
|
|
static RegisterFunctionPipeRun<SwitchToStatements> P26;
|
|
static RegisterFunctionPipeRun<Clifter> P27;
|
|
static RegisterPipe<PureMLIRPassesPipe> P28;
|
|
static RegisterSingleOutputPipeRun<VerifyAgainstModel> P29;
|
|
static RegisterSingleOutputPipeRun<ImportDescriptiveInfo> P30;
|
|
static RegisterFunctionPipeRun<EmitC> P31;
|
|
static RegisterSingleOutputPipeRun<DecompileToSingleFile> P32;
|
|
static RegisterSingleOutputPipeRun<MergeLLVMModules> P33;
|
|
static RegisterSingleOutputPipeRun<CleanupIR> P34;
|
|
static RegisterSingleOutputPipeRun<ProcessCallGraph> P35;
|
|
static RegisterSingleOutputPipeRun<YieldCallGraph> P36;
|
|
static RegisterFunctionPipeRun<YieldCallGraphSlice> P37;
|
|
static RegisterFunctionPipeRun<YieldCFG> P38;
|
|
static RegisterFunctionPipeRun<ImportDescriptiveFunctionInfo> P39;
|
|
static RegisterFunctionPipeRun<VerifyFunctionAgainstModel> P40;
|
|
|
|
//
|
|
// Analyses
|
|
//
|
|
|
|
using namespace revng::pypeline::analyses;
|
|
|
|
static RegisterAnalysis<ApplyDiff> A1;
|
|
static RegisterAnalysis<VerifyDiff> A2;
|
|
static RegisterAnalysis<SetModel> A3;
|
|
static RegisterAnalysis<VerifyModel> A4;
|
|
static RegisterAnalysis<ParseBinaryAnalysis> A5;
|
|
static RegisterAnalysis<ImportPrototypesFromDatabase> A6;
|
|
static RegisterAnalysis<DetectABI> A7;
|
|
static RegisterAnalysis<DetectStackSize> A8;
|
|
static RegisterAnalysis<AnalyzeDataLayout> A9;
|
|
static RegisterAnalysis<ConvertFunctionsToCABI> A10;
|
|
static RegisterAnalysis<ConvertFunctionsToRaw> A11;
|
|
static RegisterAnalysis<ImportFromC> A12;
|
|
static RegisterAnalysis<LLMRename> A13;
|