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
Massimo Fioravanti