Commit Graph

  • 4d97044d15 unit-tests: include helpers Ivan Krysak 2024-02-07 16:37:53 +01:00
  • b0b1f10e72 ABI: move ToCABIFunctionType analysis to revng feature/msvc-abi-testing Ivan Krysak 2024-02-05 16:57:08 +01:00
  • 069d3d3972 ToCABI: improve logger messages Ivan Krysak 2024-02-01 11:57:37 +01:00
  • e708a3655b ABI: drop incomplete clrcall support Ivan Krysak 2024-01-31 12:48:08 +02:00
  • c8cd0ab503 ValueDistributor: improve success log message Ivan Krysak 2024-01-31 10:45:35 +02:00
  • b1ed3aa959 AccessTracker: make an assertion more obvious Ivan Krysak 2024-01-22 10:58:17 +01:00
  • e62d4f79ef ABI: remove an obsolete definition parameter Ivan Krysak 2024-01-19 08:09:24 +01:00
  • 5a36d8fccf ABI-tests: update documentation Ivan Krysak 2023-11-10 16:08:34 +02:00
  • 94b6be25ae ABI-tests: check equivalence after compatibility Ivan Krysak 2024-01-15 10:08:21 +01:00
  • b73d4934c8 ABI-tests: extend register comparison Ivan Krysak 2024-01-15 08:35:57 +01:00
  • 52c9ae0b4d ABI-tests: fix vector-less MIPS tests Ivan Krysak 2024-01-15 08:33:03 +01:00
  • bd6ab10454 ABI-tests: stop using unsupported primitives Ivan Krysak 2024-01-15 08:31:28 +01:00
  • 27491410d6 ABI: introduce a way to disable vector registers Ivan Krysak 2024-01-15 08:30:48 +01:00
  • fe025e37ef ABI: short-circuit zero-offset to always be zero Ivan Krysak 2024-01-15 08:27:28 +01:00
  • bc6673d90d ABI: make alignment-computation fails stricter Ivan Krysak 2024-01-11 14:22:48 +01:00
  • a018d443e1 ABI: update "safe" conversion list Ivan Krysak 2024-01-08 11:36:52 +01:00
  • 68301138c0 ABI: redesign register sorting from the ground up Ivan Krysak 2024-01-31 12:26:19 +02:00
  • 5bf4b3fa1e ABI: improve robustness to duplicate registers Ivan Krysak 2024-01-08 11:36:19 +01:00
  • fffbd27b99 Pipeline: be more explicit when step names collide Ivan Krysak 2024-01-08 11:34:14 +01:00
  • 9d815d79ec ToRaw: take advantage of the updated distributor Ivan Krysak 2024-01-05 08:59:03 +01:00
  • 40e443f354 ArgumentDistributor: add a SPTAR helper Ivan Krysak 2024-01-05 08:54:05 +01:00
  • 526cb7385a ValueDistributor: support stack argument offset Ivan Krysak 2024-01-05 08:52:38 +01:00
  • 5c99229c6f ToRaw: fix issues with how types were selected Ivan Krysak 2024-01-05 08:46:19 +01:00
  • 65cf1f08fd Distributor: add explicit pointer-to-copy-support Ivan Krysak 2024-01-05 08:52:11 +01:00
  • a468698d23 ValueDistributor: be extra explicit around padding Ivan Krysak 2024-01-05 08:51:05 +01:00
  • 4e81a34cd7 ABI: separate 'gcc' editions of microsoft ABIs Ivan Krysak 2024-01-05 08:23:29 +01:00
  • 16feb420c3 ABI-tests: handle stack argument offset gracefully Ivan Krysak 2024-01-05 08:22:03 +01:00
  • 3fdd7d8e8a ABI: introduce a way to set stack argument offset Ivan Krysak 2024-01-05 08:24:18 +01:00
  • 3efd08b07a ABI: fix microsoft x64 abi definitions Ivan Krysak 2024-01-05 08:22:53 +01:00
  • 654e0958e9 ABI-tests: remove obsolete abi replacement Ivan Krysak 2024-01-05 08:20:36 +01:00
  • 2e78369ec9 Model: disable float register size mismatch check Ivan Krysak 2024-01-05 08:12:52 +01:00
  • d2fe578091 ABI: add getArchitecture helper Ivan Krysak 2024-01-05 08:07:07 +01:00
  • f1f6fc5e12 ABI: assert on 0-sized stack arguments Ivan Krysak 2024-01-15 11:14:43 +01:00
  • b75406f711 ABI-tests: make ID matching more robust Ivan Krysak 2023-12-23 10:33:17 +01:00
  • 5994e4bf05 ToCAFT: always preserve stack types with metadata Ivan Krysak 2024-01-15 09:55:30 +01:00
  • fffd62391c Model: introduce hasMetadata helper Ivan Krysak 2023-12-23 10:32:48 +01:00
  • 5fcdfebbaf ABI-tests: support pointers-to-copy on the stack Ivan Krysak 2024-01-05 08:15:36 +01:00
  • 24e907525e ABI-tests: support pointers-to-copy in registers Ivan Krysak 2023-12-06 08:55:32 +01:00
  • af6f9367b2 ImportPE: remove i386-specific values Ivan Krysak 2023-11-29 17:02:42 +01:00
  • 79460c6933 PDBImport: Handle forward referenced types Djordje Todorovic 2023-11-27 15:29:32 +01:00
  • a1ddbe5d83 ABI-tests: improve reported errors Ivan Krysak 2024-01-05 08:15:51 +01:00
  • e16cf87106 ABI-tests: specify the default PDB location Ivan Krysak 2023-11-10 16:08:08 +02:00
  • d1a78d903b ABI-tests: make tested function set leaner Ivan Krysak 2023-12-06 08:55:53 +01:00
  • 43c6780baf ABI-tests: introduce ID list deduplication Ivan Krysak 2023-11-10 16:07:16 +02:00
  • f08d1a2f81 ABI-tests: prefer model::Type::Key to RFT * Ivan Krysak 2023-11-10 16:06:56 +02:00
  • cf0ce66674 ABI-tests: use updated stdout.yml file format Ivan Krysak 2023-11-10 16:05:22 +02:00
  • 4a8455e994 ABI-tests: separate value preservation verifier Ivan Krysak 2023-11-10 16:02:43 +02:00
  • d13e83163d Minor improvements Ivan Krysak 2024-01-05 08:42:08 +01:00
  • 34039dea68 ABI: move ToCABIFunctionType analysis to revng Ivan Krysak 2024-01-19 15:45:44 +01:00
  • 36457a24b2 SegregateStack: support PointerToCopy arguments Alessandro Di Federico 2024-01-19 14:40:56 +00:00
  • d231df7d8b Merge branch 'feature/reorganize-tests' Alessandro Di Federico 2024-02-09 10:05:29 +01:00
  • c3d848ef4c Merge branch 'feature/reorganize-tests' Alessandro Di Federico 2024-02-09 10:04:45 +01:00
  • 8a74ff94b7 ABI: prevent emission of unsupported primitives Ivan Krysak 2024-01-15 08:29:12 +01:00
  • 03642de797 Standardize unit test names Alessandro Di Federico 2024-02-08 21:07:06 +01:00
  • 2282f1db60 CMake: fix pointless rebuilds Alessandro Di Federico 2024-02-08 20:53:39 +01:00
  • 19c0999e65 Drop tools/link-for-translation Alessandro Di Federico 2024-02-08 19:59:12 +01:00
  • aaa1b26468 AAPCS ABI: drop support for int128_t Alessandro Di Federico 2024-02-08 15:37:08 +01:00
  • c6fa8f77ee Fix typescript wrappers being rebuild every build Alessandro Di Federico 2024-02-08 12:33:05 +01:00
  • 6cacb56c96 Reorganize test suite Alessandro Di Federico 2024-02-07 15:57:40 +01:00
  • 346b367c19 Drop revng efa-extractcfg Alessandro Di Federico 2024-02-07 16:56:47 +01:00
  • 757f7e21d7 Import docs Alessandro Di Federico 2024-01-23 12:07:29 +01:00
  • d9367954a4 Convert all public strings to kebab-case Alessandro Di Federico 2024-02-05 20:46:47 +01:00
  • 5978300476 codespell: ignore CSS files Giacomo Vercesi 2024-02-01 10:51:53 +01:00
  • 54025b48ff s/ConvertToRawFunctionType/ConvertFunctionsToRaw/g Alessandro Di Federico 2024-01-31 15:54:57 +01:00
  • a9aaa8ced4 s/ToCABIFunctionType/FunctionsToCABI/s Alessandro Di Federico 2024-01-31 15:54:06 +01:00
  • 2bdca8ab03 Rename steps and analyses Alessandro Di Federico 2024-01-31 14:57:44 +01:00
  • b4817a4f14 Rename pipelines file Alessandro Di Federico 2024-01-31 09:55:03 +01:00
  • e48430798f {artifact,analyze}: fix output with no arguments Alessandro Di Federico 2024-01-25 23:58:09 +01:00
  • 944f827ae3 Drop obsolete +yaml MIME types Alessandro Di Federico 2024-01-25 23:57:43 +01:00
  • f2be46d4da ToolCLOptions: introduce --model Alessandro Di Federico 2024-01-25 19:12:20 +01:00
  • 66b502f484 Doxygen: function prototype is optional Alessandro Di Federico 2024-01-23 08:59:20 +01:00
  • c73e88a8d8 Model: handle missing function prototype Alessandro Di Federico 2024-01-23 08:39:20 +01:00
  • 83b94026e4 RootAnalyzer: handle missing prototype Alessandro Di Federico 2024-01-23 08:38:44 +01:00
  • a04ccb6883 CodeGenerator: relax check on entry point Alessandro Di Federico 2024-01-23 08:37:24 +01:00
  • 6f60d9b492 Introduce revng --rr Alessandro Di Federico 2024-02-05 20:48:30 +01:00
  • f81851c36b CodeGenerator: do not tag LLVM intrinsics Alessandro Di Federico 2024-02-06 12:23:01 +01:00
  • bef9efc599 EFA, importModel: handle missing prototype Alessandro Di Federico 2024-01-23 08:36:58 +01:00
  • 4bca30df5d InlineHelpers: fix bug preventing inlining helpers Alessandro Di Federico 2024-01-25 19:13:03 +01:00
  • 7112482989 Storage: fix writing to a pipe Alessandro Di Federico 2024-01-23 12:08:24 +01:00
  • 4d9de92c77 revng-analyze: handle analysis name != type name Alessandro Di Federico 2024-01-31 14:57:39 +01:00
  • 5fbb5ff503 Minor changes Alessandro Di Federico 2024-01-25 19:11:44 +01:00
  • 2330d5f4d0 ABI: prevent emission of unsupported primitives feature/reorganize-tests Ivan Krysak 2024-01-15 08:29:12 +01:00
  • 602bb62b98 Standardize unit test names Alessandro Di Federico 2024-02-08 21:07:06 +01:00
  • 9f24d5bbbe CMake: fix pointless rebuilds Alessandro Di Federico 2024-02-08 20:53:39 +01:00
  • 8281f3624b Drop tools/link-for-translation Alessandro Di Federico 2024-02-08 19:59:12 +01:00
  • 1f54392d37 AAPCS ABI: drop support for int128_t Alessandro Di Federico 2024-02-08 15:37:08 +01:00
  • b519be91d4 Fix typescript wrappers being rebuild every build Alessandro Di Federico 2024-02-08 12:33:05 +01:00
  • 35be0c301d Reorganize test suite Alessandro Di Federico 2024-02-07 15:57:40 +01:00
  • b83ffa0c7c Drop revng efa-extractcfg Alessandro Di Federico 2024-02-07 16:56:47 +01:00
  • ea2b3e24ff Import docs Alessandro Di Federico 2024-01-23 12:07:29 +01:00
  • 61a4aa17b8 CMake: fix pointless rebuilds Alessandro Di Federico 2024-02-08 21:18:08 +01:00
  • e718f9aa76 Standardize unit test names Alessandro Di Federico 2024-02-08 21:04:28 +01:00
  • f74acda0f1 Import test for documentation Alessandro Di Federico 2024-02-08 18:23:06 +01:00
  • 490b9c6e7f Reorganize test suite Alessandro Di Federico 2024-02-07 17:55:46 +01:00
  • b997e24280 PromoteInitCSVToUndef: preserve link register only Alessandro Di Federico 2024-02-06 18:35:38 +01:00
  • f6f542769b Convert all public strings to kebab-case Alessandro Di Federico 2024-02-05 21:00:11 +01:00
  • a555b6d50b s/+yaml/+tar+gz/g Alessandro Di Federico 2024-01-31 17:01:45 +01:00
  • 8acf6c2f94 Allow type-less Segments in the Model Pietro Fezzardi 2024-02-01 11:34:25 +01:00
  • 911ab00107 s/CDecompilation/Decompile/g Alessandro Di Federico 2024-01-31 16:42:53 +01:00
  • ba94f0ddd4 s/DecompiledToYAML/Decompiled/g Alessandro Di Federico 2024-01-31 16:33:59 +01:00