gistfile1.txt

import string
import subprocess as sp
import os

def get_inscount():
	count = open('./inscount.out').read().strip()
	count = int(count.split(' ')[1])
	return count

def mk_input(s):
	s = ''.join(s)
	f = open('./input', 'w')
	print >> f, s.strip()

flag = list('?' * 8)
charset = ['q','i','e','e','v','t','i','t']

FNULL = open(os.devnull, 'w')

min_inscount = 203793
for c in charset:
	for i in xrange(len(charset)):
		if flag[i] == '?':
			flag[i] = c
			mk_input(flag)
			tmp = ''.join(flag)
			cmd = './pin -t inscount0.so -- ./abc < input'
			sp.call(cmd, shell=True, stdout=FNULL, stderr=FNULL)
			inscount = get_inscount()
			if inscount > min_inscount:
				min_inscount = inscount
				print 'New flag: ' + tmp
				break;
			flag[i] = '?'
print 'Flag: ' + ''.join(flag)