The analyzer is now capable of discovering structs that occupy more than one word of storage when they are used as mapping values. The tests have been updated to reflect this, and we discover a significant number of manually-packed encodings in the benchmark contracts accurately.
Summary
The analyzer is now capable of discovering structs that occupy more than one word of storage when they are used as mapping values. The tests have been updated to reflect this, and we discover a significant number of manually-packed encodings in the benchmark contracts accurately.
Details
N/A
Checklist