Commit Graph

  • ee602fc5e0 Merge branch 'feature/revng-llvm-pipeline' Alessandro Di Federico 2022-03-17 17:02:16 +01:00
  • 173ad98661 revng driver: introduce --keep-temporaries feature/revng-llvm-pipeline Alessandro Di Federico 2022-03-17 16:42:54 +01:00
  • cdeb1ea507 revng driver: introduce --dry-run Alessandro Di Federico 2022-03-17 16:32:47 +01:00
  • 6832698e5b Introduce revng llvm pipeline Alessandro Di Federico 2022-03-17 08:32:47 +01:00
  • e753e28f43 revng: make more extensive use of relative paths Alessandro Di Federico 2022-03-17 08:31:35 +01:00
  • 3cc138c8d6 Drop cloneMetadata Alessandro Di Federico 2022-03-17 08:30:26 +01:00
  • 0aef5adc32 Drop scripts/revng-translate reference Alessandro Di Federico 2022-03-15 17:57:02 +01:00
  • 586feabd3d Drop scripts/revng-model-dump Alessandro Di Federico 2022-03-15 17:55:26 +01:00
  • af6305725d Rewrite revng driver infrastructure Alessandro Di Federico 2022-03-15 17:31:07 +01:00
  • 00ce580362 Introduce EnforceABI and PromoteCSV pipes Alessandro Di Federico 2022-03-15 12:10:10 +01:00
  • 9fb3b647a4 Introduce DropRootPass Alessandro Di Federico 2022-03-15 12:09:50 +01:00
  • fa3206b26d Rename Lifted tag to Isolated Alessandro Di Federico 2022-03-15 12:08:56 +01:00
  • ea6383c476 mv {d,registerD}efaultFunctionPrototype Alessandro Di Federico 2022-03-17 08:22:20 +01:00
  • df00a892dd Introduce revng.cli.lift Alessandro Di Federico 2022-03-12 18:20:15 +01:00
  • da7701bd4e Move all executables except revng to libexec/revng Alessandro Di Federico 2022-03-11 20:56:12 +01:00
  • 4f1600faf9 Adopt revng_add_test_executable Alessandro Di Federico 2022-03-17 14:09:33 +01:00
  • 77335d036a Rename Lifted tag to Isolated Alessandro Di Federico 2022-03-17 14:08:05 +01:00
  • d9b8d49cca Use -- for pass names Alessandro Di Federico 2022-03-17 14:07:22 +01:00
  • 0e387938be Move scripts/revng to revng/cli/revng.py Alessandro Di Federico 2022-03-11 21:28:57 +01:00
  • 997e7f60cb scripts/renvg: handle revng pipeline Alessandro Di Federico 2022-03-11 18:24:24 +01:00
  • bc8e6a6a24 Minor changes Alessandro Di Federico 2022-03-12 18:04:23 +01:00
  • 9d14e672e7 Merge feature/drop-caliban into develop Pietro Fezzardi 2022-03-16 16:57:16 +01:00
  • 35cd9bbf4a Drop function decompilation API Pietro Fezzardi 2022-03-16 16:48:15 +01:00
  • d98f495938 Drop unit tests for function decompilation API Pietro Fezzardi 2022-03-16 16:45:24 +01:00
  • edaf468c7c Merge branch 'feature/dematerialize-revng-lift' Alessandro Di Federico 2022-03-11 15:37:21 +01:00
  • 7d48059800 Turn revng-lift into a script Alessandro Di Federico 2022-03-10 11:12:46 +01:00
  • 0793e4afcb Turn lifting into a pass Alessandro Di Federico 2022-03-08 15:34:18 +01:00
  • 5e38805063 Rename detail namespaces into revng::detail Alessandro Di Federico 2022-03-10 11:26:31 +01:00
  • ff0a1b8eab DLADeduplicateUnionFields.cpp: fix linkOrderLess Pietro Fezzardi 2022-03-10 12:24:47 +01:00
  • 5d197bff15 Adopt API changes in the model Alessandro Di Federico 2022-03-08 14:08:24 +01:00
  • 857f3afcf6 Merge branch 'feature/reorganize-frontend' Alessandro Di Federico 2022-03-10 15:54:53 +01:00
  • 104b1de077 Drop revng-lift feature/reorganize-frontend Alessandro Di Federico 2022-03-10 11:12:46 +01:00
  • 19b2b23ce7 Dropped the steps in favor of begin steps feature/call-graph-cache Massimo Fioravanti 2022-03-10 13:50:29 +01:00
  • 1e4291a21a Add 0-length checks Giacomo Vercesi 2022-03-09 14:25:17 +01:00
  • 8852c73cf9 Add global serialization Massimo Fioravanti 2022-03-08 11:52:58 +01:00
  • 807d9d56ba Introduce serialization primitives for containers Massimo Fioravanti 2022-03-07 18:30:03 +01:00
  • 091376ddfa Added kind verification Massimo Fioravanti 2022-03-03 15:57:50 +01:00
  • 8032142c92 Renamed Pass Name to Type in the yml dsl Massimo Fioravanti 2022-02-24 18:44:42 +01:00
  • 0aaead45ab Add: Command line explanation of pipes invocation Massimo Fioravanti 2022-02-24 17:10:19 +01:00
  • 9b7a81f3f2 Drop: pipeline implicit rank 0 Massimo Fioravanti 2022-02-24 09:51:40 +01:00
  • 36b18b9fc5 Fix: loader error message Massimo Fioravanti 2022-02-24 09:51:25 +01:00
  • c3b8b76d05 Add multistep invalidation test Massimo Fioravanti 2022-02-22 17:40:45 +01:00
  • c0f3e34a6a Add pipelineC invalidation trigger Massimo Fioravanti 2022-02-22 17:39:04 +01:00
  • b12760ccf2 Add invalidate all pipeline manager Massimo Fioravanti 2022-02-22 17:37:43 +01:00
  • f53f062e41 TupleTreeDiff<Binary> now compiles Massimo Fioravanti 2022-02-22 17:19:08 +01:00
  • ddd80f34ec Model Invalidation Event Massimo Fioravanti 2022-02-22 17:29:37 +01:00
  • 37b1dbd6c0 Implement remove on FileContainer Massimo Fioravanti 2022-02-22 17:31:21 +01:00
  • c233737216 Fix: 0 elements removal is not a failure Massimo Fioravanti 2022-02-22 17:34:23 +01:00
  • e7d3d6a211 Fix: llvm container mergeBack Massimo Fioravanti 2022-02-22 17:41:07 +01:00
  • de9fb4ae7e Add CallGraphCache Massimo Fioravanti 2022-02-11 18:05:35 +01:00
  • 361faa5a80 Factor out yaml generation into a single call Massimo Fioravanti 2022-02-11 17:58:46 +01:00
  • 3b999b378d Merge feature/dla-bugfixes into develop Pietro Fezzardi 2022-03-10 12:23:22 +01:00
  • a8da5e14ec DLA: enable union dedup w/o CollapseSingleChild Pietro Fezzardi 2022-03-08 17:05:35 +01:00
  • 6a458c2407 movements Alessandro Di Federico 2022-03-08 15:34:18 +01:00
  • e51326fc9b revng::detail Alessandro Di Federico 2022-03-10 11:26:31 +01:00
  • a52c595e17 Update test results Alessandro Di Federico 2022-03-07 23:06:34 +01:00
  • 9bd45b19b7 Introduce BinaryImporter Alessandro Di Federico 2022-02-17 18:03:52 +01:00
  • 315f2ddcc8 Handle invalid model::DynamicFunction::Prototype Alessandro Di Federico 2022-03-07 23:04:28 +01:00
  • a32b35cb25 EFA: always perform stack adjustment Alessandro Di Federico 2022-03-07 22:53:41 +01:00
  • bf82f70b26 Support streaming llvm::Errors to Loggers Alessandro Di Federico 2022-03-07 22:47:24 +01:00
  • c76965d1a9 Rework LoadModelPass Alessandro Di Federico 2022-03-07 22:36:48 +01:00
  • bd6f98f530 Introduce model::Binary::DefaultPrototype Alessandro Di Federico 2022-03-07 22:26:12 +01:00
  • 839453aaaa Introduce RawBinaryView Alessandro Di Federico 2022-02-18 08:45:51 +01:00
  • 15300ea0c4 Add model::Binary::ExtraCodeAddresses Alessandro Di Federico 2022-02-17 18:01:05 +01:00
  • e143203802 Extend model::Register Alessandro Di Federico 2022-03-07 22:39:55 +01:00
  • c332566445 Extend model::Architecture Alessandro Di Federico 2022-03-07 22:25:09 +01:00
  • 5ec2625360 Improve model::Segment Alessandro Di Federico 2022-03-07 22:41:34 +01:00
  • 1fcb79f464 Introduce model::Section Alessandro Di Federico 2022-02-17 18:02:43 +01:00
  • 9fbcf0d471 Introduce model::Relocation Alessandro Di Federico 2022-02-17 17:59:30 +01:00
  • 46081accc2 tuple_tree_generator: make Key strongly typed Alessandro Di Federico 2022-03-07 23:07:32 +01:00
  • cd3e305545 mv revng{DwarfImporter,ModelImporterDwarf} Alessandro Di Federico 2022-02-14 13:50:19 +01:00
  • fd008be9dd Make model::Binary::EntryPoint optional Alessandro Di Federico 2022-02-14 09:12:53 +01:00
  • 8b37bf0900 readFromPointer: use bool IsLittleEndian Alessandro Di Federico 2022-02-14 09:12:29 +01:00
  • de4d8cb8d3 Introduce OverflowSafeInt Alessandro Di Federico 2022-03-07 16:24:49 +01:00
  • f141a82c51 Introduce TemporaryFile Alessandro Di Federico 2022-03-07 16:15:00 +01:00
  • 9a489dbf6f CMake: sort headers for tuple_tree_generator Alessandro Di Federico 2022-02-14 09:11:14 +01:00
  • 94264a55bc Move Integral concept to Concepts.h Alessandro Di Federico 2022-02-17 18:31:01 +01:00
  • f546e71f9a Use std::string for MaterializedValue::SymbolName Alessandro Di Federico 2022-03-01 20:49:30 +01:00
  • 30b68b01cc Fix a revng_assert meant to be a revng_abort Alessandro Di Federico 2022-02-17 18:05:32 +01:00
  • 009a26df64 Minor changes Alessandro Di Federico 2022-03-08 15:34:27 +01:00
  • cd7f1fced5 Update test results Alessandro Di Federico 2022-03-07 23:06:34 +01:00
  • acef606a73 DLATypeSystem.cpp: improve error reporting Pietro Fezzardi 2022-03-08 17:02:09 +01:00
  • 8e3b1c0080 DLACollapseSingleChild: preserve InterferingInfo Pietro Fezzardi 2022-03-08 16:34:41 +01:00
  • 3546eda055 DLATypeSystem.cpp: improve .dot for Instance edges Pietro Fezzardi 2022-03-08 16:58:09 +01:00
  • 9a6a0369e7 DLADeduplicateUnionFields.cpp: fix log Pietro Fezzardi 2022-03-08 11:51:06 +01:00
  • ee0b8f44c1 Introduce BinaryImporter Alessandro Di Federico 2022-02-17 18:03:52 +01:00
  • e9b1879067 Handle invalid model::DynamicFunction::Prototype Alessandro Di Federico 2022-03-07 23:04:28 +01:00
  • ad7e6d9388 EFA: always perform stack adjustment Alessandro Di Federico 2022-03-07 22:53:41 +01:00
  • 60cce26768 Support streaming llvm::Errors to Loggers Alessandro Di Federico 2022-03-07 22:47:24 +01:00
  • 0a5d2c04a7 Rework LoadModelPass Alessandro Di Federico 2022-03-07 22:36:48 +01:00
  • 1a57229693 Introduce model::Binary::DefaultPrototype Alessandro Di Federico 2022-03-07 22:26:12 +01:00
  • b3bfd5c64d Introduce RawBinaryView Alessandro Di Federico 2022-02-18 08:45:51 +01:00
  • 1d1ae3f7d4 Add model::Binary::ExtraCodeAddresses Alessandro Di Federico 2022-02-17 18:01:05 +01:00
  • 7a35ef21be Extend model::Register Alessandro Di Federico 2022-03-07 22:39:55 +01:00
  • b65dc65037 Extend model::Architecture Alessandro Di Federico 2022-03-07 22:25:09 +01:00
  • a88a9e52c3 Improve model::Segment Alessandro Di Federico 2022-03-07 22:41:34 +01:00
  • 97f0941aee Introduce model::Section Alessandro Di Federico 2022-02-17 18:02:43 +01:00
  • 8570923d64 Introduce model::Relocation Alessandro Di Federico 2022-02-17 17:59:30 +01:00
  • 69cd0db81f tuple_tree_generator: make Key strongly typed Alessandro Di Federico 2022-03-07 23:07:32 +01:00
  • 39ace7dc56 mv revng{DwarfImporter,ModelImporterDwarf} Alessandro Di Federico 2022-02-14 13:50:19 +01:00