57b5eb7f98
NameBuilder: allow different name checkers
2025-04-17 11:19:17 +03:00
645cf7fc2e
NameBuilder: sunset deduplication
...
This reworks NameBuilder to ease the transition to the system where
the model will be guaranteed to never contain any name collisions, both
between user-specified names and the automatic ones.
2025-04-15 16:35:42 +03:00
3edb6cbb9b
Minor improvements
2025-04-15 16:35:42 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
64446d0453
Adopt name builder across the model users
2024-11-06 19:18:53 +02:00
efbc5cdd5c
Introduce an error creation helper
2024-11-06 19:18:53 +02:00
8cd4ee3b59
Move Kinds.h to revng
2024-11-04 15:09:56 +01:00
2e4f4d09b9
Remaining FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
8a5ae5f9c1
s/ExecutionContext &Ctx/ExecutionContext &EC/g
2024-09-27 10:35:10 +02:00
94a0ad6b93
Adopt reworked model::Type
2024-06-27 11:07:01 +02:00
3705906074
Model: rename Type into TypeDefinition
2024-06-27 11:07:01 +02:00
5186a58053
s/FunctionMetadata/ControlFlowGraph/
2024-06-18 17:56:24 +02:00
0c212b66d9
Relicense to MIT
2024-02-29 17:03:36 +01:00
86e45461a0
Introduce pipeline execution context
2024-01-02 11:05:50 +01:00
75cfb52fce
DetectStackSize: handle CABIFunctionType
...
DetectStackSize only updates RawFunctionTypes. However it must also
handle CABIFunctionTypes, when met in a call site. This commit employs
abi::FunctionType::Layout to fix the situation.
2023-12-12 12:04:16 +01:00
d267c49a58
Minor changes
2023-12-12 12:04:13 +01:00
24cb43ce9c
Make RawFunctionType::StackArgumentsType a TTR
...
This is homogeneous with all other nullable references to types in the
model, such as the StackFrameType in model::Function, and others.
2023-12-05 16:56:52 +01:00
fdf5cf0325
Fix incorrect usage of TaggedFunctionKinds
...
A bug in revng allowed to use any TaggedFunctionKinds in place of any
other one. That bug has been fixed and the wrong usages in revng-c have
been updated.
2023-11-06 14:35:06 +01:00
cb8aa3d929
Adopt .prototype()
...
Also adopt `QualifiedType::getFunctionType` where appropriate in order
to unwrap typedefs.
2023-10-05 19:18:38 +02:00
489dddd0e7
TupleTreeReference::isValid is for assertions only
2023-08-23 16:37:39 +02:00
b206957e5f
DetectStackSizeAnalysis: fail if no Architecture
2023-04-14 14:54:14 +02:00
d33f339ec9
Adapt to revng.callerblock.start dismission
...
We no longer attach non-dbg metadata to instructions, it's not robust.
2023-04-14 14:54:14 +02:00
97883844d3
Fix initialization of FunctionTags
2023-01-17 11:11:46 +01:00
87aef3fbad
revng-c now uses Model accessors
2022-12-12 11:35:52 +01:00
335d402245
Change signatures to forward metadata cache.
2022-11-22 12:27:02 +01:00
370b081c0e
Moved kinds to kinds namespace
2022-08-25 17:09:15 +02:00
0ca87e8840
ModelHelpers: drop createEmptyStruct
...
`createEmptyStruct` has been upstreamed into revng.
2022-07-19 13:47:44 +02:00
b184360340
Make DetectStackSizePass into a pipeline analysis
2022-05-25 15:49:38 +02:00
ab125b35b0
Fix License headers
...
Change company name to "rev.ng Labs Srl" in all license headers
to reflect changed company name and legal status
Add missing license headers to files that didn't have one
2022-04-19 12:17:59 +02:00
36541ae5cd
QualifiedType RawFunctionType.StackArgumentsType
2022-04-08 17:58:06 +02:00
765219d58c
Support for control-flow graph out of the model
...
The control-flow graph has been taken out of the model. Related changes
to `getCallSitePrototype` have been here addressed.
2022-04-06 16:25:05 +02:00
77335d036a
Rename Lifted tag to Isolated
2022-03-17 14:08:05 +01:00
198ecd08d9
Update to new revng API for getCallSitePrototype
...
This commit updates the calls to getCallSitePrototype according to the
new API introduced in revng in commit 0659e6b6a3
2022-03-02 18:04:36 +01:00
48fcca58ae
DetectStackSize: limit stack arguments/frame size
2022-02-11 17:28:02 +01:00
7a910eeb48
PromoteStackPointer: ignore CABIFunctionType
2022-01-09 14:14:03 +01:00
818156e06a
DLA upgrades stack's and stack arguments' types
2022-01-04 16:21:07 +01:00
24f5515842
Import passes of the new stack promotion pipeline
2021-12-17 14:01:00 +01:00
Ivan Krysak