37feb2dd77
Binary::verify: verify executable addresses
...
Fail if code addresses are not within an executable segment.
2024-11-28 14:04:36 +01:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
2a5d50630b
Model: adopt name builder in verification
2024-11-06 15:43:13 +02:00
0a3628e6fe
Model: introduce naming configuration
2024-11-06 15:42:44 +02:00
8c313a73af
Model: make sure segments use generic addresses
2024-10-08 13:53:52 +02:00
2cdedc71f4
s/serialize/toString/
...
We keep serialize for method dealing with streams.
If it returns a `std::string`, let's use `toString`.
2024-09-27 12:07:17 +02:00
d3b945c6c2
PECOFFImporter: use Generic Segment::StartAddress
2024-08-05 18:00:27 +02:00
4a2db0ba4f
UpcastablePointer: streamline empty behavior
2024-06-27 11:05:52 +02:00
2ae19ef30a
DynamicFunction: ban / in the name
2024-06-27 11:05:51 +02:00
776a5cdc52
Model: move path data away from the header
2024-06-27 11:05:51 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
925690a1e1
VerifyHelper: reduce pointer usage
2024-06-27 11:05:50 +02:00
b33eb7cf70
Model: reduce pointer usage in verify
2024-06-27 11:05:50 +02:00
e8288d1e70
Model: reorganize verifier order
...
This helps keeping track of them and making sure none of them is lost.
The order is bottom-to-top, so ends with `model::Binary::verify` and
contains verification of all of its dependencies in the order they
appear in their user's `verify`s, kind of like a flattened tree.
2024-06-27 11:05:49 +02:00
277cba213c
Model: separate verification
2024-06-27 11:05:49 +02:00
Alessandro Di Federico