Commit Graph

  • 2c04325670 yield::Function::verify: allow empty blocks list Alessandro Di Federico 2025-12-16 15:39:11 +01:00
  • f443bcc6da Model migration tests: suppress output Alessandro Di Federico 2025-12-16 15:39:11 +01:00
  • ce4f6ef996 llvmName: turn into a free function Alessandro Di Federico 2025-12-16 15:39:08 +01:00
  • a1f9bd2d16 Minor changes Alessandro Di Federico 2025-12-16 15:39:08 +01:00
  • a36690b25a Merge branch 'feature/pe-dynamic-calls' Alessandro Di Federico 2025-12-22 11:32:17 +01:00
  • 9d76a2ff52 for-collect-cfg: test Windows dynamic calls Alessandro Di Federico 2025-12-19 15:21:10 +01:00
  • 87c61b021a importWellKnownModels: do not shadow class field Alessandro Di Federico 2025-12-19 14:30:43 +01:00
  • 79a7df6bd0 RootAnalyzer: do not mark exitTB as noreturn Alessandro Di Federico 2025-12-19 11:52:08 +01:00
  • a394b1f7f5 RootAnalyzer: promote all PC-affecting CSVs Alessandro Di Federico 2025-12-19 10:09:37 +01:00
  • b80d68364c ProgramCounterHandler: make Alignment an uint64_t Alessandro Di Federico 2025-12-19 10:08:26 +01:00
  • d0a841ed6a CMakeLists.txt: re-introduce WELL_KNOWN_BINARIES Alessandro Di Federico 2025-12-18 13:55:01 +01:00
  • d9123fcd49 PECOFFImporter: fix handling of relocations Alessandro Di Federico 2025-12-18 13:51:21 +01:00
  • 44fdba9958 JumpTargetManager: add read-from-pointer logger Alessandro Di Federico 2025-12-18 13:50:23 +01:00
  • 66b2374d70 model::Relocation: require Address to be generic Alessandro Di Federico 2025-12-18 13:48:55 +01:00
  • c18aa628e7 Minor changes Alessandro Di Federico 2025-12-19 10:06:33 +01:00
  • e1a7cc79eb Merge branch 'feature/fix-pypeline-crashes' Alessandro Di Federico 2025-12-19 14:37:24 +01:00
  • 33f1bcf2a9 importWellKnownModels: do not shadow class field feature/pe-dynamic-calls Alessandro Di Federico 2025-12-19 14:30:43 +01:00
  • 55553dc933 RootAnalyzer: do not mark exitTB as noreturn Alessandro Di Federico 2025-12-19 11:52:08 +01:00
  • 7cdb9acc4f RootAnalyzer: promote all PC-affecting CSVs Alessandro Di Federico 2025-12-19 10:09:37 +01:00
  • 4256343bee ProgramCounterHandler: make Alignment an uint64_t Alessandro Di Federico 2025-12-19 10:08:26 +01:00
  • 412517779d CMakeLists.txt: re-introduce WELL_KNOWN_BINARIES Alessandro Di Federico 2025-12-18 13:55:01 +01:00
  • cc314214d9 PECOFFImporter: fix handling of relocations Alessandro Di Federico 2025-12-18 13:51:21 +01:00
  • 0d6a2ba651 JumpTargetManager: add read-from-pointer logger Alessandro Di Federico 2025-12-18 13:50:23 +01:00
  • 0b757d7a29 model::Relocation: require Address to be generic Alessandro Di Federico 2025-12-18 13:48:55 +01:00
  • 7122b689fc Minor changes Alessandro Di Federico 2025-12-19 10:06:33 +01:00
  • 971cea5bf1 pype-cli: better propagate pypeline errors Giacomo Vercesi 2025-12-17 11:18:34 +01:00
  • e8b55583e6 isolate: outline function splitting in function Giacomo Vercesi 2025-12-18 14:01:14 +01:00
  • 664eb497c1 isolate: selectively clone helpers Giacomo Vercesi 2025-12-16 15:37:12 +01:00
  • 7f7f9571a8 pypeline: implement container discarding Giacomo Vercesi 2025-12-16 12:28:57 +01:00
  • 3d2015a233 isolate: implement trivial memory optimizations Giacomo Vercesi 2025-12-16 10:14:41 +01:00
  • 265af3768f Binary importers: fix debug info detection Giacomo Vercesi 2025-12-18 16:07:40 +01:00
  • e8f293271b BinariesContainer: page files to disk Giacomo Vercesi 2025-12-18 14:28:09 +01:00
  • 397df408be RemoveStackAlignment: allow missing InitFunction Giacomo Vercesi 2025-12-15 17:14:50 +01:00
  • eefdca934b pypeline: give better names to some attributes Giacomo Vercesi 2025-12-19 10:22:46 +01:00
  • a2a7e6442b pypeline: move PipelineNode.run Giacomo Vercesi 2025-12-15 11:49:27 +01:00
  • 9338ac3486 pypeline: expand ScheduledTask's constructor Giacomo Vercesi 2025-12-15 11:12:42 +01:00
  • 12c180bfd9 pypeline: convert uses of pypeline_logger.log Giacomo Vercesi 2025-12-16 14:40:29 +01:00
  • 75eb0fc0aa Merge branch 'feature/lift-fixes-for-pypeline' Alessandro Di Federico 2025-12-17 10:08:35 +01:00
  • 6175c43b0c Lift: zero initialize temporaries Alessandro Di Federico 2025-12-16 14:42:14 +01:00
  • c7cdd22843 Lift: do not fail if newpc is absent Alessandro Di Federico 2025-12-16 14:40:33 +01:00
  • 5820908675 Remove and ban \file Alessandro Di Federico 2025-12-16 14:55:05 +01:00
  • dd84504321 Merge branch 'feature/pypeline-implement-second-half' Alessandro Di Federico 2025-12-12 16:33:36 +01:00
  • 1bcd1ef920 mass-testing-report: names for binaries Giacomo Vercesi 2025-12-11 17:45:11 +01:00
  • 94b9ecad6c mass-testing: exclude paths from flamegraph Giacomo Vercesi 2025-12-11 16:47:43 +01:00
  • 793b8999e9 Adapt mass-testing infrastructure to pypeline Giacomo Vercesi 2025-12-11 16:42:55 +01:00
  • 6e7efc835b InitRevng: fix memory leak due to stack trace Giacomo Vercesi 2025-12-11 16:41:26 +01:00
  • 17316e1ffa mass-testing-report: names for binaries feature/pypeline-implement-second-half Giacomo Vercesi 2025-12-11 17:45:11 +01:00
  • 82591a72c9 mass-testing: exclude paths from flamegraph Giacomo Vercesi 2025-12-11 16:47:43 +01:00
  • 8e761fc7ef Adapt mass-testing infrastructure to pypeline Giacomo Vercesi 2025-12-11 16:42:55 +01:00
  • 6bb745ddfb InitRevng: fix memory leak due to stack trace Giacomo Vercesi 2025-12-11 16:41:26 +01:00
  • 1632aeac73 Comment run* function with inlinable content Giacomo Vercesi 2025-12-04 17:20:30 +01:00
  • 8af5e1d05c Implement revng2 quick artifact Giacomo Vercesi 2025-12-03 10:08:08 +01:00
  • e3b263d9da Implement revng2 project init Giacomo Vercesi 2025-12-02 17:50:51 +01:00
  • f7231a29da Add yield-cfg to pypeline Giacomo Vercesi 2025-12-02 16:59:14 +01:00
  • 255748228a Add yield-call-graph-slice to pypeline Giacomo Vercesi 2025-12-02 16:28:36 +01:00
  • 83e770551b Add yield-call-graph to pypeline Giacomo Vercesi 2025-12-02 16:02:22 +01:00
  • 4385f28c17 Add YieldCallGraph to pypeline Giacomo Vercesi 2025-12-02 16:02:10 +01:00
  • 9a202822f1 Add ProcessCallGraph to pypeline Giacomo Vercesi 2025-12-02 15:47:47 +01:00
  • 0d732f7a72 Add emit-cfg artifact to pypeline Giacomo Vercesi 2025-12-02 15:25:05 +01:00
  • 3a387238dc Add cleanup-ir to pypeline Giacomo Vercesi 2025-12-02 15:09:34 +01:00
  • a8ed75fdb1 Add CleanupIR to pypeline Giacomo Vercesi 2025-12-02 15:07:18 +01:00
  • d80c0a73f6 Add MergeLLVMModules to pypeline Giacomo Vercesi 2025-12-02 15:00:25 +01:00
  • 05dc279ef2 Add emit-c-as-single-file to pypeline Giacomo Vercesi 2025-11-24 17:29:00 +01:00
  • 0ffce5c5b2 Add emit-c to pypeline Giacomo Vercesi 2025-12-01 17:43:24 +01:00
  • e260d05082 Add EmitC to pypeline Giacomo Vercesi 2025-12-01 17:42:11 +01:00
  • 9b527c8b69 Add ImportModelNames to pypeline Giacomo Vercesi 2025-12-01 17:25:38 +01:00
  • cfe476c701 Add ModelVerifyClift to pypeline Giacomo Vercesi 2025-12-01 17:07:36 +01:00
  • 75455a339e Add PureMLIRPassesPipe to pypeline Giacomo Vercesi 2025-12-01 17:00:21 +01:00
  • 97fe9203e1 Add LLVMToClift to pypeline Giacomo Vercesi 2025-12-01 15:15:59 +01:00
  • 08154335e3 Add SwitchToStatements to pypeline Giacomo Vercesi 2025-12-01 12:26:46 +01:00
  • ee1fdebc4e Add SegregateStackAccesses to pypeline Giacomo Vercesi 2025-12-01 12:11:55 +01:00
  • 3cd011c146 Introduce CliftFunctionMixin Giacomo Vercesi 2025-12-01 16:36:09 +01:00
  • 16e89416c5 Add CliftFunctionContainer Giacomo Vercesi 2025-12-01 14:34:07 +01:00
  • 281484ad79 Add initial-auto-analysis list to pypeline Giacomo Vercesi 2025-11-27 11:33:25 +01:00
  • e35f5750de Add ConvertFunctionsToCABI analysis to pypeline Giacomo Vercesi 2025-11-27 11:25:18 +01:00
  • 550ee523db DLA: ignore uses that are not CallInsts Giacomo Vercesi 2025-11-27 10:38:19 +01:00
  • 9e8e4cdf85 Add AnalyzeDataLayout analysis to pypeline Giacomo Vercesi 2025-11-26 16:55:42 +01:00
  • 6d58434868 linkFunctionModule: improve linking of globals Giacomo Vercesi 2025-11-27 16:30:53 +01:00
  • cff658dd1c makeGlobalObjectsArray: use opaque pointers Giacomo Vercesi 2025-11-27 17:33:32 +01:00
  • 56ab47bfd2 Outline mergeBackImpl in IRHelpers Giacomo Vercesi 2025-11-26 15:49:47 +01:00
  • 5a6efb0fa2 Add DetectStackSize analysis to pypeline Giacomo Vercesi 2025-11-26 12:29:15 +01:00
  • c1217dcfc3 Add DetectABI analysis to pypeline Giacomo Vercesi 2025-11-26 11:30:54 +01:00
  • 405733369b Add ImportWellKnownModelsAnalysis to pypeline Giacomo Vercesi 2025-11-25 17:24:07 +01:00
  • 47038d46ec Add ParseBinaryAnalysis to pypeline Giacomo Vercesi 2025-11-25 15:56:14 +01:00
  • 4086469dc1 Add make-segment-ref to pypeline Giacomo Vercesi 2025-11-21 14:21:30 +01:00
  • e4e259df3c Add MakeSegmentRef to pypeline Giacomo Vercesi 2025-11-21 12:04:53 +01:00
  • 3e37058899 Add LegacySegregateStackAccesses to pypeline Giacomo Vercesi 2025-11-20 15:58:54 +01:00
  • d664a59827 Add detect-stack-size to pypeline Giacomo Vercesi 2025-11-18 17:28:45 +01:00
  • 3a08f8713b Add SimplifySwitch to pypeline Giacomo Vercesi 2025-11-18 17:46:20 +01:00
  • c0e8c8fa09 Add PromoteStackPointer to pypeline Giacomo Vercesi 2025-11-18 17:03:26 +01:00
  • 10cc709098 Add InjectStackSizeProbesAtCallSites to pypeline Giacomo Vercesi 2025-11-18 15:54:21 +01:00
  • 0bc74e0234 Add PromoteInitCSVToUndef to pypeline Giacomo Vercesi 2025-11-18 15:16:51 +01:00
  • e13e5add06 Add RemoveLiftingArtifacts to pypeline Giacomo Vercesi 2025-11-18 15:02:27 +01:00
  • 35ef98e83f LLVMPipe: make passes key lowercase Giacomo Vercesi 2025-12-04 16:56:28 +01:00
  • 19f67c8223 Introduce LLVMFunctionMixin Giacomo Vercesi 2025-11-20 18:11:45 +01:00
  • db94859401 Registrars: add Run suffix for piperuns Giacomo Vercesi 2025-12-04 15:05:13 +01:00
  • 296eb9a76f Make SingleOutputPipe uniform to other piperuns Giacomo Vercesi 2025-11-28 17:29:01 +01:00
  • 532a4a19f6 Drop LLVMFunctionPassPipe Giacomo Vercesi 2025-11-28 16:32:27 +01:00
  • 1da6e49b36 ObjectDependenciesTracker: also stop tracking Giacomo Vercesi 2025-11-26 11:31:04 +01:00
  • fe73243cc5 pypeline-cli: fix autocomplete with pipebox init Giacomo Vercesi 2025-12-09 18:24:01 +01:00