PinCTF
PinCTF copied to clipboard
ChrisTheCoolHut
Problem with some binaries
Hi, I'm trying this very nice tool with some binary, but sometimes it seems not to work. It happens even with one of the example binary, so I presume it is a problem caused by something I do wrong. when I launch: ./pinCTF.py -f $(pwd)/examples/crypt4 -a -sl 26 --threading -tc 4
I get: https://i.gyazo.com/2f9d45875e9a438bec445b9d7dc1466d.png
The other 2 examples work fine, but I get the same problem in others binaries.. any ideas about what I'm doing wrong?
I'm having trouble replicating this.
Can you verify that inscount is getting made?
That error you're getting is produced by the "read_count" function. So it's having trouble reading from that file. Which means that file is either not getting created or it can't read it.
If it's not being built can you try running your command with:
-l $(pwd)/obj-ia32/
The config may be running with the 64bit libraries by default.
After a cleaner installation: new ubuntu 18.04 virtual machine after the end of the installation I did only: sudo apt-get install git sudo apt-get install python git https://github.com/ChrisTheCoolHut/PinCTF.git chmod -R 777 ./PinCTF ./install.sh
Now every example file work fine, but with mine I get: https://i.gyazo.com/f0bb72825db48e2ff7ea647b220332ac.png in Config.ini I just added few chars in the seed: https://gyazo.com/7e96dfd472c5b3528917195197d615b8
Adding -l $(pwd)/obj-ia32/ doesn't fix, i'm sure the binary is on 32bit: https://gyazo.com/30f93e09616207b1121c00c78072fcf2
I'm a novice, don't really know what info I can provide to get the problem more clear...
hmmm can you try
echo A | pin/pin -t obj-ia32/inscount0.so -- crypt4
and see if inscount gets created? Maybe pin didn't install right.
I'm sorry... I forgot to give the execute permission to the file... That's why Pin wasn't working
now I get again the error "empty set", also tried what you said but I don't think I understand: https://gyazo.com/22b76cfc7907bafa8e61006ffdd4380b
inscount doesn't get created when I write
echo A | pin/pin -t obj-ia32/inscount0.so -- crypt4
but it gets created when the script runs
Sorry, would you try it with "examples/crypt4" not just "crypt4" it needs to be able to see the crypt4 example file
Sorry, would you try it with "examples/crypt4" not just "crypt4" it needs to be able to see the crypt4 example file
running it on crypt4, I get error as shown
