Commit Graph

  • 618dbf3673 s/CSVsUsedByHelperCall/CSVsUsage/g Alessandro Di Federico 2021-04-11 15:21:14 +02:00
  • 8c27f2bfcd OpaqueFunctionsPool: enumeration and registration Alessandro Di Federico 2021-04-11 15:29:04 +02:00
  • 694b76a8e2 GenericGraph: propagate graph properties to nodes Alessandro Di Federico 2021-04-11 15:19:33 +02:00
  • e3157ffdd4 GenericGraph: initialize EntryNode Alessandro Di Federico 2021-04-11 15:19:06 +02:00
  • 2a93ef2257 IRHelpers: introduce callers() Alessandro Di Federico 2021-04-11 15:26:19 +02:00
  • 4f7be5a966 IRHelpers: generalize getContext to GlobalObjects Alessandro Di Federico 2021-04-11 15:24:42 +02:00
  • b29fc4c59c Ignore nulls in revng.csvs Alessandro Di Federico 2021-04-11 15:32:11 +02:00
  • 02f3bb4f88 QEMU helpers no longer have optnone Alessandro Di Federico 2021-04-11 15:35:17 +02:00
  • f5e8ac21c0 Merge branch 'feature/invoke-isolated-functions' Alessandro Di Federico 2021-04-22 18:02:57 +02:00
  • 651282a85a Introduce constructors Alessandro Di Federico 2021-03-23 12:23:31 +01:00
  • 2b9cbb98ec Introduce --invoke-isolated-functions Alessandro Di Federico 2021-03-23 11:08:17 +01:00
  • 081809ec38 Adopt EliminateUnreachableBlocks Alessandro Di Federico 2021-03-23 10:01:59 +01:00
  • c11065c7fd scripts/revng: handle same library multiple times Alessandro Di Federico 2021-03-23 10:00:51 +01:00
  • 71044a9277 Drop setNoInline from invokes Alessandro Di Federico 2021-03-17 17:40:00 +01:00
  • 40ecee6482 Make SA tests more deterministic Alessandro Di Federico 2021-04-11 15:33:00 +02:00
  • fc7a8cac1a RestructureCFG: optimize updating Backedges Pietro Fezzardi 2021-04-15 11:16:57 +02:00
  • 35e5e2fc83 RegionCFGTree: introduce DeadNodesQuarantine Pietro Fezzardi 2021-04-15 10:31:53 +02:00
  • 56ed3f3904 RestructureCFG: fix typo in comments Pietro Fezzardi 2021-04-15 09:47:53 +02:00
  • 11906b8977 libIsolatedFunctions: fix CMakeLists.txt Pietro Fezzardi 2021-04-15 09:46:55 +02:00
  • f265c8c55f BasicBlockNode: explicitly delete copy-constructor Pietro Fezzardi 2021-04-15 09:42:47 +02:00
  • d4fe6f1a26 Merge branch 'feature/promote-nofallthrough' Pietro Fezzardi 2021-04-07 11:56:57 +02:00
  • 4bdfb2713a Number the beautification passes debug graphs Andrea Gussoni 2021-04-06 19:04:00 +02:00
  • 0502b2345d Implement NoFallThroughPromoter Andrea Gussoni 2021-03-10 11:54:13 +01:00
  • ddbb10f3fa Fix flipEmptyThen beautify Andrea Gussoni 2021-03-10 11:13:58 +01:00
  • 77fb07926b Add recompilation tests without DLA Pietro Fezzardi 2021-04-01 12:50:17 +02:00
  • f49a8ce1e2 CDecompilerAction: fix order of type declarations Pietro Fezzardi 2021-03-31 17:10:31 +02:00
  • e4dbdeaf99 CDecompilerPass: refactor per-function ostreams Pietro Fezzardi 2021-03-31 14:32:27 +02:00
  • 42531f1701 Decompiler: avoid code duplication in do-while Pietro Fezzardi 2021-03-29 17:23:20 +02:00
  • 52e29ccdbf PromoteStackPointer: do nothing with missing sp Pietro Fezzardi 2021-03-25 14:26:11 +01:00
  • 45c586d0b3 MarkForSerialization: better model side-effects Pietro Fezzardi 2021-03-29 12:36:32 +02:00
  • 7e553762b9 CDecompilerBeautify: omit more continue statements Pietro Fezzardi 2021-03-29 12:54:26 +02:00
  • b190dc07da Introduce constructors feature/isolate-root-isolation Alessandro Di Federico 2021-03-23 12:23:31 +01:00
  • 73853ab679 Introduce --invoke-isolated-functions Alessandro Di Federico 2021-03-23 11:08:17 +01:00
  • b0f9f69908 Adopt EliminateUnreachableBlocks Alessandro Di Federico 2021-03-23 10:01:59 +01:00
  • 1d43949c7b scripts/revng: handle same library multiple times Alessandro Di Federico 2021-03-23 10:00:51 +01:00
  • bd41eab558 Drop setNoInline from invokes Alessandro Di Federico 2021-03-17 17:40:00 +01:00
  • 690e5fd9bd Update LoadModelPass usage Alessandro Di Federico 2021-03-16 11:58:45 +01:00
  • 45ee99d5de Merge branch 'feature/model-new-pass-manager' Alessandro Di Federico 2021-03-16 11:57:44 +01:00
  • 9171452342 Test instantiation of passes in new pass manager Alessandro Di Federico 2021-03-16 11:34:20 +01:00
  • b25c43705c SerializeModelPass: support new pass manager Alessandro Di Federico 2021-03-16 11:33:47 +01:00
  • c2d6631216 LoadModelPass: support new pass manager Alessandro Di Federico 2021-03-16 11:32:47 +01:00
  • ae0a92d7e1 SymbolType::fromELF: do not abort Alessandro Di Federico 2021-03-16 11:28:49 +01:00
  • 1e6230b46c scripts/revng: drop print_help Alessandro Di Federico 2021-03-12 17:08:30 +01:00
  • 830ef23fe8 Whitespace changes Alessandro Di Federico 2021-03-16 11:33:09 +01:00
  • 58d0509909 scripts/revng: re-engineer option parsing Alessandro Di Federico 2021-03-10 12:29:23 +01:00
  • db33f74650 Tests: workaround a bug of revng arg --prefix Pietro Fezzardi 2021-03-09 12:32:35 +01:00
  • ae368f9302 ReversePostOrderTraversal has been moved to revng Alessandro Di Federico 2021-03-08 11:04:09 +01:00
  • 8cee47f8a7 Merge branch 'feature/improve-cfg-identification' Alessandro Di Federico 2021-03-08 10:45:30 +01:00
  • e51145ec99 script/revng: introduce --prefix Alessandro Di Federico 2021-03-08 10:30:53 +01:00
  • 1217296328 TypeShrinking has been moved to revng Alessandro Di Federico 2021-03-08 10:22:34 +01:00
  • 0f72a220b1 Exploit revng --prefix Alessandro Di Federico 2021-03-08 10:23:34 +01:00
  • 2c3df7068e revng-lift: keep harvesting upon new CFG edges Alessandro Di Federico 2021-03-05 12:59:11 +01:00
  • 8b5a462187 AVI: use TypeShrinking Alessandro Di Federico 2021-03-05 12:59:27 +01:00
  • 68e5c6c6ea AVI: drop PC initialization from cloned root Alessandro Di Federico 2021-03-05 12:58:15 +01:00
  • d73f93f936 TypeShrinking: inject zext close to users Alessandro Di Federico 2021-03-05 12:53:07 +01:00
  • 035b75d540 TypeShrinking: do not expose dependency on MFP.h Alessandro Di Federico 2021-03-04 10:17:45 +01:00
  • 23470dc911 Convert TypeShrinking to new pass manager Alessandro Di Federico 2021-03-04 09:58:13 +01:00
  • 8f05cbf1ee Convert BitLiveness to the new pass manager Alessandro Di Federico 2021-03-04 09:38:15 +01:00
  • 8a5cc6a020 Import TypeShrinking Alessandro Di Federico 2021-03-04 09:11:22 +01:00
  • 4780457c53 Drop StackAnalysis<false> and FBDP Alessandro Di Federico 2021-03-02 19:53:01 +01:00
  • 1db6e5db5b MetaAddress: handle invalid values in operator+= Alessandro Di Federico 2021-03-04 09:15:29 +01:00
  • 1033c15b78 ABIDetectionPass and FBDP: depend on GCBI Alessandro Di Federico 2021-03-02 19:38:11 +01:00
  • 47e34bf897 Make MutableSet copiable Alessandro Di Federico 2021-03-02 17:45:54 +01:00
  • 86d931dc1f Update FromIRToExecutable.rst Alessandro Di Federico 2021-03-02 17:11:33 +01:00
  • 9cfc4e289d Update README.md Alessandro Di Federico 2021-03-02 20:53:02 +01:00
  • b092c4f505 Add ThreadSafeClangTooling library Pietro Fezzardi 2021-03-04 12:25:48 +01:00
  • 2277bc898a Drop unused DecompilerResourceFinder Pietro Fezzardi 2021-03-04 12:23:15 +01:00
  • 81413c4b64 IRASTTypeTranslation: enable floats and bitfields Pietro Fezzardi 2021-02-25 11:38:52 +01:00
  • 475dc4462c Fix createTypeFromLayout for structs and unions Pietro Fezzardi 2021-03-05 11:40:43 +01:00
  • bb1f2d629e CDecompilerPass: cleanup clang::tooling invocation Pietro Fezzardi 2021-03-03 15:01:52 +01:00
  • 9846e9f3bf Use MainCategory instead of RevNgCategory Pietro Fezzardi 2021-03-03 14:57:26 +01:00
  • ecd20d21a1 Remove dummies from the AST during simplification Andrea Gussoni 2021-02-18 15:44:43 +01:00
  • 36fd874ddc Update README.md feature/review-docs Alessandro Di Federico 2021-03-02 20:53:02 +01:00
  • 938de1ca04 Drop StackAnalysis<false> Alessandro Di Federico 2021-03-02 19:53:01 +01:00
  • 7d7fb07af1 GCBI Alessandro Di Federico 2021-03-02 19:38:11 +01:00
  • 941053fcb1 [REWORD] MutableSet copiable Alessandro Di Federico 2021-03-02 17:45:54 +01:00
  • bc77e784a1 Update FromIRToExecutable.rst Alessandro Di Federico 2021-03-02 17:11:33 +01:00
  • 6347ef5ba5 scripts/revng: --verbose reports all commands Alessandro Di Federico 2021-02-24 13:05:55 +01:00
  • a23a89fd61 DecompileFunction: improve test efficiency Pietro Fezzardi 2021-02-23 11:09:36 +01:00
  • c1c2a3ef90 Merge branch 'feature/model' Alessandro Di Federico 2021-02-23 10:41:30 +01:00
  • e95c21db25 Use Model to detect isolated functions Pietro Fezzardi 2021-02-16 12:49:42 +01:00
  • 27b58695a1 Let FunctionIsolation and EnforceABI use the Model feature/model Alessandro Di Federico 2021-02-07 19:58:41 +01:00
  • 0f7de0c2e0 Call to noreturn functions are not killer Alessandro Di Federico 2021-02-07 19:57:09 +01:00
  • 137c8b9752 StackAnalysis: factor out successors enumeration Alessandro Di Federico 2021-02-07 19:51:49 +01:00
  • 3f0e715b98 Decrease verbosity of tests Alessandro Di Federico 2021-02-07 19:48:03 +01:00
  • d0a78a41bf Drop direct branches to the dispatcher Alessandro Di Federico 2021-02-07 19:47:24 +01:00
  • b5065e1e8d StackAnalysis: expose FakeReturns Alessandro Di Federico 2021-02-07 19:40:00 +01:00
  • 151e711cde Review PCH::getUniqueJumpTarget Alessandro Di Federico 2021-02-07 19:35:52 +01:00
  • f2c83d2f67 Introduce PlainMetaAddress Alessandro Di Federico 2021-02-07 19:32:14 +01:00
  • df11232fe1 Improve GCBI Alessandro Di Federico 2021-02-07 19:28:34 +01:00
  • 93b7420c8a Implement model::Function::dumpCFG Alessandro Di Federico 2021-02-10 11:27:44 +01:00
  • 82605514c4 model: prepare for ABI information Alessandro Di Federico 2021-02-07 19:27:06 +01:00
  • 6cfcd087b7 Introduce ProgramCounterHandler::loadPC Alessandro Di Federico 2021-02-07 19:35:27 +01:00
  • 8952ca3cc1 IRHelpers.h: introduce createFunctionType Alessandro Di Federico 2021-02-07 19:30:44 +01:00
  • 575a0d6a6d IRHelpers.h: introduce isHelper Alessandro Di Federico 2021-02-07 19:28:02 +01:00
  • 0ebb32f25e GCBI: make certain methods static Alessandro Di Federico 2021-02-07 19:25:30 +01:00
  • ee9f2192f3 KOC::batch_insert: return newly created object Alessandro Di Federico 2021-02-07 19:23:25 +01:00
  • 2d22b31d00 revng-all-binaries: depend on early-linked-module-* Alessandro Di Federico 2021-02-07 19:22:18 +01:00
  • a314fd61ef Import revng-dump-model Alessandro Di Federico 2021-02-10 09:49:10 +01:00
  • e9ca81247d Improve get*FromYAML* Alessandro Di Federico 2021-02-18 18:11:49 +01:00