There's a lot of analysis infrastructure in the Aiwala repo that could be a useful component for cuanto. I will look into what makes sense to add, refactor, or combine with existing soot infrastructure, and then make a PR proposal for people to consider.
There's a lot of analysis infrastructure in the Aiwala repo that could be a useful component for cuanto. I will look into what makes sense to add, refactor, or combine with existing soot infrastructure, and then make a PR proposal for people to consider.