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
752 Commits 215 Branches 0 Tags
e8dfaa3a86fc9bed01f41cd7dff8620dab8881e1
Commit Graph

4 Commits

Author SHA1 Message Date
Pietro Fezzardi 36a525314a Detect isolated functions using FunctionTags 2021-04-27 21:19:06 +02:00
Pietro Fezzardi e95c21db25 Use Model to detect isolated functions 2021-02-23 10:39:05 +01:00
Pietro Fezzardi ad70251a7f SCEVBaseAddressExplorer: fix exploration of Values 
A logical bug prevented to properly identify some leaf Values in SCEVs
as base addresses, restricting such Value leaves to only be CallInst to
isolated Functions.
This commit fixes this bug and enables to identify base addresses that
are not CallInst.
 2021-02-02 11:23:53 +01:00
Pietro Fezzardi d01aa3b0fb Move SCEVBaseAddressExplorer to its own file 
This enables using it in the decompilation backend.
 2021-02-02 11:23:53 +01:00