Ivan Krysak
2e9269caf8
Yield: implement pipes::*::getContract in .h
2022-09-26 12:07:54 +02:00
Ivan Krysak
6638055ecf
TupleTreeCompatible: drop NotTupleTreeCompatible
2022-09-26 12:01:56 +02:00
Ivan Krysak
fd994728bd
Yield: introduce call graph slicing
2022-09-26 12:01:43 +02:00
Ivan Krysak
cf5c010a7c
Layouter: introduce simple tree specialization
2022-09-26 10:33:43 +02:00
Ivan Krysak
7e051e3a23
Layouter: improve configuration documentation
2022-09-26 10:33:43 +02:00
Ivan Krysak
0ac31f8e92
Layouter: adopt the new entry detection algorithm
2022-09-26 10:33:43 +02:00
Pietro Fezzardi
c7105cda4d
GraphAlgorithms: generic entry point detection
2022-09-26 10:33:43 +02:00
Ivan Krysak
b267868356
CFG: fix calculateViewBox for entryless graphs
2022-09-26 10:33:43 +02:00
Ivan Krysak
0c7785bc38
Layouter & SVG: improve handling of empty graphs
2022-09-26 10:33:43 +02:00
Ivan Krysak
05d1426dca
CrossRelations: drop unnecessary serialization
2022-09-26 10:33:43 +02:00
Massimo Fioravanti
3ed1ce9902
Read-only containers: support multiple readers
2022-09-26 10:33:43 +02:00
Ivan Krysak
ed8279fe08
Pipes: introduce a call graph emitting pipe
2022-09-26 10:33:43 +02:00
Ivan Krysak
c90a49ec56
SVG Exporter: introduce call graph flavour
2022-09-26 10:33:43 +02:00
Ivan Krysak
db406a8835
PTML: introduce function links
2022-09-26 10:33:43 +02:00
Ivan Krysak
4303ed5da6
Layouter: implement non-orthogonal edge support
2022-09-26 10:33:43 +02:00
Ivan Krysak
8b01cb0da1
Layouter: increase configuration options
2022-09-26 10:33:43 +02:00
Ivan Krysak
7037be8b90
SVG Exporter: improve arrow head customizability
2022-09-26 10:33:43 +02:00
Ivan Krysak
172e07f398
Layouter: improve multiple entry graph support
2022-09-26 10:33:43 +02:00
Ivan Krysak
53ae25bcde
MetaAddress: improve constexpr-friendliness
2022-09-26 10:33:43 +02:00
Ivan Krysak
9e098d2c9b
GenericGraph: fix trait ordering and add inverse
2022-09-26 10:33:43 +02:00
Ivan Krysak
909042a13d
AVI: rename ::Edge to avoids name collision
2022-09-26 10:33:43 +02:00
Ivan Krysak
60f6abf0eb
Ease conventions to allow lines to start with ->
2022-09-26 10:33:43 +02:00
Ivan Krysak
a5f97fc215
Pipes: prevent non-root ranked file containers
2022-09-26 10:33:43 +02:00
Ivan Krysak
00dc8dd477
PTMLTag: fix addListAttribute's requires clause
2022-09-26 10:33:43 +02:00
Ivan Krysak
247710648f
Minor changes
2022-09-26 10:33:43 +02:00
Alessandro Di Federico
07ff20585c
pipeline-analysis: handle 0 functions
2022-09-22 17:43:56 +02:00
Alessandro Di Federico
8cf981fbf8
JTM: no assert on indirect jump to invalid address
2022-09-22 17:43:56 +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
011c65d8ab
merge-dynamic: drop a default argument
2022-09-22 17:43:55 +02:00
Alessandro Di Federico
cf62e6dce7
Minor changes
2022-09-22 17:43:55 +02:00
Alessandro Di Federico
08afac660b
Merge branch 'feature/import-idb'
2022-09-21 18:45:26 +02:00
Alessandro Di Federico
85d574b305
test-abi: various fixes
2022-09-21 18:39:28 +02:00
Alessandro Di Federico
d1bc0405dc
LinkForTranslation: add .note.GNU-stack
...
In LinkForTranslation we create an object file for each segment in the
input binary. In order to do this, we use `objcopy`. However, an object
file without a `.note.GNU-stack` section will trigger the linked program
to have the stack executable, which we don't want.
This led the linker to complain as follows:
ld.bfd: warning: object.o: missing .note.GNU-stack section implies
executable stack
ld.bfd: NOTE: This behaviour is deprecated and will be removed in a
future version of the linker
This commit adds to the `objcopy` invocation a flag to create the
`.note.GNU-stack` section.
2022-09-21 18:39:25 +02:00
Djordje Todorovic
2e5a6dc167
model: add tests for import-idb
2022-09-21 18:39:22 +02:00
Djordje Todorovic
753a50895c
Introduce revng model import-idb
2022-09-21 18:39:10 +02:00
Djordje Todorovic
5559d8431b
Introduce fix-model model pass
2022-09-21 18:37:36 +02:00
Giacomo Vercesi
7c900d45ca
revng.daemon: fix for ariadne>=0.16
2022-09-21 14:07:24 +02:00
Alvise de Faveri
999df25246
Add revng model export type-graph tool
...
This tools dumps a type, a function or an entire type-system to a
dot file,representing dependencies between types as edges.
2022-09-19 08:35:06 +02:00
Pietro Fezzardi
ec9a5b0608
Use lexicographical compare for model::Qualifier
2022-09-19 08:34:20 +02:00
Pietro Fezzardi
12ab345848
SubGraph: make getEntryNode more const-correct
...
GraphTraits<SubGraph<InnerNodeType>>::getEntryNode now takes a const
GraphType &, not just a GraphType &.
2022-09-19 08:33:45 +02:00
Davide Depau
286a9fe2d3
revng-analyze: add InitRevng to entrypoint
2022-09-19 08:32:02 +02:00
Davide Depau
42e932ad39
revng-artifact: add InitRevng to entrypoint
2022-09-19 08:31:55 +02:00
Alessandro Di Federico
137fad57e9
revng-daemon tests: increase verbosity
2022-09-08 09:44:41 +02:00
Alessandro Di Federico
fa3ed38f97
Merge branch 'feature/rework-schema-generator'
2022-09-02 16:34:45 +02:00
Giacomo Vercesi
67e970e1e8
Fix revng cli invocation with namespaces
...
When revng cli was invoked with a bare namespace, e.g. `revng ptml`
it would produce an ugly exception.
Fix this behavior by instead rerunning the command with `--help`
appended.
2022-09-02 03:49:56 +02:00
Giacomo Vercesi
c084620ef2
Switch from yarn to npm
2022-09-02 03:49:56 +02:00
Giacomo Vercesi
ae5522e861
tuple_tree_generator: minor TypeScript fixes
2022-09-02 03:49:54 +02:00
Alessandro Di Federico
ee6d80fa17
Merge branch 'feature/emit-ptml-in-c-backend'
2022-09-01 17:48:25 +02:00
Giacomo Vercesi
d68640e2cb
upcast: use universal references
2022-09-01 17:48:00 +02:00
Giacomo Vercesi
a7eb0a8d59
Ranks.h: introduce additional Ranks
2022-09-01 17:47:55 +02:00