9d5b6d1f34
revng cli: migrate legacy scripts to _commands
...
Move the remaining commands in the `scripts` to be used by the `revng`
command line driver.
2023-05-11 10:02:46 +02:00
fdd07f640a
revng cli: drop old code
...
Remove code for the `revng` command line entrypoint that was needed
before python became an orchestra component.
2023-05-11 10:02:46 +02:00
471b9c8396
rcc: fix issues with mypy>=1.0
...
Add additional config options to the `revng-check-conventions` config to
make mypy work with the revng codebase (mainly related to untyped
functions now causing a warning in mypy).
2023-05-11 10:02:46 +02:00
beef559395
Merge branch 'feature/well-known-prototypes'
2023-05-10 11:41:09 +02:00
92c028235f
Introduce WellKnownModels analysis
2023-05-10 11:16:08 +02:00
b112d51154
LDDTree: rewrite findLibrary
...
`findLibrary` has been rewritten to adhere more strictly to `man ld.so`.
Also, `lddtree` no longer relies on sections headers.
2023-05-10 11:04:52 +02:00
abc380017b
{ELF,Dwarf}Importer: fix ExportedNames
...
Under certain conditions, upon import, functions where not being added
`ExportedNames`, which was preventing them from finding the prototypes
from dynamic libraries' debug information.
2023-05-10 09:21:43 +02:00
f562d0373f
Importers: fix usage of BaseAddress
...
This commit ensure the BaseAddress is propagate as appropriate to all
levels of the importers and that it is ignored for executables
(non-PIC).
This was a recurring source of importing the same function twice, once
relocated, once not.
2023-05-10 09:20:40 +02:00
5fbaebe153
DwarfImporter: handle DW_AT_abstract_origin
2023-05-10 09:20:15 +02:00
73fb1a31c9
Outline TypeCopier
...
This commit also drop the suggestion that it should be used for copying
prototypes only.
2023-05-10 09:20:15 +02:00
579b9a749f
Introduce GenericGraph::operator=
2023-05-10 09:17:35 +02:00
4c0f809626
Introduce PathList::list
2023-05-10 09:17:35 +02:00
5542382bdb
revng-qa tests: adopt full paths
2023-05-10 09:15:18 +02:00
680c706771
DetectABI: introduce extra assertions
2023-05-10 09:15:04 +02:00
0890251c9b
Merge branch 'feature/better-daemon-self-test'
2023-05-09 17:27:19 +02:00
472710c100
daemon-self-test: Improve usability
...
Allow debugging commands (e.g. `--gdb`) to be passed through to the
invoked daemon when running `revng daemon-self-test`.
2023-05-09 17:27:00 +02:00
41662b0a43
revng.support: Rework process invocation
...
Refactor the `run` and `try_run` functions in 4 separate functions:
* `try_run`: Run the process and return the exit code
* `run`: Run the process and assert the exit code was 0
* `exec_run`: exec the process, stopping execution of the python
interpreter
* `popen`: Wrapper around `subprocess.Popen`, allows the most
flexibility
2023-05-09 17:27:00 +02:00
6ab8099531
revng daemon: disable CORS without --production
...
Set the `REVNG_ALLOWED_ORIGINS` to `*` when not in production mode. This
should avoid cors issues while developing.
2023-05-09 17:27:00 +02:00
fcc0d2176c
model.ts: format with new prettier
...
Apply the formatting changes imposed by the updated prettier version.
2023-05-08 16:03:03 +02:00
6b051ea1c2
Merge branch 'feature/improve-pipeline-performance'
2023-04-28 15:15:17 +02:00
eca3e49b77
LLVMContainer: reduce verifications
2023-04-28 14:35:00 +02:00
da25162d74
JumpTargetManager: drop assertNoUnreachable
...
The assertion cannot really hold under certain CFG forms.
2023-04-28 14:34:58 +02:00
4b2e067574
rcc: ban functions we wrap
2023-04-28 14:34:52 +02:00
0434249297
rcc: introduce NOLINTNEXTLINE
2023-04-28 14:34:50 +02:00
4eeb942afb
LLVMContainer: outline methods to .cpp
2023-04-28 14:34:49 +02:00
8b3f641a29
Rename LLVMGlobalKindBase to LLVMKind
2023-04-28 14:34:49 +02:00
4d4b587e1d
Drop LLVMGlobalKindBase template argument
2023-04-28 14:34:47 +02:00
a0dcd176b2
Purge useless headers
2023-04-28 14:34:40 +02:00
58b50e6b2a
Dismiss LLVMContainerBase
2023-04-28 14:34:39 +02:00
f9e6852311
Adopt revng_add_test
2023-04-28 14:34:39 +02:00
596fa25a1b
Introduce revng_add_test
...
This enables us to pass --debug-log=verify to tests.
2023-04-28 14:34:38 +02:00
f68185abc9
Push ParseCommandLineOptions into InitRevng
2023-04-28 14:34:35 +02:00
50f396c43d
Drop revng.csv in favor of a Tag
2023-04-28 14:04:32 +02:00
82aae6fa2a
Give a name to SegmentBoundaries global
...
Unnamed globals are evil.
2023-04-28 14:04:32 +02:00
1d8382187c
Dismiss ConstantStringsPool, use getUniqueString
2023-04-28 14:04:32 +02:00
8af3fd7fa3
LLVMContainer: do not duplicate appending globals
...
`llvm.global_ctors` and llvm.global_dtors were being cloned
exponentially many times. This was due to their `appending` linkage.
2023-04-28 14:04:32 +02:00
2f917a2772
Introduce ModuleStatistics
2023-04-28 14:04:32 +02:00
628aa42cc2
Introduce collectTypes
2023-04-28 14:04:31 +02:00
170749b0aa
Introduce revng::verify
2023-04-28 14:04:31 +02:00
0e6344ce44
Minor changes
2023-04-28 13:33:08 +02:00
564843165b
tuple_tree.ts: refine ParsableType interface
...
Fixes an issue that was detected in recent typescript versions where the
`Parsable` interface was not fully defined.
2023-04-28 09:56:06 +02:00
ade402c44d
Merge branch 'feature/lift-performance'
2023-04-27 21:07:28 +02:00
c9b2ffaf72
JumpTargetManager: improve data structures
...
This commit adopts `llvm::DenseSet`, `llvm::DenseMap` and
`std::unordered_set` where needed.
It also tweaks some `llvm::SmallVector` sizes.
It brings an additional ~3% improvement during lifting.
2023-04-27 19:22:03 +02:00
e43fe18021
harvestWithAVI: split up in multiple functions
2023-04-27 19:22:00 +02:00
3f495d2bc3
harvestWithAVI: run InstCombine only once
2023-04-27 19:16:07 +02:00
07cd786ec4
Preliminary harvesting: disable InstCombine
...
Saves up to ~50% of time.
2023-04-27 19:16:07 +02:00
0604bc4d19
harvestWithAVI: limit InstCombine iterations to 1
2023-04-27 19:16:07 +02:00
872f14fad4
harvestWithAVI: disable GVN
...
This commit disables GVN in order to improve lifting performance.
It also increases `EarlyCSEMssaOptCap` so we keep catching all the jump
target we used to.
Lifting /bin/bash goes from ~29mins to ~5mins
2023-04-27 19:16:07 +02:00
37ab350102
Minor changes
2023-04-27 19:16:07 +02:00
64dd348540
Merge branch 'feature/decouple-layouter-from-yield'
2023-04-27 18:23:45 +02:00
Giacomo Vercesi