Sanjay Rawat

I am a new-comer as far as Pintools are concerned, but from what you are suggesting, i guess it may give erroneous results. You are suggesting to increment count in...

bbc.out file is created by the pintool (bbcounts.so). So my guess is that your pintool is not working. You can check this by running only the pintool (for the argument...

you are almost there.. -t should be followed by the path of the pintool that you created by compiling bbcounts.cpp. if everything went well, you should have a directory "obj-intel64...

you did not prove the right commandline. /path-to-pin/pin -tool_exit_timeout 1 -t path-to-vuzzer64/fuzzer-code/obj-intel64/bbcounts2.so -o ./outd/bbc.out -x 0 -libc 0 -l '' -- path-to-vuzzer64/fuzzer-code/bin/who - please note the after -l we have...

Could be the case. try running only "who" without pin and see if you get the segfault. if you get segfault, then your who is problematic.

Hi Chen, Sorry about not being able to respond. I have just relocated to a different country and trying to settling in. I will get back to it ASAP.

aha.. thats clearly a wrong description. it is about how many different labels we want to track for a single byte. if the operand of a cmp depends on too...

Hi, Sorry about not being able to respond. I have just relocated to a different country and trying to settling in. I will get back to it ASAP. meanwhile, if...

Hi @cgr71ii you can download tthe entire LAVA-M dataset from https://sites.google.com/site/steelix2017/home/lava and compile it for 64-bit. it should work well. Unfortunately, I am not able to update the LAVA-M binaries...

This is great. Thank you @cgr71ii And really sorry for responding to this contribution soooo late. I will add these binaries into the repo.