[panda-users] taint labelset iteration

[Manolis Stamatogiannakis]

Hello,

I'm using the tain2 plugin and I'm trying to iterate over the taint labels
of a buffer.
My code looks like this:

for (int32_t i=0; i<buflen; i++) {
uint32_t pa = panda_virt_to_phys(env, buf+i);
taint2_labelset_ram_iter(pa, label_print, NULL);
}

static int label_print(uint32_t el, void *sup) {
std::cout << " " << el;
return 0;
}

What doesn't seem right is that always the same value of 1 is printed. Am I
missing something in the API/configuration that prevents this from working?

Thanks,
M.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/panda-users/attachments/20160801/4a0cde2f/attachment.html