Alessandro Di Federico
72a0194870
tmp
2022-11-16 11:24:50 +01:00
Alessandro Di Federico
289c6d4c04
tmp
2022-11-15 16:46:42 +01:00
Alessandro Di Federico
e2d9c50cf5
tmp
2022-11-15 16:46:41 +01:00
Giacomo Vercesi
f7ec377aa4
mktemp: use --tmpdir
...
Without the --tmpdir argument the current directory is used to generate
the temporary file
2022-10-24 09:58:55 +02:00
Alessandro Di Federico
368f27b876
yields test: use one-per-architecture
2022-10-22 00:42:53 +02:00
Massimo Fioravanti
d55aa9b9e6
Pipeline: remove * from targets
...
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
Alessandro Di Federico
8aa2c2ac44
daemon/test.py: do not use memfd
2022-10-11 19:08:10 +02:00
Alessandro Di Federico
12191a8d01
daemon/test.py: use log function
2022-10-11 19:08:10 +02:00
Alessandro Di Federico
6fae9fc1c5
Stop checking Python requirements
2022-10-11 19:08:10 +02:00
Giacomo Vercesi
ff48b9de75
Introduce revng daemon-self-test
...
This new command will, given an executable, try to produce all
artifacts. By default it will run `revng daemon`, however an external
address can be provided to test remote daemons, e.g. running inside a
container.
2022-10-06 15:12:36 +02:00
Giacomo Vercesi
e5963395dc
Drop requests in favor of aiohttp
...
Drop the use of requests in the daemon tests, use aiohttp instead as
it allows the use of unix sockets, which simplifies the creation of
multiple ephimeral daemons
2022-10-04 14:20:03 +02:00
Giacomo Vercesi
5d02e7258f
revng.daemon test: fail if daemon exit code != 0
2022-10-04 14:13:56 +02:00
Giacomo Vercesi
bf4122ed0a
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00
Alessandro Di Federico
f6d5cd24dd
Give pretty names to temporary files
2022-09-26 18:09:01 +02:00
Ivan Krysak
f0afb1066b
Yield: rework testing and add call graph tests
2022-09-26 12:11:13 +02:00
Ivan Krysak
bb37d48dad
Yield: introduce YieldCallGraphSlicePipe
2022-09-26 12:09:28 +02:00
Ivan Krysak
ed8279fe08
Pipes: introduce a call graph emitting pipe
2022-09-26 10:33:43 +02:00
Alessandro Di Federico
7935af70a4
revng_add_executable_internal: force -pie
...
clang does not do -pie by default.
2022-09-22 17:43:55 +02:00
Alessandro Di Federico
85d574b305
test-abi: various fixes
2022-09-21 18:39:28 +02:00
Djordje Todorovic
2e5a6dc167
model: add tests for import-idb
2022-09-21 18:39:22 +02:00
Alessandro Di Federico
137fad57e9
revng-daemon tests: increase verbosity
2022-09-08 09:44:41 +02:00
Ivan Krysak
4c08f2153d
install_pattern: do not use git ls-files
2022-08-31 19:42:35 +02:00
Alessandro Di Federico
c6c66e70f4
revng.cfg-svg: use one-per-architecture
2022-08-26 18:12:23 +02:00
Alessandro Di Federico
ef3d24eb08
test.py: get ephemeral port, drop psutil
2022-08-26 09:50:42 +02:00
Alessandro Di Federico
73ae7c89b4
test.py: run preliminary analyses
2022-08-26 09:50:42 +02:00
Alessandro Di Federico
178b58b9d5
ImportBinary: turn into an analysis
2022-08-26 09:50:42 +02:00
Alessandro Di Federico
38d91a793b
AddPrimitiveTypes: turn into an analysis
2022-08-26 09:50:42 +02:00
Giacomo Vercesi
2ce7b216e8
GraphQL: drop step name conversion
2022-08-26 09:50:42 +02:00
Alessandro Di Federico
1d91ed9beb
tuple_tree_generator: make C++ just a regular backend
...
The `tuple_tree_generator` component was still heavily treating C++ as a
special citizen.
This commit normalizes the situation.
2022-08-11 16:20:42 +02:00
Massimo Fioravanti
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
Massimo Fioravanti
4cd5abe2b0
revng-pipeline: introduce --produce and --analyze
2022-08-10 09:49:24 +02:00
Massimo Fioravanti
96bd5835d8
revng-pipeline: rework file-to-container syntax
2022-08-10 09:49:24 +02:00
Alessandro Di Federico
74eab89e35
CMake: unset GIT_DIR before git ls-files
2022-08-10 09:49:20 +02:00
Alessandro Di Federico
1cf9a06009
EnforceABI: use read-only model
2022-08-08 13:55:36 +02:00
Alessandro Di Federico
fab6b4133b
Tests for ARM, i386, x86-64 and MIPS dynamic calls
2022-08-08 13:55:35 +02:00
Alessandro Di Federico
6a6cd939db
Rework EarlyFunctionAnalysis
2022-08-08 13:55:34 +02:00
Ivan Krysak
7b7c4c25b9
Standardize the pipe names to use CamelCase
2022-08-05 21:46:46 +03:00
Massimo Fioravanti
c97187fd0e
Add cross relations role
2022-08-05 21:45:19 +03:00
Ivan Krysak
191fc99c1c
Add a pipe for call-graph processing
2022-08-05 20:45:16 +02:00
Ivan Krysak
792da8151e
Redesign the rank definition process
2022-08-05 19:58:57 +02:00
Djordje Todorovic
ee686ef158
import-pe: Add more tests for type system
2022-07-28 15:04:26 +02:00
Djordje Todorovic
d69020745d
import-pe: Add tests
2022-07-28 15:02:49 +02:00
Giacomo Vercesi
3e9058393e
Rework YieldAssemblyHTML to output PTML
2022-07-28 08:47:34 +02:00
Giacomo Vercesi
930bac9bca
daemon test: filter out environment variables
...
When running `revng daemon` for tests, remove a selection of
environment variables that could negatively impact the correct
execution of the tests.
2022-07-22 14:56:15 +02:00
Giacomo Vercesi
80afd71721
Add singleTargetFilename to pipelines
...
A step's artifacts now include singleTargetFilename, which gives a
suggested filename to use when a single element is extracted from the
underlying container.
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
30ef77e6fa
GraphQL: introduce queries to retrieve globals
...
Change the schema to allow introspection of context globals.
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
62e9baeddb
GraphQL: rework schema to be camelCase
...
GraphQL conventions, encourage the use of camelCase for query fields
and PascalCase for types, as detailed here:
https://graphql-rules.com/rules/naming-fields-args
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
ffab18ee48
revng daemon: identify valid port
...
This commit resolves a non-deterministic test failure in `revng daemon`.
When running daemon tests, `randint` was used for selecting the listen
port, this caused test failures when the same port number was used for
reused. This has been replaced with the use of port 0 that guarantees
the use of an unused port and psutil to find the port number once it has
been bound by the daemon process.
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
a741e39f76
revng-check-conventions: introduce prettier
...
Adds the formatting tool prettier to allow formatting JS, TS, JSON,
YAML and HTML files.
2022-06-28 15:29:09 +02:00
Alessandro Di Federico
867c68078a
Drop superfluous f"..."
2022-06-21 18:36:59 +02:00