ctf-tools/python-pin/install

19 lines
504 B
Bash
Executable file

#!/bin/bash -e
curl https://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz | tar xz
export PIN_ROOT=$PWD/pin-2.14-71313-gcc.4.4.7-linux
git clone --depth 1 https://github.com/blankwall/Python_Pin.git
cd Python_Pin
make PIN_ROOT=$PIN_ROOT
cd ..
mkdir -p bin
cat <<END > bin/python-pin
#!/bin/bash -e
SCRIPT=\$1
shift
$PWD/pin-2.14-71313-gcc.4.4.7-linux/pin.sh -t $PWD/Python_Pin/obj-intel64/Python_Pin.so -m \$SCRIPT -- "\$@"
END
chmod 755 bin/python-pin