Commit Graph

  • f562d0373f Importers: fix usage of BaseAddress Alessandro Di Federico 2023-05-03 15:40:45 +02:00
  • 5fbaebe153 DwarfImporter: handle DW_AT_abstract_origin Alessandro Di Federico 2023-05-09 17:36:50 +02:00
  • 73fb1a31c9 Outline TypeCopier Alessandro Di Federico 2023-05-09 17:36:49 +02:00
  • 579b9a749f Introduce GenericGraph::operator= Alessandro Di Federico 2023-05-09 17:36:49 +02:00
  • 4c0f809626 Introduce PathList::list Alessandro Di Federico 2023-05-09 17:36:49 +02:00
  • 5542382bdb revng-qa tests: adopt full paths Alessandro Di Federico 2023-05-09 17:36:50 +02:00
  • 680c706771 DetectABI: introduce extra assertions Alessandro Di Federico 2023-05-09 17:36:49 +02:00
  • 0890251c9b Merge branch 'feature/better-daemon-self-test' Alessandro Di Federico 2023-05-09 17:27:19 +02:00
  • 472710c100 daemon-self-test: Improve usability Giacomo Vercesi 2023-04-14 14:52:05 +02:00
  • 41662b0a43 revng.support: Rework process invocation Giacomo Vercesi 2023-04-27 10:46:12 +02:00
  • 6ab8099531 revng daemon: disable CORS without --production Giacomo Vercesi 2023-04-13 17:58:13 +02:00
  • fcc0d2176c model.ts: format with new prettier Giacomo Vercesi 2023-05-08 14:40:43 +02:00
  • 1fe2e1614b Merge branch 'feature/inline-types' Pietro Fezzardi 2023-05-03 16:31:28 +02:00
  • 9d94216dc5 ModelToHeader: Add testing infrastructure Djordje Todorovic 2023-02-20 10:20:14 +01:00
  • ca7bc2e442 c-backend: Generate Inline Types in PTML Djordje Todorovic 2023-01-19 12:18:35 +01:00
  • 41678f8cb6 compile-flags: Avoid warnings on unused local typedefs Djordje Todorovic 2023-02-20 10:15:09 +01:00
  • f77fd64912 Merge branch feature/improve-pipeline-performance Pietro Fezzardi 2023-04-28 15:17:09 +02:00
  • 6b051ea1c2 Merge branch 'feature/improve-pipeline-performance' Alessandro Di Federico 2023-04-28 15:15:17 +02:00
  • eca3e49b77 LLVMContainer: reduce verifications Alessandro Di Federico 2023-04-28 13:53:43 +02:00
  • da25162d74 JumpTargetManager: drop assertNoUnreachable Alessandro Di Federico 2023-04-28 13:52:50 +02:00
  • 4b2e067574 rcc: ban functions we wrap Alessandro Di Federico 2023-04-21 15:55:01 +02:00
  • 0434249297 rcc: introduce NOLINTNEXTLINE Alessandro Di Federico 2023-04-21 15:51:12 +02:00
  • 4eeb942afb LLVMContainer: outline methods to .cpp Alessandro Di Federico 2023-04-21 16:14:06 +02:00
  • 8b3f641a29 Rename LLVMGlobalKindBase to LLVMKind Alessandro Di Federico 2023-04-20 19:04:53 +02:00
  • 4d4b587e1d Drop LLVMGlobalKindBase template argument Massimo Fioravanti 2023-04-20 18:42:53 +02:00
  • a0dcd176b2 Purge useless headers Alessandro Di Federico 2023-04-20 18:39:41 +02:00
  • 58b50e6b2a Dismiss LLVMContainerBase Alessandro Di Federico 2023-04-20 18:13:39 +02:00
  • f9e6852311 Adopt revng_add_test Alessandro Di Federico 2023-04-20 17:29:37 +02:00
  • 596fa25a1b Introduce revng_add_test Alessandro Di Federico 2023-04-20 17:29:29 +02:00
  • f68185abc9 Push ParseCommandLineOptions into InitRevng Alessandro Di Federico 2023-04-20 16:22:12 +02:00
  • d7a97a3e45 [FIXUP] JumpTargetManager: drop assertNoUnreachable feature/improve-pipeline-performance Alessandro Di Federico 2023-04-28 14:10:58 +02:00
  • 0c5fe867ea LLVMContainer: reduce verifications Alessandro Di Federico 2023-04-28 13:53:43 +02:00
  • 1592390073 JumpTargetManager: drop assertNoUnreachable Alessandro Di Federico 2023-04-28 13:52:50 +02:00
  • d8af873c09 rcc: ban functions we wrap Alessandro Di Federico 2023-04-21 15:55:01 +02:00
  • 92f2dc0616 rcc: introduce NOLINTNEXTLINE Alessandro Di Federico 2023-04-21 15:51:12 +02:00
  • 45b85fedd5 LLVMContainer: outline methods to .cpp Alessandro Di Federico 2023-04-21 16:14:06 +02:00
  • cbd55e6070 Rename LLVMGlobalKindBase to LLVMKind Alessandro Di Federico 2023-04-20 19:04:53 +02:00
  • 3627fbd1af Drop LLVMGlobalKindBase template argument Massimo Fioravanti 2023-04-20 18:42:53 +02:00
  • 7a9b4eb59c Purge useless headers Alessandro Di Federico 2023-04-20 18:39:41 +02:00
  • affcd04fe4 Dismiss LLVMContainerBase Alessandro Di Federico 2023-04-20 18:13:39 +02:00
  • fc7ddd33b2 Adopt revng_add_test Alessandro Di Federico 2023-04-20 17:29:37 +02:00
  • 32905277a7 Introduce revng_add_test Alessandro Di Federico 2023-04-20 17:29:29 +02:00
  • e81d714a70 Push ParseCommandLineOptions into InitRevng Alessandro Di Federico 2023-04-20 16:22:12 +02:00
  • 50f396c43d Drop revng.csv in favor of a Tag Alessandro Di Federico 2023-04-20 15:18:48 +02:00
  • 82aae6fa2a Give a name to SegmentBoundaries global Alessandro Di Federico 2023-04-19 21:10:28 +02:00
  • 1d8382187c Dismiss ConstantStringsPool, use getUniqueString Alessandro Di Federico 2023-04-19 21:09:41 +02:00
  • 8af3fd7fa3 LLVMContainer: do not duplicate appending globals Alessandro Di Federico 2023-04-19 21:08:06 +02:00
  • 2f917a2772 Introduce ModuleStatistics Alessandro Di Federico 2023-04-19 21:04:17 +02:00
  • 628aa42cc2 Introduce collectTypes Alessandro Di Federico 2023-04-21 10:25:05 +02:00
  • 170749b0aa Introduce revng::verify Alessandro Di Federico 2023-04-19 08:39:29 +02:00
  • 0f2b35a632 Adopt new InitRevng signature Alessandro Di Federico 2023-04-20 18:46:30 +02:00
  • ff6352bab4 Add missing headers Alessandro Di Federico 2023-04-20 18:46:12 +02:00
  • a823db7ea7 Adopt revng::verify Alessandro Di Federico 2023-04-19 08:52:45 +02:00
  • 0e6344ce44 Minor changes Alessandro Di Federico 2023-04-20 16:09:45 +02:00
  • 564843165b tuple_tree.ts: refine ParsableType interface Alessandro Di Federico 2023-04-28 09:56:06 +02:00
  • 503bfd8056 DecompileFunction: drop wrong constant PTML tags Pietro Fezzardi 2023-04-21 15:41:33 +02:00
  • ade402c44d Merge branch 'feature/lift-performance' Alessandro Di Federico 2023-04-27 21:07:28 +02:00
  • c9b2ffaf72 JumpTargetManager: improve data structures feature/lift-performance Djordje Todorovic 2023-04-12 22:44:56 +02:00
  • e43fe18021 harvestWithAVI: split up in multiple functions Djordje Todorovic 2023-04-12 22:38:21 +02:00
  • 3f495d2bc3 harvestWithAVI: run InstCombine only once Djordje Todorovic 2023-04-12 22:24:52 +02:00
  • 07cd786ec4 Preliminary harvesting: disable InstCombine Djordje Todorovic 2023-04-12 22:22:37 +02:00
  • 0604bc4d19 harvestWithAVI: limit InstCombine iterations to 1 Djordje Todorovic 2023-04-12 22:21:29 +02:00
  • 872f14fad4 harvestWithAVI: disable GVN Djordje Todorovic 2023-04-12 22:18:44 +02:00
  • 37ab350102 Minor changes Djordje Todorovic 2023-04-12 22:39:18 +02:00
  • 64dd348540 Merge branch 'feature/decouple-layouter-from-yield' Alessandro Di Federico 2023-04-27 18:23:45 +02:00
  • b2916e946f Yield: retire the old Graph Ivan Krysak 2023-03-16 11:43:38 +02:00
  • a532f738e2 Yield: switch to new layouter invocation style Ivan Krysak 2023-03-16 11:37:53 +02:00
  • 04cac0018d Yield: introduce new control flow graph type Ivan Krysak 2023-03-16 11:15:44 +02:00
  • 3774c9a3ab Yield: introduce new call graph type Ivan Krysak 2023-03-16 11:15:32 +02:00
  • 42a9d95702 Sugiyama: improve artificial entry cleanup Ivan Krysak 2023-03-16 10:44:20 +02:00
  • f57ca5793e Sugiyama: be extra strict when discarding nodes Ivan Krysak 2023-03-16 10:40:27 +02:00
  • 8270f5b3e5 Sugiyama: separate edge restoration Ivan Krysak 2023-03-16 10:38:46 +02:00
  • a04f88c402 Sugiyama: bring the documentation up to date Ivan Krysak 2023-03-16 10:33:25 +02:00
  • c5805a754a Sugiyama: switch to the new internal graph Ivan Krysak 2023-03-16 10:09:07 +02:00
  • 52cfbe9523 Sugiyama: introduce new internal graph Ivan Krysak 2023-03-16 09:16:39 +02:00
  • 4cef969b96 Layout: introduce InputGraph and OutputGraph Ivan Krysak 2023-03-15 15:07:08 +02:00
  • 28574a87bc Yield: switch to layout's position and size Ivan Krysak 2023-03-15 15:17:33 +02:00
  • 1bb43f40b7 Yield: retire the old Graph feature/decouple-layouter-from-yield Ivan Krysak 2023-03-16 11:43:38 +02:00
  • 6f449d8791 Yield: switch to new layouter invocation style Ivan Krysak 2023-03-16 11:37:53 +02:00
  • 266944e1c0 Yield: introduce new control flow graph type Ivan Krysak 2023-03-16 11:15:44 +02:00
  • 7504995a84 Yield: introduce new call graph type Ivan Krysak 2023-03-16 11:15:32 +02:00
  • 74756c0bc7 Sugiyama: improve artificial entry cleanup Ivan Krysak 2023-03-16 10:44:20 +02:00
  • b45afcd468 Sugiyama: be extra strict when discarding nodes Ivan Krysak 2023-03-16 10:40:27 +02:00
  • e0c78b8374 Sugiyama: separate edge restoration Ivan Krysak 2023-03-16 10:38:46 +02:00
  • c91fbf177f Sugiyama: bring the documentation up to date Ivan Krysak 2023-03-16 10:33:25 +02:00
  • ed970e311f Sugiyama: switch to the new internal graph Ivan Krysak 2023-03-16 10:09:07 +02:00
  • a062e78861 Sugiyama: introduce new internal graph Ivan Krysak 2023-03-16 09:16:39 +02:00
  • b9ed7bf961 Layout: introduce InputGraph and OutputGraph Ivan Krysak 2023-03-15 15:07:08 +02:00
  • 790270efb1 Yield: switch to layout's position and size Ivan Krysak 2023-03-15 15:17:33 +02:00
  • 1c2efd09db Layout: introduce LayoutableGraphTraits Ivan Krysak 2023-03-15 15:05:53 +02:00
  • 58ddbd36e3 Sugiyama: rename InternalGraph into Helpers Ivan Krysak 2023-03-15 14:38:50 +02:00
  • 3b700f7820 Sugiyama: Rename Layout into InternalCompute Ivan Krysak 2023-03-15 14:35:44 +02:00
  • 00b450a8c2 Sugiyama: move the namespace under layout Ivan Krysak 2023-03-15 13:13:36 +02:00
  • 44b9bfd04c Yield: SugiyamaStyle as a part of GraphLayout Ivan Krysak 2023-03-15 12:44:32 +02:00
  • 268f53cdeb Sugiyama: move the "main" file inside the layouter Ivan Krysak 2023-03-15 12:53:12 +02:00
  • 6d43876e78 SVG: move one of the sugiyama::layout overloads Ivan Krysak 2023-03-02 14:32:52 +02:00
  • 0de7e3540f Sugiyama: move DAG converter to getBackedges Ivan Krysak 2023-03-13 12:08:21 +02:00
  • 7a92d70b8c Introduce llvm::dfs usage for graph algorithms Andrea Gussoni 2023-02-16 16:27:28 +01:00
  • 5034488766 GenericGraph: hasSuccessor and hasPredecessor Ivan Krysak 2023-03-10 17:15:45 +02:00
  • 49d3499b26 EFA: fix buildControlFlowGraph requirements Ivan Krysak 2023-03-06 09:32:41 +02:00