21d9cb56a0
Ban functions in .bss
2025-11-05 12:02:58 +01:00
53a5ff07cf
Remove embedded TUPLE-TREE-YAML
2025-04-30 15:08:45 +02:00
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
288448f009
Never include model::VerifyHelper from headers
2025-02-13 13:09:50 +02:00
d2d32b304e
Model: improve documentation
2024-12-11 16:15:09 +01:00
8e3c9c0788
Model: remove obsolete name methods
2024-11-06 15:43:13 +02:00
4a2db0ba4f
UpcastablePointer: streamline empty behavior
2024-06-27 11:05:52 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
9e6bf29f74
TTG: pull dump helper into the template
2024-06-27 11:05:49 +02:00
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
d07d6c4f1f
Drop leftover Section.h
2024-06-20 10:24:49 +02:00
47c3dd8f0f
Drop model::Segment::Sections
2024-05-22 10:25:25 +02:00
48b27af795
Make Segment::Type a TupleTreeReference
...
This is homogeneous with all other nullable reference to types in the
model, like the StackFrameType in model::Function, and others.
2023-12-05 16:19:38 +01:00
485ef34a12
Model: add Comment field all across the board
2023-07-21 17:25:24 +02:00
742e1a0c56
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01: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
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
186d907be3
Model: extend model::Segment
...
`Segment` now includes a `Type` of struct kind. This is intended to
emit the segment as a struct later in decompilation. The implementation
of name has also been added.
2022-07-22 16:10:51 +02:00
a88a9e52c3
Improve model::Segment
2022-03-08 13:06:47 +01:00
97f0941aee
Introduce model::Section
2022-03-08 12:26:07 +01:00
54fcc1d7fe
struct_impl.cpp.tpl: include headers in any case
2022-01-27 11:51:03 +01:00
74217b4fe5
Generate C++ model from YAML definition
...
Model classes are now described by a YAML document, which is used to
generate C++ headers containing classes and all the boilerplate
required for YAML serialization/deserialization, usage in
SortedVectors, etc. See the README in include/revng/Model for more
info.
2022-01-13 14:34:11 +01:00
Alessandro Di Federico