Hello hello
I am using drvector to store a dynamic list (as expected) and need to regularly clear all the elements of the vector throughout the lifespan of the client
I found the drvector_clear method in the docs, and it seems like it would be ideal for this, but it is nowhere to be found in drvector.h. I am using the latest version of DynamoRIO
Why don't I have access to it?
Right now I'm doing drvector_delete followed by drvector_init to clear a vector, which doesn't seem ideal.
Also I don't know if this is a bug, but doing drvector_init, drvector_delete, then drvector_append doesn't cause issues and appends to the vector fine, but doing drvector_delete again and then drvector_append makes drvector_append crash the client, which is strange.....