solidity:abiv2_isabelle_ossfuzz: Segv on unknown address in abiv2_isabelle_ossfuzz

Detailed Report: https://oss-fuzz.com/testcase?key=4833370093780992 Project: solidity Fuzzing Engine: libFuzzer Fuzz Target: abiv2isabelleossfuzz Job Type: libfuzzerasansolidity Platform Id: linux Crash Type: Segv on unknown address Crash Address: Crash State: abiv2isabelleossfuzz Sanitizer:...