Commit Graph

  • 2e933cde6b Dynamic functions: use OriginalName Alessandro Di Federico 2022-03-30 19:55:48 +02:00
  • 0f3c29fa1b Split moveToNewFunctionType off changeFunctionType Alessandro Di Federico 2022-03-30 19:55:48 +02:00
  • a355a90c7e model::Binary::getPointerTo(model::QualifiedType) Alessandro Di Federico 2022-03-30 19:53:25 +02:00
  • 85e031c218 FunctionType::Layout: construct from model::Type Alessandro Di Federico 2022-03-30 19:53:08 +02:00
  • 4904f8cbe1 GeneratorIterator: simplify iterators Alessandro Di Federico 2022-03-22 17:32:17 +01:00
  • 016a9464b8 Model diff: handle UpcastablePointer correctly Massimo Fioravanti 2022-04-21 14:38:21 +02:00
  • e6f6010cfd Build with -fvisibility-inlines-hidden feature/visibility-inlines-hidden Alessandro Di Federico 2022-04-29 16:36:42 +02:00
  • 890829cbb9 Build with -fvisibility-inlines-hidden Alessandro Di Federico 2022-04-29 16:40:15 +02:00
  • 0b64b58e84 Unify recompilation tests Pietro Fezzardi 2022-04-29 15:04:27 +02:00
  • 13bf5a7171 Merge branch 'feature/resourcefinder-use-self-maps' Alessandro Di Federico 2022-04-28 22:19:01 +02:00
  • 168eab6cc5 Use /proc/self/maps to determine root Giacomo Vercesi 2022-04-27 16:36:07 +02:00
  • 91067a8886 getCurrentExecutableFullPath: assert on error Giacomo Vercesi 2022-04-28 11:00:48 +02:00
  • d109a68bc4 Remove BUILD_PATH Giacomo Vercesi 2022-04-27 16:35:31 +02:00
  • fe9b125aa4 Merge branch 'feature/revng-check-conventions-fix' Alessandro Di Federico 2022-04-28 09:47:49 +02:00
  • 23362444b8 check-conventions: improve file list generation Giacomo Vercesi 2022-04-26 09:36:22 +02:00
  • 7c64831835 revng-check-conventions: install configurations Giacomo Vercesi 2022-04-22 17:20:49 +02:00
  • e0dac4e27d Merge branch 'feature/string-map-container-usability' Alessandro Di Federico 2022-04-28 08:32:40 +02:00
  • e9470d031d Add std::map-like methods to StringMapContainer Pietro Fezzardi 2022-04-27 17:40:21 +02:00
  • de0398754d Add makeStringMapContainerFactory Pietro Fezzardi 2022-04-27 17:09:28 +02:00
  • da44302bba Fix StringMapContainer::remove on isAll target Pietro Fezzardi 2022-04-27 17:08:13 +02:00
  • 150ee39289 Drop old unused ReachabilityPass Pietro Fezzardi 2022-04-26 18:15:44 +02:00
  • 2c9829f042 Backend: skip dumpToString call when Loggers off Pietro Fezzardi 2022-04-26 18:12:08 +02:00
  • 72d0c5776f Merge branch 'feature/python-api-graphql' Alessandro Di Federico 2022-04-26 16:08:07 +02:00
  • b9794b84bb revng.daemon: introduce tests Giacomo Vercesi 2022-04-04 10:33:46 +02:00
  • 4f7908753e Introduce the revng-daemon command Giacomo Vercesi 2022-04-14 18:14:12 +02:00
  • 172faebacf Introduce the revng.daemon GraphQL API Giacomo Vercesi 2022-04-06 18:43:25 +02:00
  • 7231ee607a Introduce PipelineC wrapper for Python Giacomo Vercesi 2022-04-06 18:41:52 +02:00
  • 4445a841b2 revng-pipeline: introduce artifacts Giacomo Vercesi 2022-04-06 18:12:48 +02:00
  • 99ae9c98e0 Add MIMEType to container Giacomo Vercesi 2022-04-06 18:11:56 +02:00
  • f6db74abbc Use xargs for parallel recompilation tests Pietro Fezzardi 2022-04-26 15:43:03 +02:00
  • c32bc92f9c revng.daemon: introduce tests feature/python-api-graphql Giacomo Vercesi 2022-04-04 10:33:46 +02:00
  • 0d49b4a982 Introduce the revng-daemon command Giacomo Vercesi 2022-04-14 18:14:12 +02:00
  • d51e19dbac Introduce the revng.daemon GraphQL API Giacomo Vercesi 2022-04-06 18:43:25 +02:00
  • 4f7e295a36 Introduce PipelineC wrapper for Python Giacomo Vercesi 2022-04-06 18:41:52 +02:00
  • 8b2da15c18 revng-pipeline: introduce artifacts Giacomo Vercesi 2022-04-06 18:12:48 +02:00
  • 9b16efefc2 Add MIMEType to container Giacomo Vercesi 2022-04-06 18:11:56 +02:00
  • f4d63759de PipelineC: expose kinds, ranks and more Giacomo Vercesi 2022-04-06 18:39:10 +02:00
  • 87b09fd401 PipelineC: Refactor headers Giacomo Vercesi 2022-04-11 12:29:07 +02:00
  • e5c9141ccc Refactor revng.cli.support Giacomo Vercesi 2022-04-13 18:43:26 +02:00
  • b90773b642 Move librevngRecompile to analyses Giacomo Vercesi 2022-04-22 14:30:58 +02:00
  • a831fa8e74 ContainerSet: add isContainerRegistered Giacomo Vercesi 2022-04-21 16:57:23 +02:00
  • 1bab3d8137 PipelineC: fix returning reference to local Filippo Cremonese 2022-02-23 18:04:39 +01:00
  • 19ff90e499 PipelineC: fix off-by-! in LoadLibraryPermanently Filippo Cremonese 2022-02-23 17:59:42 +01:00
  • 1af425c730 Minor changes Filippo Cremonese 2022-02-23 17:56:13 +01:00
  • e1c762c70a Merge feature/initial-migration-to-revng-pipeline Pietro Fezzardi 2022-04-26 14:44:02 +02:00
  • 4222a1c733 Add LateOptimizeForDecompilation Step Pietro Fezzardi 2022-04-12 10:19:11 +02:00
  • fbe4f7520c Add SegregateStackAccessesPipe Pietro Fezzardi 2022-04-05 19:02:09 +02:00
  • 04c8d7c8ae Add EaryOptimizeForDecompilation pipeline step Pietro Fezzardi 2022-04-26 12:22:24 +02:00
  • 234f9cf401 Add PromoteStackPointerPipe Pietro Fezzardi 2022-04-04 10:52:09 +02:00
  • 4207092c9e Add RemoveLiftingArtifacts pipeline Pietro Fezzardi 2022-03-28 16:12:42 +02:00
  • 350af8abc7 Add RemoveLiftingArtifacts Pass Pietro Fezzardi 2022-03-29 15:19:33 +02:00
  • 60c1f1c4ad Add RemoveLiftingArtifacts library Pietro Fezzardi 2022-03-29 10:42:22 +02:00
  • 92b74b0131 Add LiftingArtifactsRemoved Tag and Kind Pietro Fezzardi 2022-03-28 16:30:21 +02:00
  • 737c8bd2e1 Drop FilterForDecompilationFunctionPass Pietro Fezzardi 2022-03-28 16:12:17 +02:00
  • 0703f6e765 CMakeLists: improve decompilation tests Pietro Fezzardi 2022-04-22 10:01:04 +02:00
  • 8e6af6dec1 Drop RemoveLLVMAssumeCalls Pietro Fezzardi 2022-03-28 11:38:25 +02:00
  • a0f6fe8dd7 RestructureCFG: drop old unused NDuplicates field Pietro Fezzardi 2022-04-12 14:54:15 +02:00
  • 55a23079da DecompileFunction: fix switch state variables Pietro Fezzardi 2022-04-26 10:15:48 +02:00
  • 2f0105149e Merge feature/drop-old-c-backend Pietro Fezzardi 2022-04-21 18:18:54 +02:00
  • b909bb6629 New MarkAssignments library in IRCanonicalization Pietro Fezzardi 2022-04-21 18:13:51 +02:00
  • 3cb0100976 Merge branch 'feature/string-map-container' Alessandro Di Federico 2022-04-21 14:46:18 +02:00
  • d95b08df98 Drop old clang-specific SerializationReason Pietro Fezzardi 2022-04-21 10:19:06 +02:00
  • 54045334b6 Better encapsulate LivenessAnalysis Pietro Fezzardi 2022-04-21 10:14:19 +02:00
  • 93852f92d4 Rename tests/Unit to tests/unit Pietro Fezzardi 2022-04-21 09:56:56 +02:00
  • 14d40096b7 Rearrange Liveness and MarkForSerialization Pietro Fezzardi 2022-04-21 09:51:45 +02:00
  • 03ae412f94 Remove redundant IR from .ll tests Pietro Fezzardi 2022-04-21 07:58:48 +02:00
  • 8fd5b66296 Drop now unused ThreadSafeClangTooling Pietro Fezzardi 2022-04-21 07:46:38 +02:00
  • 65c3460be1 Fix coding conventions Pietro Fezzardi 2022-04-20 18:06:53 +02:00
  • c6f8a5d375 Drop old C decompiler backend Pietro Fezzardi 2022-04-20 18:01:44 +02:00
  • 59fbc7af4e Merge feature/string-based-decompiler Pietro Fezzardi 2022-04-20 17:41:00 +02:00
  • 0ff8a6933b Add StringMapContainer Pietro Fezzardi 2022-04-14 19:05:25 +02:00
  • d70eec060c Fix test implementation of mergeBackImpl Pietro Fezzardi 2022-04-14 19:05:12 +02:00
  • e875b7f1c6 Add string-based C backend Alvise de Faveri 2022-04-05 15:07:32 +02:00
  • 96074c7938 ModelHelpers: Make dropPointer recursive Alvise de Faveri 2022-04-19 16:56:15 +02:00
  • 827d5605f4 llvmIntToModelType: Handle nested pointer types Alvise de Faveri 2022-03-30 12:04:40 +02:00
  • beba244641 TypeNames: add getTypeName() for QualifiedType Alvise de Faveri 2022-03-30 12:02:27 +02:00
  • c542f6009e GHAST: Improve constness Alvise de Faveri 2022-03-30 12:00:50 +02:00
  • 72461f6329 Add attributes to revng_init_local_sp() Alvise de Faveri 2022-03-29 17:46:31 +02:00
  • 3fe9f687cc Move TypeMap initialization to InitModelTypes Alvise de Faveri 2022-03-04 16:31:48 +01:00
  • 8ccb2c0f3b Add void to primitive types Alvise de Faveri 2022-04-12 18:19:42 +02:00
  • 2c37f73064 Add VariableScopeAnalysis pass Alvise de Faveri 2022-02-17 17:52:15 +01:00
  • a3110c0b59 Add QualifiedType::is(TypeKind) Alvise de Faveri 2022-04-15 18:35:17 +02:00
  • 7c0b464c61 Merge feature/revng-check-conventions-improvements Pietro Fezzardi 2022-04-20 10:16:26 +02:00
  • 58c8f96317 Merge branch 'feature/revng-check-conventions-improvements' Alessandro Di Federico 2022-04-20 09:57:31 +02:00
  • bbce0b33e5 revng-check-conventions: introduce isort Giacomo Vercesi 2022-04-12 11:41:18 +02:00
  • 46821cee5f revng-check-conventions: introduce mypy Giacomo Vercesi 2022-04-12 11:17:59 +02:00
  • 31a836e48c revng-check-conventions: introduce flake8 Giacomo Vercesi 2022-04-12 10:12:17 +02:00
  • daa3388389 Add commit range option to revng-check-conventions Giacomo Vercesi 2022-04-11 14:26:14 +02:00
  • 8758c7fcc3 Print header for run_revng_checks Giacomo Vercesi 2022-04-04 18:03:48 +02:00
  • d81dc49809 revng-check-conventions: license check Giacomo Vercesi 2022-04-04 17:32:28 +02:00
  • 52a5c700e1 revng-check-conventions: add shellcheck Giacomo Vercesi 2022-04-04 16:57:37 +02:00
  • 56b004bfd2 Improve revng-check-conventions Giacomo Vercesi 2022-04-04 16:18:08 +02:00
  • ab125b35b0 Fix License headers Giacomo Vercesi 2022-04-13 18:01:25 +02:00
  • 27195d903f Sync with new revng-check-conventions script Giacomo Vercesi 2022-04-13 18:00:54 +02:00
  • 10db9fad22 Add isort to revng-check-conventions feature/revng-check-conventions-improvements Giacomo Vercesi 2022-04-12 11:41:18 +02:00
  • 1a8c106052 Add mypy to revng-check-conventions Giacomo Vercesi 2022-04-12 11:17:59 +02:00
  • fc0451ccd8 Add flake8 to revng-check-conventions Giacomo Vercesi 2022-04-12 10:12:17 +02:00
  • 7b91ec4263 Add commit range option to revng-check-conventions Giacomo Vercesi 2022-04-11 14:26:14 +02:00
  • 004e5580aa Print header for run_revng_checks Giacomo Vercesi 2022-04-04 18:03:48 +02:00
  • 24b2406239 revng-check-conventions: Add license check Giacomo Vercesi 2022-04-04 17:32:28 +02:00