Alessandro Di Federico
36edf810ef
Introduce support for function pointers
2025-01-28 15:20:45 +01:00
Ivan Krysak
a0f4921e07
Minor improvements
2024-11-04 19:43:03 +02:00
Alessandro Di Federico
2e4f4d09b9
Remaining FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
Alessandro Di Federico
0cb3eedd37
Do not use CallBase::getCalledFunction
...
Use our wrapper, which does not return nullptr if the `FunctionType`s do
not match.
2024-08-07 15:40:56 +02:00
Pietro Fezzardi
05cc20cb6e
Rename MallocLike Tag to ReturnsPolymorphic
...
Also add this Tag to the LocalVariable opcode who was missing it.
2024-03-19 09:44:00 +01:00
Alessandro Di Federico
0c212b66d9
Relicense to MIT
2024-02-29 17:03:36 +01:00
Alessandro Di Federico
d267c49a58
Minor changes
2023-12-12 12:04:13 +01:00
Pietro Fezzardi
2bca392be3
Fix typo
2023-11-22 00:59:30 +01:00
Alessandro Di Federico
d19a7c0c5d
DLA: handle scPtrToInt
2023-11-20 15:52:34 +01:00
Pietro Fezzardi
10efe0f19d
DLA: switch to revng's isCallToIsolatedFunction
2023-07-10 12:30:35 +02:00
Pietro Fezzardi
e2791443fb
Remove extractvalue instructions in decompilation
...
Now extractvalue instruction are replaced by dedicated
OpaqueExtractValue custom opcode, that prevents LLVM from doing strange
things with extractvalues during optimizations (such as e.g. sinking).
This is important since extractvalue instructions and struct-typed
values in general in our LLVM IR are not real first-class citizens, but
only a byproduct of the binary lifting process, and they actually
represent bundles of registers that are returned from isolated
functions.
2023-06-30 10:48:59 +02:00
Alessandro Di Federico
ba05ddfaaf
DLA: handle ConstantPointerNull
2023-04-14 14:54:14 +02:00
Alessandro Di Federico
f86ca062b4
DLA: handle scSequentialUMinExpr
2023-04-14 14:54:14 +02:00
Pietro Fezzardi
bf83f40e3b
Move SCEVBaseAddressExplorer.h from public headers
2022-10-21 10:00:23 +02:00
Alvise de Faveri
221b8f74d9
Add reference semantics to stack opcodes
...
`revng_stack_frame` and `revng_stack_args` are treated as returning
a reference, and are always followed by an `AddressOf` call.
2022-06-28 10:23:45 +02:00
Giacomo Vercesi
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
Alessandro Di Federico
77335d036a
Rename Lifted tag to Isolated
2022-03-17 14:08:05 +01:00
Alessandro Di Federico
24f5515842
Import passes of the new stack promotion pipeline
2021-12-17 14:01:00 +01:00
Pietro Fezzardi
abee369841
Handle calls whose callee is not an llvm::Function
2021-12-14 16:57:41 +01:00
Pietro Fezzardi
f057441ce8
Fix linking
2021-08-20 11:21:04 +02:00