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
04d877a992
TypeSystemPrint: fix print without stack type
2023-02-02 14:49:46 +01:00
8f95f14f12
CrossModelFindType: consider ExportedNames
2023-01-27 17:54:08 +01:00
fec0ec7034
Model: add ExportedNames for local Functions
2023-01-27 17:54:06 +01:00
55d098b994
DwarfImporter: parse DW_AT_ranges
2023-01-27 17:54:03 +01:00
83905cf5ed
Fix the level for FetchDebugInfo
2023-01-27 17:53:47 +01:00
3e75c09da0
dropTypesDependingOnTypes: purge from Function too
...
This commit ensure that, not only we drop `model::DynamicFunction`s
depending on an invalid type, but `model::Function`s are dropped too.
2023-01-27 17:48:19 +01:00
0f7c473cf3
FixModel: factor out logic of type deletion
2023-01-27 17:46:23 +01:00
5be245c971
FixModel: filter zero-sized fields
2023-01-27 17:46:21 +01:00
e1b070f2da
FixModel: filter out empty arrays
2023-01-27 17:46:18 +01:00
74c840a9f5
DwarfImporter: set prototype only if available
2022-12-13 11:27:23 +01:00
8976ab4126
DwarfImporter: handle DW_AT_noreturn
2022-12-13 11:27:16 +01:00
961f9e5461
Model: search debug info locally upon import
...
Also find prototypes in Models of dynamic libs for both PE and ELF.
2022-12-13 11:26:54 +01:00
742e1a0c56
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
0d3133cfc9
Fix missing includes
...
This ensures headers make sense on their own, without implicit
assumption about includers to also include other headers before them.
2022-12-09 18:09:39 +01:00
0245bf81d7
stringAsPath: externalize
2022-12-09 10:11:27 +01:00
693b361e4a
TupleTree: externalize several methods
2022-12-09 09:08:40 +01:00
de976fab13
Externalize ModelWrapper::get*Model
2022-12-09 09:07:16 +01:00
446db0b62c
Model type purge: do not purge primitives
2022-11-30 15:06:54 +01:00
df30792435
PrimitiveType: support for 80 and 96 bits types
...
This commit completes the support of various rare PrimitiveTypes, that
has been added opportunistically over time and has remained inconsistent
across the codebase:
- float80_t
- float96_t
- generic80_t
- generic96_t
The first two are necessary because on some platforms long double is
either 10 or 12 bytes wide.
The second two are necessary because the Generic PrimitiveType should
allow all non-zero byte sizes allowed by any other PrimitiveType.
2022-11-30 15:06:54 +01:00
8bf90e8bfd
QualifiedType::isScalar: true for model::EnumType
2022-11-30 15:06:54 +01:00
580ac34bf8
DwarfImporter: set Architecture if Invalid
2022-11-30 15:06:54 +01:00
207668070a
QualifiedType: add argument-less isPrimitive()
2022-11-30 15:06:54 +01:00
b83edd61c0
DwarfImport: fix handling of local functions
2022-11-30 15:06:54 +01:00
fd0914b460
QualifiedType: add isConst method
2022-11-22 10:12:31 +01:00
5a99154196
Put Python packages into lib/python*/site-packages
2022-10-11 19:08:10 +02:00
43cb77e6a3
TypeSystemPrinter: route edge to the top of nodes
2022-10-06 17:53:47 +02:00
9363bbd70a
Pipeline: every container type has now a C++ type
2022-09-29 15:51:17 +02:00
247710648f
Minor changes
2022-09-26 10:33:43 +02:00
5559d8431b
Introduce fix-model model pass
2022-09-21 18:37:36 +02:00
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
2abd250ae0
model: Skip nameless dyn functions in PE
2022-08-31 18:07:47 +02:00
915c083661
Pipes: reorganize who defines pipes
2022-08-29 14:44:35 +02:00
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
6a6cd939db
Rework EarlyFunctionAnalysis
2022-08-08 13:55:34 +02:00
b07d134b73
Introduce CanonicalRegisterValues in the model
...
These canonical values ease certain analysis that can assume their value
at function entry.
2022-08-08 13:55:25 +02:00
0566381ecf
ELFImporter: make importing more robust
2022-08-08 13:55:25 +02:00
e0e8b4e5b6
ELFImporter.cpp: s/Log/ELFImporterLog/
2022-08-08 13:55:25 +02:00
81c2a93add
Normalize FilePortion
2022-08-08 13:54:41 +02:00
65d1a016d4
Standardize concept naming across the codebase
2022-08-05 17:27:56 +03:00
c2651f7218
importBinary: fail if no architecture is specified
2022-08-04 17:27:06 +02:00
1243d1061c
Introduce revng model hard-purge
...
In addition, introduce a new model Pass:
revng model opt -prune-unsused-types
2022-07-28 15:02:55 +02:00
Ivan Krysak