9 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	d3b945c6c2	PECOFFImporter: use Generic Segment::StartAddress	2024-08-05 18:00:27 +02:00
Ivan Krysak	4a2db0ba4f	UpcastablePointer: streamline empty behavior	2024-06-27 11:05:52 +02:00
Ivan Krysak	2ae19ef30a	DynamicFunction: ban / in the name	2024-06-27 11:05:51 +02:00
Ivan Krysak	776a5cdc52	Model: move path data away from the header	2024-06-27 11:05:51 +02:00
Ivan Krysak	dfa7478685	Adopt reworked model::Type	2024-06-27 11:05:51 +02:00
Ivan Krysak	925690a1e1	VerifyHelper: reduce pointer usage	2024-06-27 11:05:50 +02:00
Ivan Krysak	b33eb7cf70	Model: reduce pointer usage in verify	2024-06-27 11:05:50 +02:00
Ivan Krysak	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
Ivan Krysak	277cba213c	Model: separate verification	2024-06-27 11:05:49 +02:00