Brad Larsen

Related: #1732 Related Discussion: #1670

Related discussion: #1670

Note additionally that the `Z3NotFoundError` is spurious: Z3 is definitely found.

It looks like the top-level Manticore process is getting stuck somewhere in this loop: https://github.com/trailofbits/manticore/blob/32f79f231b807465aff614d805af2917feb7c08e/manticore/core/worker.py#L74-L180

Note, this feels similar to the problem I reported in #950.

I have seen this sort of tree parsing error arise with `gix` several hundred times when examining the content of ~7500 Git repositories using [Nosey Parker](https://github.com/praetorian-inc/noseyparker). They probably are all...

> Could you also elaborate where `find_tree` is called, or where in NoseyParker it runs into this issue? > > I am asking because doing so allocates a vector, and...

@Byron thank you for the very fast response and patch! What was the root of the problem? Was that tree object badly formed somehow? I've tested Nosey Parker with the...

I have updated a local development copy of Nosey Parker to use the latest `gix` from `main`, with your additional fix in 8d05cae. I had to make a small change...

I've also switched to using `odb.find_tree_ref_iter` instead of `odb.find_tree`. Every performance-conscious detail like this matters!