admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
991 Commits 215 Branches 0 Tags
36541ae5cddb9f2b12a657ad0141262f8928eb7b
Commit Graph

8 Commits

Author SHA1 Message Date
Pietro Fezzardi 36541ae5cd QualifiedType RawFunctionType.StackArgumentsType 2022-04-08 17:58:06 +02:00
Antonio Frighetto 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
Alessandro Di Federico 77335d036a Rename Lifted tag to Isolated 2022-03-17 14:08:05 +01:00
Pietro Fezzardi 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
Alessandro Di Federico 48fcca58ae DetectStackSize: limit stack arguments/frame size 2022-02-11 17:28:02 +01:00
Alessandro Di Federico 7a910eeb48 PromoteStackPointer: ignore CABIFunctionType 2022-01-09 14:14:03 +01:00
Pietro Fezzardi 818156e06a DLA upgrades stack's and stack arguments' types 2022-01-04 16:21:07 +01:00
Alessandro Di Federico 24f5515842 Import passes of the new stack promotion pipeline 2021-12-17 14:01:00 +01:00