72bedb7dfd
TypeSystemPrinter: print DynamicFunctions
2023-08-21 12:29:31 +02:00
659a461b02
TypeSystemPrinter: fix handling of 0-sized types
2023-08-21 12:11:34 +02:00
14525d91f5
Adopt llvm::Task
2023-08-01 10:51:16 +02:00
2136e05115
Fix a nasty issue caused by an uninitialized flag
2023-07-21 17:25:24 +02:00
485ef34a12
Model: add Comment field all across the board
2023-07-21 17:25:24 +02:00
8a9b253314
Model: clean type constructors up
2023-07-21 17:25:24 +02:00
7d235f4fd0
Enforce licence header consistency
...
Also do some basic cleanup: capitalize first letters, add `.`
at the end of the sentences, and so on.
2023-07-03 15:23:10 +00:00
9f1d9fd5d0
Use Container::contains() where appropriate
2023-07-02 15:06:11 +00:00
bc98e0079f
Formatting: change PenaltyReturnTypeOnItsOwnLine
...
The new value is 21.
2023-07-02 13:20:49 +02:00
01b4ec36c9
Formatting: set AllowShortEnumsOnASingleLine
...
The new value is `false`.
2023-07-02 13:15:08 +02:00
02978910b0
STLExtras: introduce zip_pairs skip flavour
...
I found that it leads to better looking code when the check of whether
the range in question even has enough elements to skip is inside
the helper.
As such a separate type of skip entry point was introduced: one that
allows to iterate over the container pairwise
Now, instead of asserting, the loop just does nothing in cases like
```cpp
for (const auto &Element : zip_pairs(make_empty_range())
do_stuff();
```
2023-05-25 06:25:07 +00:00
0170c0dfeb
Model: add segment overlap check to verification
2023-05-17 14:08:06 +02:00
d99b0241e8
Minor improvements
2023-05-17 14:08:04 +02:00
b3eaae6f83
ELFImporter: fix handling of DT_{INIT,FINI}
2023-05-17 11:17:39 +02:00
31cd2b53f9
rcc: add codespell
...
Add codespell to the list of checks performed by
revng-check-conventions. This should reduce the amount of typos present
in the revng codebase.
2023-05-11 10:05:32 +02:00
92c028235f
Introduce WellKnownModels analysis
2023-05-10 11:16:08 +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
254dc99fcb
TupleTreeGenerator: emit tracking machinery
2023-04-21 17:50:16 +02:00
19d59ffd73
Implement Segment::dump
2023-04-08 08:42:24 +02:00
6564fc0568
Minor changes
2023-04-08 08:42:24 +02:00
71f754f811
PDBImporter: declare our own FilterOptions
2023-04-08 08:42:24 +02:00
394111ed40
Add missing includes
2023-04-08 08:42:24 +02:00
dbcdad0a4d
Switch from llvm::Optional to std::optional
2023-04-08 08:42:24 +02:00
31b46de38c
Remove dead code and fix spurious warnings
...
Remove some dead code or introduce suppressions for spurious.
These are results of more accurate warnings in clang 16.
2023-04-08 08:42:23 +02:00
b866e9010e
ELFImporter: fix setting gp_mips canonical value
...
We used to set the canonical value of the MIPS gp register even in
absence of PLT, leading to a crash (specifically on archlinux librt.so).
2023-03-22 14:22:24 +01:00
956160e667
TypeCopier: Avoid copying the types twice
2023-03-22 11:38:12 +01:00
92dd38c603
TypeCopier: copy PrimitiveTypes only when needed
2023-03-16 15:39:55 +01:00
64856306c4
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
35956f46fe
DwarfImporter: leave a note about static functions
2023-03-15 10:19:03 +01:00
7c360eb8d1
PDBImporter: preserve x64 vector and clr ABIs
2023-03-15 10:19:03 +01:00
34b532c754
BinaryImporter: always promote original name
2023-03-15 10:19:03 +01:00
08b3764b23
BinaryImporter: prevent overlap in segment struct
2023-03-15 10:19:03 +01:00
17c128c59b
Make ABI depend on ModelPasses
...
Before now the dependency was the other way around
2023-03-15 10:19:03 +01:00
4d21a88777
Model: remove an obsolete function conversion pass
2023-03-15 10:19:03 +01:00
b19572ea67
Model: Leave a note about the alignment
2023-03-15 10:19:02 +01:00
84229d92b1
Model & ABI: make size and alignment stricter
2023-03-15 10:19:02 +01:00
01a05e2037
ABI: separate convertions based on the direction
2023-03-15 10:19:02 +01:00
f5679262e9
DwarfImporter: prevent removal of valid arrays
...
The algorithm was looking for any array qualifier on a zero-sized
type, which led to some valid types being discarded in the case
when there was a pointer qualifier in-between.
`void a[100]` is not a valid type, while void *a[100]` is.
2023-03-15 10:19:02 +01:00
726baf5318
Model: make Binary::recordNewType stricter
2023-03-15 10:19:02 +01:00
3687869795
Model: make AddPrimitiveTypes a pure analysis
2023-03-15 10:19:01 +01:00
11c0d7f02e
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
0b1aaeaede
Minor improvements
2023-03-15 10:19:01 +01:00
8886792ebb
Logger: ensure we consume llvm::Error
2023-02-23 14:51:03 +01:00
24a5705e12
Importer: Attach attributes when copying types
2023-02-16 11:07:52 +01:00
4dc2e92782
Introduce DocumentError
...
`DocumentError`s are the inteded way of propagating errors from the
pipeline to the frontend when a location is required to inform the user
of the error whereabouts.
2023-02-09 13:42:50 +01:00
ab36efca8d
Model: import data objects in Segment.Type
2023-02-06 12:08:18 +01:00
ea0a06a876
revng.daemon: accept no arguments for analysis
...
Let GraphQL accept zero or more parameters for analyses.
2023-02-06 09:37:23 +01:00
Pietro Fezzardi