[panda-users] taint labelset iteration

[Hulin, Patrick - 0559 - MITLL]

I think I can guess what the problem is. One second – let me take a look.

 

From: panda-users-bounces at mit.edu [mailto:panda-users-bounces at mit.edu] On Behalf Of Manolis Stamatogiannakis
Sent: Monday, August 01, 2016 7:30 AM
To: panda-users at mit.edu
Subject: [panda-users] taint labelset iteration

 

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/60b9ab85/attachment-0001.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5481 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/panda-users/attachments/20160801/60b9ab85/attachment-0001.bin