Fix Python->Laurel: Havoc callee or Heap after unmodeled InstanceCall#978

shigoel merged 9 commits into

strata-org:mainstrata-org/Strata:mainfrom

thanhnguyen-aws:fixinstancecallhavocthanhnguyen-aws/Strata:fixinstancecallhavocCopy head branch name to clipboard