Commit Graph

  • a19b53974b check-conventions: adopt dict.fromkeys Alessandro Di Federico 2024-08-14 09:38:46 +02:00
  • 7e2eb15a01 check-conventions: adopt dict.fromkeys feature/jemalloc Alessandro Di Federico 2024-08-14 09:38:46 +02:00
  • d28bc717c6 model compare: report best match upon failure Alessandro Di Federico 2024-08-16 13:36:17 +02:00
  • 5c9b6ed9b3 Rename DILogger into Log Alessandro Di Federico 2024-08-16 13:01:27 +02:00
  • 09e483f96b BinaryImporter: create a Function for EntryPoint Alessandro Di Federico 2024-08-16 09:09:27 +02:00
  • cba1d6fa51 PDBImporter: fix .pdb path lookup Alessandro Di Federico 2024-08-16 08:58:54 +02:00
  • ab8b2cc3e8 BinaryImporter: create a Function for EntryPoint feature/forward-only-pipeline Alessandro Di Federico 2024-08-16 09:09:27 +02:00
  • 75ed01b25c PDBImporter: fix .pdb path lookup Alessandro Di Federico 2024-08-16 08:58:54 +02:00
  • 2d1d71f897 ConvertToCABI: ignore DefaultPrototype Alessandro Di Federico 2024-08-06 16:00:31 +02:00
  • 0a082c3f32 Merge branch 'feature/cycle-equivalence' Pietro Fezzardi 2024-08-12 12:43:23 +02:00
  • eeca8f781c GenericGraph: introduce Undirected Andrea Gussoni 2023-12-27 18:00:09 +01:00
  • c32a4776ab GenericGraph: edge traits for llvm::Inverse Andrea Gussoni 2024-04-18 14:48:30 +02:00
  • 5f7a67c8af CycleEquivalence: implement analysis Andrea Gussoni 2024-05-31 15:34:51 +02:00
  • 9cca30976d docs/*.rst: add warning Alessandro Di Federico 2024-08-07 16:03:22 +02:00
  • 99149c1b36 Drop revng lift Alessandro Di Federico 2024-08-07 15:59:05 +02:00
  • 024c9abda2 Step: fix use-after-free Alessandro Di Federico 2024-08-07 15:52:00 +02:00
  • 744184c90c Do not use CallBase::getCalledFunction Alessandro Di Federico 2024-08-07 15:10:26 +02:00
  • c92c109424 revng artifact: error out if step has no artifact Alessandro Di Federico 2024-08-07 15:05:04 +02:00
  • 05b6989274 FunctionPass: add tracing Alessandro Di Federico 2024-08-07 15:03:22 +02:00
  • ae7e7a0bc7 IsolateFunctions: add tracing Alessandro Di Federico 2024-08-07 15:03:02 +02:00
  • ee2d2e25c6 InlineHelpers: add tracing Alessandro Di Federico 2024-08-07 15:02:48 +02:00
  • 80237078e4 setMetaAddressMetadata: use MDString Alessandro Di Federico 2024-08-07 12:44:38 +02:00
  • 09bc315448 Pipeline: improve invalidation logging Alessandro Di Federico 2024-08-07 10:04:15 +02:00
  • 0cb3eedd37 Do not use CallBase::getCalledFunction Alessandro Di Federico 2024-08-07 15:17:13 +02:00
  • 9408f4f465 ImportLLVMToMLIRPipe: adopt getMetaAddressMetadata Alessandro Di Federico 2024-08-07 12:40:26 +02:00
  • 336fac0a67 ABI: do not assert when offset is not aligned Ivan Krysak 2024-08-06 10:58:10 +03:00
  • d3b945c6c2 PECOFFImporter: use Generic Segment::StartAddress Alessandro Di Federico 2024-08-05 18:00:25 +02:00
  • fa6249edc0 Isolate: add FunctionTag to declared functions Alessandro Di Federico 2024-08-05 17:41:12 +02:00
  • 15d72e580d MetaAddress::address*: simply ignore Type Alessandro Di Federico 2024-08-05 17:35:50 +02:00
  • 7b00473859 PDBImporter: rework .pdb search Alessandro Di Federico 2024-07-29 14:42:45 +02:00
  • d50e7e9451 revng artifact: anticipate artifact name check Alessandro Di Federico 2024-07-25 17:44:01 +02:00
  • b096da3b4b revng-c-pipelines.yml: add early-type-shrinking Alessandro Di Federico 2024-07-10 16:21:18 +02:00
  • ce305b41dc Merge branch 'feature/type-shrink-shr' Alessandro Di Federico 2024-07-10 17:24:15 +02:00
  • f87ba8a0d3 Introduce TypeShrinking tests feature/type-shrink-shr Alessandro Di Federico 2024-07-10 15:48:46 +02:00
  • effc91689c Introduce early-type-shrinking Alessandro Di Federico 2024-07-10 15:38:56 +02:00
  • 06023b4555 BitLivenessWrapperPass::dump Alessandro Di Federico 2024-07-10 15:39:15 +02:00
  • f83f40078c Invalidation tests: relax Alessandro Di Federico 2024-07-10 16:18:55 +02:00
  • 7ddae47040 Minor changes Alessandro Di Federico 2024-07-10 15:34:19 +02:00
  • 5f312e8998 Merge branch 'feature/fix-revng-artifact-targets' Alessandro Di Federico 2024-07-09 14:35:23 +02:00
  • 3f60b74a28 fetch-debuginfo: soft fail if no network feature/fix-revng-artifact-targets Alessandro Di Federico 2024-07-09 08:57:37 +02:00
  • df8f4db512 MachOImporter: set DefaultABI Alessandro Di Federico 2024-07-08 16:07:46 +02:00
  • 901a78a66f Lift: fix usage of empty instead of isEmpty Alessandro Di Federico 2024-07-08 16:06:59 +02:00
  • 6f47a8af5a MaterializedValue: ignore alloca Alessandro Di Federico 2024-07-08 16:06:31 +02:00
  • 3c839cb821 Pipe::mutableContainers: use running containers Alessandro Di Federico 2024-07-02 09:29:48 +02:00
  • 966caa4137 revng artifact: fix handling of target arguments Alessandro Di Federico 2024-07-02 09:05:48 +02:00
  • 1981f5a433 Minor changes Alessandro Di Federico 2024-07-08 16:08:00 +02:00
  • dc8d57e520 Merge branch 'feature/re-enable-tests' Pietro Fezzardi 2024-07-05 09:50:37 +02:00
  • e1b5541462 DLA: depotentiate SimplifyInstanceAtOffset0 Pietro Fezzardi 2024-07-04 20:29:27 +02:00
  • 8311efb21c DLA: re-enable DeduplicateFields after fixing it Pietro Fezzardi 2024-07-04 02:49:43 +02:00
  • 99d4c0283a DLA: fix DeduplicateField traversal and comparison Pietro Fezzardi 2024-07-04 02:46:22 +02:00
  • 19d43cde1d Partially re-enable end-to-end tests Pietro Fezzardi 2024-06-29 14:02:25 -04:00
  • 71b7fae69d revng --version: emit component hashes Alessandro Di Federico 2024-06-30 19:35:51 +02:00
  • 22b9a4db74 Restore an accidentally deleted test Ivan Krysak 2024-06-27 13:38:47 +03:00
  • 4562232281 Merge branch 'feature/demo-recon' Pietro Fezzardi 2024-06-27 17:34:19 -04:00
  • 70b75e9ac3 Merge branch 'feature/demo-recon' Pietro Fezzardi 2024-06-27 17:32:22 -04:00
  • 521baf38e8 PTML: honor GeneratePlainC Pietro Fezzardi 2024-06-21 14:23:32 +02:00
  • dfe3f4cb47 Rename revng C headers for decompiled code Pietro Fezzardi 2024-06-20 09:48:53 +02:00
  • d72139357f Add DecompileToDirectoryPipe Pietro Fezzardi 2024-06-19 18:21:07 +02:00
  • 8a95a0b9c9 HelpersToHeader: enable printing plain C Pietro Fezzardi 2024-06-19 18:19:38 +02:00
  • 2b9bcc0260 Backend: enable decompiling as plain C Pietro Fezzardi 2024-06-19 18:18:51 +02:00
  • a12b621832 Add CleanupIRPass Pietro Fezzardi 2024-04-19 16:16:19 +02:00
  • 7fa7b3cbe2 PTMLIndentedOstream: honor GenerateTagLessPTML feature/demo-recon Pietro Fezzardi 2024-06-21 14:20:03 +02:00
  • a1bc9b10f4 Add emit-recompilable-archive artifact to doc Pietro Fezzardi 2024-06-20 13:26:04 +02:00
  • e7c4952377 Add cleanup-ir to docs Alessandro Di Federico 2024-06-19 14:55:18 +02:00
  • 14db4fd67f Merge branch 'feature/drop-qualifiers' Alessandro Di Federico 2024-06-27 11:08:21 +02:00
  • f3b28c6cb5 Merge branch 'feature/drop-qualifiers' Alessandro Di Federico 2024-06-27 11:07:31 +02:00
  • 95cfa4785f MakeModelCastPass: remove an obsolete if branch Ivan Krysak 2024-06-20 10:51:04 +03:00
  • 74f56bcd93 Introduce a broken debug info removal pass Ivan Krysak 2024-06-20 09:24:53 +03:00
  • 31edf40695 ImplicitModelCastPass: better constness handling Ivan Krysak 2024-06-20 09:23:36 +03:00
  • 5ed120cdc9 ImplicitModelCastPass: extend logging Ivan Krysak 2024-06-20 09:23:09 +03:00
  • 185fc68097 PTML: fix the direct array data usage Ivan Krysak 2024-06-06 13:15:39 +03:00
  • aed53c943c linked-lists: re-enable compute return value Ivan Krysak 2024-05-30 16:52:50 +03:00
  • 0542be1b23 Add an array emission test Ivan Krysak 2024-05-02 17:08:39 +03:00
  • 94a0ad6b93 Adopt reworked model::Type Ivan Krysak 2024-05-02 17:08:13 +03:00
  • 504928d886 Minor improvements Ivan Krysak 2024-05-02 17:06:52 +03:00
  • c2b4fb70bb Model: rename TypePath to DefinitionReference Ivan Krysak 2024-02-21 16:39:18 +01:00
  • 3705906074 Model: rename Type into TypeDefinition Ivan Krysak 2024-02-20 12:02:24 +01:00
  • 5f570b99fa Fix a boost exception not found compilation error Ivan Krysak 2024-06-25 17:56:51 +03:00
  • b900e36a68 CommonTypeMethods: introduce isAggregate Ivan Krysak 2024-06-20 10:39:32 +03:00
  • 0aa2ae7f08 Pipes: introduce a primitive rank Ivan Krysak 2024-06-14 13:32:00 +03:00
  • cd2fdafc45 TupleTree: never assign root directly Ivan Krysak 2024-06-14 13:11:27 +03:00
  • e52dd97937 TypeSystemPrinter: improve formatting Ivan Krysak 2024-06-14 13:10:38 +03:00
  • db6254c50e rcc: treat *.inc as c plus plus files Ivan Krysak 2024-06-11 11:08:17 +03:00
  • b72e2fd87b Model: allow omission of void size Ivan Krysak 2024-06-11 11:05:47 +03:00
  • 9a3086694b UpcastablePointer: do not crash on empty print Ivan Krysak 2024-06-11 11:03:07 +03:00
  • fbe1416aa2 ConstexprString: add operator* Ivan Krysak 2024-06-05 11:43:22 +03:00
  • 4a2db0ba4f UpcastablePointer: streamline empty behavior Ivan Krysak 2024-05-31 15:39:47 +03:00
  • 3eb4445c29 RegisterStateDeduction: fix heap-buffer-overflow Ivan Krysak 2024-05-08 11:16:49 +03:00
  • a2aa805e41 FilteredGraphTraits: fix stack-use-after-scope Ivan Krysak 2024-05-08 11:15:38 +03:00
  • cd36ef1963 Update the docs Ivan Krysak 2024-03-12 12:30:16 +01:00
  • 2ae19ef30a DynamicFunction: ban / in the name Ivan Krysak 2024-05-02 16:53:41 +03:00
  • 823e561806 TTG: rework polymorphic serialization Ivan Krysak 2024-05-02 15:20:29 +03:00
  • 3c974fea7c Model: make purge-invalid-types softer Ivan Krysak 2024-05-02 15:14:37 +03:00
  • 42c1ea30f0 Allow deserialize to be called on non-root types Ivan Krysak 2024-05-02 15:12:16 +03:00
  • ffea5d9d4a TupleTreeReference: evict cache on setting root Ivan Krysak 2024-05-02 15:10:06 +03:00
  • 150d992368 Pipes: rename Type rank into TypeDefinition Ivan Krysak 2024-04-10 09:28:45 +03:00
  • 51208789a0 Rename ThePTMLBuilder into just B Ivan Krysak 2024-04-08 18:12:13 +03:00
  • 776a5cdc52 Model: move path data away from the header Ivan Krysak 2024-04-03 14:15:23 +02:00
  • 52aa0b5942 Model: introduce filters Ivan Krysak 2024-04-03 11:26:58 +02:00
  • 2fbb06f642 ABI-tests: remove an obsolete check Ivan Krysak 2024-03-20 13:25:32 +01:00