Problem with some binaries

[Corallo]

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?

[ChrisTheCoolHut]

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.

[Corallo]

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...

[ChrisTheCoolHut]

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.

[Corallo]

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

[ChrisTheCoolHut]

Sorry, would you try it with "examples/crypt4" not just "crypt4" it needs to be able to see the crypt4 example file

[ghaith99]

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