Commit Graph

  • 9330e711b9 ExitSSAPass: fix PHIs with intersecting live range Pietro Fezzardi 2023-06-06 17:11:28 +02:00
  • faa1fd5169 Add missing whitespace before } in decompiled C Pietro Fezzardi 2023-06-01 08:01:41 +02:00
  • b4ac5b59c6 Drop useless \n at after StructInitializers in C Pietro Fezzardi 2023-06-01 07:58:24 +02:00
  • b196eadcc2 ptml: Introduce PTMLBuilder class feature/ptml-builder Djordje Todorovic 2023-05-25 14:21:58 +02:00
  • af068cb286 OperatorPrecedence: omit parentheses in [] Pietro Fezzardi 2023-05-26 11:00:32 +02:00
  • e1d65def59 Merge branch 'feature/jump-target-labels' Alessandro Di Federico 2023-05-25 13:55:14 +02:00
  • 66fc161f73 Assembly: choose disassembler based on basic block feature/jump-target-labels Ivan Krysak 2023-04-26 11:20:22 +03:00
  • 29eae116fd Assembly: handle addresses in a special way Ivan Krysak 2023-04-21 11:06:48 +03:00
  • 5cdb1642bb Assembly: rework tag processing Ivan Krysak 2023-04-21 11:06:08 +03:00
  • f0a29f17b9 Assembly: Introduce address style options Ivan Krysak 2023-04-21 11:03:11 +03:00
  • ec90ac0083 yield::Instruction: add getRelativeAddressBase Ivan Krysak 2023-04-21 10:55:36 +03:00
  • 37d0a6cd62 yield::Tag: remove obsolete comparator Ivan Krysak 2023-04-21 10:53:36 +03:00
  • 9dfc350b1a Assembly: do not add "next instruction" as target Ivan Krysak 2023-04-11 17:05:28 +03:00
  • c21f2649c9 Assembly: introduce new tags Ivan Krysak 2023-04-11 15:56:13 +03:00
  • 6a407a94bf Assembly: partition label helper Ivan Krysak 2023-04-11 15:57:10 +03:00
  • f3918e3305 Assembly: change label to accept BasicBlockID Ivan Krysak 2023-04-11 16:05:47 +03:00
  • 084bcfa57b yield::Tag: remove a duplicate constructor Ivan Krysak 2023-04-11 10:16:18 +03:00
  • 02978910b0 STLExtras: introduce zip_pairs skip flavour Ivan Krysak 2023-04-11 10:14:34 +03:00
  • d1cefaee04 PTML: ensure invalid labels are never emitted Ivan Krysak 2023-04-11 09:24:52 +03:00
  • 560bf16d1f Disassembler: support arbitrarily sized tags Ivan Krysak 2023-04-11 09:08:45 +03:00
  • 4699c2da72 Assembly: remove ShouldSymbolizeOperands option Ivan Krysak 2023-03-29 16:49:22 +03:00
  • f9a72125d3 Aseembly: accept relative jump targets Ivan Krysak 2023-04-06 13:41:54 +03:00
  • 83e48bbc3a LLVMDisassemblerInterface: remove unused argument Ivan Krysak 2023-03-30 12:29:23 +03:00
  • 378f6e76f7 daemon: fix uploading binaries from html Ivan Krysak 2023-03-27 13:30:38 +03:00
  • 5b2af637de Minor Changes Ivan Krysak 2023-03-29 16:21:16 +03:00
  • 3f1e6e6477 Merge branch 'feature/tier1-improvements-2' Alessandro Di Federico 2023-05-24 16:26:58 +02:00
  • 7f73e2bfde revng.daemon: drop REVNG_PROJECT_ID Giacomo Vercesi 2023-05-24 14:57:40 +02:00
  • 5d582a2eec fetch-debuginfo: improve cache folder handling Giacomo Vercesi 2023-05-23 15:35:46 +02:00
  • 2b181e627c fetch_debuginfo/common: improve download_file Giacomo Vercesi 2023-05-23 15:54:15 +02:00
  • 3c77bb5d17 Merge branch 'feature/dynamic-calls-in-call-graph' Alessandro Di Federico 2023-05-17 16:38:06 +02:00
  • 0170c0dfeb Model: add segment overlap check to verification feature/dynamic-calls-in-call-graph Ivan Krysak 2023-03-22 16:26:45 +02:00
  • c838d2b019 CrossRelations: greatly simplify Relation Targets Ivan Krysak 2023-03-20 16:03:40 +02:00
  • eae029d156 CrossRelations: merge IsCalledFrom flavors Ivan Krysak 2023-04-26 16:19:22 +03:00
  • 641fb61f7b EFA: upgrade buildControlFlowGraph Ivan Krysak 2023-03-17 14:20:31 +02:00
  • fade3ec01f CallGraph: switch to pipeline::Location Ivan Krysak 2023-03-20 14:41:23 +02:00
  • 7322d1a845 ControlFlow: switch to pipeline::Location Ivan Krysak 2023-03-20 12:13:28 +02:00
  • 50b5abf505 Yield: add isEmpty() helper to graph nodes Ivan Krysak 2023-03-20 12:23:18 +02:00
  • 013696a939 yield: move SVG out of the ControlFlow Ivan Krysak 2023-03-20 12:29:56 +02:00
  • 045cdefcac GraphLayout: move outside of yield Ivan Krysak 2023-03-16 11:57:19 +02:00
  • d99b0241e8 Minor improvements Ivan Krysak 2023-03-20 11:22:24 +02:00
  • 51e23cb99d Merge branch 'feature/improve-cfep-detection' Alessandro Di Federico 2023-05-17 12:01:19 +02:00
  • 866e6edb10 Import CollectFunctions tests feature/improve-cfep-detection Alessandro Di Federico 2023-05-16 10:48:30 +02:00
  • 14b40ebe45 CFEP: ignore if already part of another block Alessandro Di Federico 2023-05-15 16:20:59 +02:00
  • 739bed3c1d DetectABI: serialize CFG in root Alessandro Di Federico 2023-05-17 10:42:05 +02:00
  • d0b235c1f4 JTM::findCodePointers: ignore non-aligned data Alessandro Di Federico 2023-05-15 16:21:55 +02:00
  • b3eaae6f83 ELFImporter: fix handling of DT_{INIT,FINI} Alessandro Di Federico 2023-05-15 16:21:48 +02:00
  • f1f8c217e7 TypeCopier: reset TTR's root pointer after copy Alessandro Di Federico 2023-05-15 16:20:58 +02:00
  • 4a3b046521 should disappear feature/after-dynamic-calls-and-jump-target-labels Ivan Krysak 2023-05-15 13:37:47 +03:00
  • 84e311446e Assembly: choose disassembler based on basic block Ivan Krysak 2023-04-26 11:20:22 +03:00
  • 83617169d9 Assembly: handle addresses in a special way Ivan Krysak 2023-04-21 11:06:48 +03:00
  • 1a8de7e3cb Assembly: rework tag processing Ivan Krysak 2023-04-21 11:06:08 +03:00
  • ee1c8b5082 Assembly: Introduce address style options Ivan Krysak 2023-04-21 11:03:11 +03:00
  • f800ba062f yield::Instruction: add getRelativeAddressBase Ivan Krysak 2023-04-21 10:55:36 +03:00
  • 3856501129 yield::Tag: remove obsolete comparator Ivan Krysak 2023-04-21 10:53:36 +03:00
  • fea46fd432 Assembly: do not add "next instruction" as target Ivan Krysak 2023-04-11 17:05:28 +03:00
  • 222129e8c6 Assembly: introduce new tags Ivan Krysak 2023-04-11 15:56:13 +03:00
  • e93742de62 Assembly: partition label helper Ivan Krysak 2023-04-11 15:57:10 +03:00
  • e23f18bb8f Assembly: change label to accept BasicBlockID Ivan Krysak 2023-04-11 16:05:47 +03:00
  • 609124766e ptml::Tag: always move the Content in Ivan Krysak 2023-04-11 13:41:21 +03:00
  • 1a9dd29bdf yield::Tag: remove a duplicate constructor Ivan Krysak 2023-04-11 10:16:18 +03:00
  • d557fb07ce STLExtras: introduce zip_pairs skip flavour Ivan Krysak 2023-04-11 10:14:34 +03:00
  • 93b5e783dd PTML: ensure invalid labels are never emitted Ivan Krysak 2023-04-11 09:24:52 +03:00
  • 57424ce443 Disassembler: support arbitrarily sized tags Ivan Krysak 2023-04-11 09:08:45 +03:00
  • 57b49fbaa1 Assembly: remove ShouldSymbolizeOperands option Ivan Krysak 2023-03-29 16:49:22 +03:00
  • a8cdc4a197 Aseembly: accept relative jump targets Ivan Krysak 2023-04-06 13:41:54 +03:00
  • 5fa7b08e19 LLVMDisassemblerInterface: remove unused argument Ivan Krysak 2023-03-30 12:29:23 +03:00
  • 10f190dae4 daemon: fix uploading binaries from html Ivan Krysak 2023-03-27 13:30:38 +03:00
  • edf6c7ac56 Minor Changes Ivan Krysak 2023-03-29 16:21:16 +03:00
  • f4bf37f024 Model: add segment overlap check to verification Ivan Krysak 2023-03-22 16:26:45 +02:00
  • f28d244987 CrossRelations: greatly simplify Relation Targets Ivan Krysak 2023-03-20 16:03:40 +02:00
  • 78a638a945 CrossRelations: merge IsCalledFrom flavors Ivan Krysak 2023-04-26 16:19:22 +03:00
  • 06fd05f079 EFA: upgrade buildControlFlowGraph Ivan Krysak 2023-03-17 14:20:31 +02:00
  • 272bf74257 CallGraph: switch to pipeline::Location Ivan Krysak 2023-03-20 14:41:23 +02:00
  • 8f0ebfbc07 ControlFlow: switch to pipeline::Location Ivan Krysak 2023-03-20 12:13:28 +02:00
  • 9e73d15fde Yield: add isEmpty() helper to graph nodes Ivan Krysak 2023-03-20 12:23:18 +02:00
  • 0e4dc118b5 yield: move SVG out of the ControlFlow Ivan Krysak 2023-03-20 12:29:56 +02:00
  • 893a4dc101 GraphLayout: move outside of yield Ivan Krysak 2023-03-16 11:57:19 +02:00
  • 4176abee39 Minor improvements Ivan Krysak 2023-03-20 11:22:24 +02:00
  • 656caf2522 Merge 'feature/comparison-constants-reordering' Pietro Fezzardi 2023-05-12 16:16:01 +02:00
  • 412dd85556 DecompileFunction.cpp: avoid useless casts in ICmp Pietro Fezzardi 2023-05-12 16:07:11 +02:00
  • 9b62b751ee DecompileFunction.cpp: refactor emitting constants Pietro Fezzardi 2023-05-11 17:58:29 +02:00
  • 0e61bf3fd2 TANP: Move constants to right side of comparisons Valentina Sona 2023-03-16 19:29:55 +01:00
  • 74df82e0ca model-to-header tests: silence bogus warnings Pietro Fezzardi 2023-05-12 09:07:17 +02:00
  • 12186ff3a2 scripts/revng: re-implement path fix Giacomo Vercesi 2023-05-11 14:24:00 +02:00
  • 0dbde327e1 Merge branch 'feature/rcc-additional-features' Alessandro Di Federico 2023-05-11 10:33:09 +02:00
  • 5d3d2e84ad Merge branch 'feature/rcc-additional-features' Alessandro Di Federico 2023-05-11 10:33:01 +02:00
  • 52d20ffc36 rcc: add commit check Giacomo Vercesi 2023-04-24 18:04:01 +02:00
  • 31cd2b53f9 rcc: add codespell Giacomo Vercesi 2023-04-12 18:09:05 +02:00
  • a4ad571e61 rcc: Fix typos Giacomo Vercesi 2023-04-19 15:41:27 +02:00
  • a13c3e5ac2 revng: fix executable/shebang in scripts Giacomo Vercesi 2023-04-24 16:56:25 +02:00
  • 9d5b6d1f34 revng cli: migrate legacy scripts to _commands Giacomo Vercesi 2023-04-24 16:19:54 +02:00
  • fdd07f640a revng cli: drop old code Giacomo Vercesi 2023-04-24 16:09:01 +02:00
  • 471b9c8396 rcc: fix issues with mypy>=1.0 Giacomo Vercesi 2023-02-07 15:39:20 +01:00
  • 833d509df1 Merge branch 'feature/well-known-prototypes' Pietro Fezzardi 2023-05-10 17:38:47 +02:00
  • 7b2e7a9312 Adopt new revng-qa sources handling Alessandro Di Federico 2023-05-10 14:23:32 +02:00
  • bd9828ea8f TypeFlowGraph: adopt GenericGraph constructors Alessandro Di Federico 2023-05-10 14:23:07 +02:00
  • beef559395 Merge branch 'feature/well-known-prototypes' Alessandro Di Federico 2023-05-10 11:41:09 +02:00
  • 92c028235f Introduce WellKnownModels analysis feature/well-known-prototypes Alessandro Di Federico 2023-05-09 17:31:43 +02:00
  • b112d51154 LDDTree: rewrite findLibrary Alessandro Di Federico 2023-05-09 17:36:50 +02:00
  • abc380017b {ELF,Dwarf}Importer: fix ExportedNames Alessandro Di Federico 2023-05-09 17:36:49 +02:00