code: function validateVuln (doc) {
  	log(`validateVuln: doc ${JSON.stringify(doc)}`);
  	const validateVulnQuery = { pattern: doc.pattern, language: doc.language, evilInput: doc.evilInput, nPumps: 250000, timeLimit: 1 };
  
  	const tmpFile = `/tmp/validate-uploads-${process.pid}.json`;
  	fs.writeFileSync(tmpFile, JSON.stringify(validateVulnQuery));
  
  	try {
  		const cmd = `${process.env.VULN_REGEX_DETECTOR_ROOT}/src/validate/validate-vuln.pl ${tmpFile} 2>/dev/null`;
  		const stdout = childProcess.execSync(cmd, {encoding: 'utf8'});
  		const result = JSON.parse(stdout);
  		log(JSON.stringify(result));
  		return result.timedOut === 1;
  	} catch (e) {
  		log(`Error: ${JSON.stringify(e)}`);
  		return false;
  	} finally {
  		fs.unlinkSync(tmpFile);
  	}
  }
docs: Return true if doc is truthful (describes a vulnerable regex), else false.