bf39373f87
revng-invalidate: drop superfluous dependency
2022-08-10 09:49:24 +02:00
d250d43ee4
revng-pipeline: factor out common CLI options
...
Common CLI options that were used by multiple tools and have now been
isolated into a single include file to be used before declaring main.
2022-08-10 09:49:24 +02:00
261a114d6d
Pipeline: corner-case fix in backward deduction
2022-08-10 09:49:24 +02:00
b49062b2d6
revng-pipeline: introduce --produce-all-single
2022-08-10 09:49:24 +02:00
0bb115a4f3
revng-pipeline: rework syntax for targets
...
Was: step:container:p/a/t/h:kind
Now: step/container/p/a/t/h:kind
2022-08-10 09:49:24 +02:00
4cd5abe2b0
revng-pipeline: introduce --produce and --analyze
2022-08-10 09:49:24 +02:00
9c13f8dbdd
Introduce revng-artifact
2022-08-10 09:49:24 +02:00
96bd5835d8
revng-pipeline: rework file-to-container syntax
2022-08-10 09:49:24 +02:00
85a9c9637f
revng-pipeline: rework logging
2022-08-10 09:49:24 +02:00
84d6c2a4a8
revng-pipeline: drop redundant Logger
2022-08-10 09:49:24 +02:00
6a6cd939db
Rework EarlyFunctionAnalysis
2022-08-08 13:55:34 +02:00
a36e22729f
Model: Add PDB support
2022-07-28 14:52:50 +02:00
8d89be44fc
Add initialization utility to all main functions
2022-07-22 21:04:03 +02:00
1527a8667b
Introduce revng pipeline --analyze-all
2022-06-22 18:11:32 +02:00
f4684e244d
Switch to new testsuite
2022-06-20 19:04:18 +02:00
04efcb8ed8
Drop the revng yield .* tools
2022-06-14 18:55:59 +03:00
f8ad4e634d
Replace pipeline -load using LLVM -load mechanism
...
`revng -load` mechanism did not allow to specify arguments for loaded
libraries, the new LLVM mechanism allow to do so.
2022-06-13 18:30:08 +02:00
34a0356ca3
Changes to support FunctionStringMap
...
FunctionStringMap now requires a TupleTree<model::Binary> rather than a
model::Binary, users in revng-c are now changed to support that.
2022-05-25 15:46:12 +02:00
f0a5ffe3b3
revng-pipeline: globals, extractOne and analyses
2022-05-24 08:58:48 +02:00
ca566a76f0
Rename StringMapContainer to FunctionStringMap
...
This new naming more closely describes the fact that each element in the
map must be associated with a model::Function
2022-05-11 16:16:32 +02:00
42b52bb22b
Add DecompiledYAMLToCPipe
2022-05-11 15:21:39 +02:00
540d5d8db3
Add new tool revng-decompiled-yaml-to-c
2022-05-11 15:20:30 +02:00
13019a4290
Add -t TargetFunction option to revng-decompile
...
This new option allows to decompile only a single function
2022-05-11 15:19:34 +02:00
0e4681dc38
Add -m option to revng-decompile to override Model
2022-05-11 15:19:34 +02:00
fc40f646a4
Replace CBackendPass with revng-decompile tool
...
This commit replace the old CBackendPass with a standalone tool:
revng-decompile.
This pass at the moment runs the three stages of decompilation:
- CFG restructuring
- Beautify GHAST
- C Code generation
2022-05-11 15:19:25 +02:00
bce0bd70b1
StringMapContainer: fix enumeration for * target
2022-05-11 14:52:22 +02:00
56de892efb
Add HelpersToHeaderPipe
2022-05-11 12:42:38 +02:00
7e926db200
Add ModelToHeaderPipe
2022-05-11 12:36:32 +02:00
8a07e67767
Add revng yield assembly tool
2022-05-06 18:51:47 +02:00
2a6a7943f4
Fix a couple of minor typos
2022-05-06 18:51:47 +02:00
ab125b35b0
Fix License headers
...
Change company name to "rev.ng Labs Srl" in all license headers
to reflect changed company name and legal status
Add missing license headers to files that didn't have one
2022-04-19 12:17:59 +02:00
3d752f6c7f
Introduce revng pipeline --invalidate-all
2022-04-15 15:18:28 +02:00
eef9ba74da
Introduce ModelInvalidationEvent
2022-04-15 15:17:58 +02:00
c4aa92694c
Introduce revng model apply
2022-04-15 15:15:41 +02:00
bf1de27239
revng model diff: keep output
2022-04-15 15:14:41 +02:00
44720eedbd
Redesign TupleTreeDiff
...
`TupleTreeDiff` is now type-safe and owns the changes.
2022-04-15 15:14:13 +02:00
dddd8ecbcb
Update EFA tests to support CFG out of the model
2022-04-05 15:37:57 +02:00
8bbd3b9435
revng-pipeline: move from --quiet to --verbose
2022-03-28 12:17:05 +02:00
ce4934f48d
Introduce revng-link-for-translation
...
`revng-link-for-translation` provides a standalone tool needed to
perform the final linking stage of the recompilation.
2022-03-28 12:17:05 +02:00
f63eefba2c
Move LinkForTranslationPipe to lib/Recompile
2022-03-28 12:17:05 +02:00
c05b5dbb28
Steps now represent the *end* of a step
...
A special "begin" step has been introduced.
2022-03-28 12:17:05 +02:00
1dcce82dfc
Adopt cmake-format
2022-03-18 12:32:44 +01:00
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
Massimo Fioravanti