2b55d1df22
Adopt cmake-format
2022-03-17 18:52:18 +01:00
6832698e5b
Introduce revng llvm pipeline
...
This is a wrapper to `revng-pipeline` designed to make the adoption of
pipelines easier for places where we are now using `revng opt`.
2022-03-17 16:46:02 +01:00
7d48059800
Turn revng-lift into a script
2022-03-11 15:37:12 +01:00
0793e4afcb
Turn lifting into a pass
2022-03-11 15:37:12 +01:00
5e38805063
Rename detail namespaces into revng::detail
2022-03-11 15:37:12 +01:00
ee0b8f44c1
Introduce BinaryImporter
...
This is a big step to split revng-lift in two parts: one that only
writes the model and one that actually lifts to LLVM IR.
* Introduce `revng import binary`
* Split off `BinaryFile.h`
* Drop `revng.h`
* `GeneratedCodeBasicInfo`: use model
* Reduce role of `GeneratedCodeBasicInfo` in favor of
`model::Architecture` and `model::Register` methods
* `CodeGenerator`: adopt `RawBinaryView` and model
* `JumpTargetManager`: adopt `RawBinaryView` and model
* `ExternalJumpsHandler`: adopt model
* `InstructionTranslator`: discard `Architecture` in favor of
`EndianessMismatch`
* Many other changes
2022-03-08 15:15:24 +01:00
39ace7dc56
mv revng{DwarfImporter,ModelImporterDwarf}
2022-03-08 12:25:47 +01:00
8d876b0def
ABI: introduce bulk function conversion
2022-02-14 13:35:37 +01:00
e20e65ca9a
Require a description when registering a pass
2022-02-14 13:35:36 +01:00
a67bc8d1a6
revng-model-diff: return error on mismatch
2022-02-14 10:57:30 +01:00
e80d159944
revng-pipline: simplify Kinds.h
2022-02-08 17:44:33 +01:00
67f9cbdf4c
Introduce the revng-pipeline CLI tool
2022-02-08 00:05:03 +01:00
6f0d0c4f9d
CodeGenerator: accept an external model
2022-02-07 22:24:39 +01:00
21f16ce95d
Drop *.orig files
...
They have been accidentally committed.
2022-02-07 16:55:46 +01:00
1c2527f6fa
mv tools/{revng-,}lift
2022-01-31 16:37:22 +01:00
a353e00ac1
Introduce model passes
2022-01-31 16:28:14 +01:00
3980ee3fad
Introduce model tools
2022-01-31 16:28:14 +01:00
cfb47157b9
clang-tidy: readability-identifier-naming
...
This commit fixes all the non-compliance with our preliminary clang-tidy
configuration, which will be merged soon.
2022-01-07 09:18:05 +01:00
8c0b918ace
s/DebugHelper.*/IRAnnotators.*/
2021-12-22 17:47:54 +01:00
e7bc0c739b
Restore emission of annotated IR
2021-12-22 17:47:54 +01:00
6073133545
CodeGenerator: drop IR emission duties
2021-12-22 17:47:54 +01:00
9e477d0ada
Make a library out of revng-lift
2021-12-22 13:47:21 +01:00
3e1e69e08f
Introduce eraseFromParent
2021-12-17 18:50:08 +01:00
1dbe474873
Whitespace fixes
2021-12-16 11:56:06 +01:00
10f45c593a
Move StackAnalysis to EarlyFunctionAnalysis
2021-12-15 18:03:30 +01:00
215dab9dd2
Introduce CSVAliasAnalysisPass
...
A pass that decorates memory accesses with
information about CSV aliasing.
2021-12-15 18:03:30 +01:00
4504b3d770
JumpTargetManager: move getOption in IRHelpers
2021-12-15 18:03:30 +01:00
34580789eb
BinaryFile: add architecture-dependent fields
...
Add return address register and minimal final stack offset in Arch.
2021-12-15 18:03:30 +01:00
31620e4efd
CodeGenerator: record static functions as well
2021-12-15 18:03:30 +01:00
adcda3532b
AVI: fix error in detection of stores to PC
2021-11-18 15:30:07 +01:00
89532890ed
Introduce support for importing DWARF information
2021-10-21 15:01:20 +02:00
3a3eea0cf5
Introduce support for dynamic functions
2021-10-21 15:01:19 +02:00
a023bfa7f5
Introduce ABI handling
2021-10-18 20:44:58 +02:00
18cfbdbfe0
Whitespace and other minor changes
2021-10-18 12:39:21 +02:00
67eaaab045
JumpTargetManager: enable InstCombine(true)
...
This fixes the latest failing tests after upgrading to llvm-12.
2021-06-14 23:04:02 +02:00
b96fbd091d
Fix check-conventions with clang-format-12
2021-06-14 23:04:02 +02:00
6f7de910a6
Enable warning -Wunused-local-typedefs
2021-06-14 23:04:02 +02:00
544b553e5c
JumpTargetManger: swap constprop with instsimplify
...
Constant propagation has been dropped from llvm
2021-06-14 23:04:02 +02:00
12364e6d63
Update BinaryFile to new llvm::object APIs
...
This is required to compile against llvm-12
2021-06-14 23:04:02 +02:00
d3d4e1ea5e
JumpTargetManager.cpp: include missing header
...
Before the addition of this include, the file failed to compile with
llvm-12.
2021-06-14 23:04:02 +02:00
478baf1f43
Fix use-after-free in InstructionTranslator
2021-06-09 18:42:56 +02:00
67b6bc491b
BinaryFile: always relocate addresses
...
Always relocating addresses allows to include symbols on
dynamically linked position independent objects as well.
2021-06-09 18:15:16 +02:00
bc8c8f82d2
Prevent separation of 'main' headers into group 0
...
The prevention mechanism uses a dummy suffix:
'_THIS_SEQUENCE_IS_NEVER_GOING_TO_HAPPEN'.
2021-06-09 18:05:20 +02:00
0af0fea277
Handle R_386_32 relocations
2021-05-12 18:42:17 +02:00
ec0a1c7d3e
Fix dispatcher.external
...
`dispatcher.external` used to jump to itself due to a misuse of
`replaceAllUsesWith`.
2021-05-12 18:42:08 +02:00
9be97248ce
Reorganize VariableManager
...
This commit slightly improves VariableManager's API and, most
importantly, undef-initializes all TCG variables in order to avoid
creation of complex PHIs.
2021-05-08 19:27:57 +02:00
82260c2693
Make dumping assembly and PTC optional
...
Output files can become *very* large.
This commit disables by default dumping disassembled instructions and
PTC code into the IR.
2021-05-08 19:27:57 +02:00
91991bb694
Handle PHIs in lifted code
...
In large binaries PHI nodes show up. As a consequence, calls to `newpc`
are no longer the first instruction.
This commit uses the `getFirstNonPHI` method to fix this issue.
2021-05-08 19:19:41 +02:00
223d022968
replaceFunction: preserve metadata
2021-04-30 14:52:25 +02:00
2e9c2ee275
Introduce FunctionTags
...
FunctionTags goal is to solve the long-standing problem of identifying
what type of function are we dealing with. Is it a lifted function? An
helper?
Now we have a sane way to determine this using Metadata and a proper
API.
2021-04-22 18:07:24 +02:00
Alessandro Di Federico