def getExecutable(self):
"""
Find the path to the executable file that will get executed.
This method always needs to be overridden,
and most implementations will look similar to this one.
"""
return Util.findExecutable('tool')
def getExecutable(self):
executable = Util.findExecutable('cpa.sh', 'scripts/cpa.sh')
executableDir = os.path.join(os.path.dirname(executable),"../")
if os.path.isdir(os.path.join(executableDir, 'src')):
self._buildCPAchecker(executableDir)
if not os.path.isfile(os.path.join(executableDir, "cpachecker.jar")):
logging.warning("Required JAR file for CPAchecker not found in {0}.".format(executableDir))
return executable
def getExecutable(self):
fallback = (
"lib/native/x86_64-linux/cbmc"
if platform.machine() == "x86_64"
else "lib/native/x86-linux/cbmc"
if platform.machine() == "i386"
else None
)
return Util.findExecutable("cbmc", fallback)
def _prepareSourcefile(self, sourcefile):
clangExecutable = Util.findExecutable("clang")
newFilename = sourcefile + ".o"
subprocess.Popen(
[clangExecutable, "-c", "-emit-llvm", "-std=gnu89", "-m32", sourcefile, "-O0", "-o", newFilename, "-w"],
stdout=subprocess.PIPE,
).wait()
return newFilename
def preprocessSourcefile(self, sourcefile):
gotoCcExecutable = Util.findExecutable('goto-cc')
# compile with goto-cc to same file, bith '.cc' appended
self.preprocessedFile = sourcefile + ".cc"
subprocess.Popen([gotoCcExecutable,
sourcefile,
'-o',
self.preprocessedFile],
stdout=subprocess.PIPE).wait()
return self.preprocessedFile
def getExecutable(self):
return Util.findExecutable('ecaverifier')
def getExecutable(self):
return Util.findExecutable('esbmc')
def getExecutable(self):
return Util.findExecutable('feaver_cmd')
def getExecutable(self):
return Util.findExecutable('threader.sh')
def getExecutable(self):
return Util.findExecutable('ufo.sh')
def getExecutable(self):
return Util.findExecutable('wolverine')
def getExecutable(self):
return Util.findExecutable('acsar')
def getExecutable(self):
return Util.findExecutable("lib/native/x86_64-linux/llbmc")
def getCmdline(self, blastExe, options, sourcefile):
workingDir = self.getWorkingDirectory(blastExe)
ocamlExe = Util.findExecutable('ocamltune')
return [os.path.relpath(ocamlExe, start=workingDir), os.path.relpath(blastExe, start=workingDir)] + options + [sourcefile]
def getExecutable(self):
return Util.findExecutable('evolcheck_wrapper')
def getExecutable(self):
return Util.findExecutable('pblast.opt')
def getExecutable(self):
return Util.findExecutable('satabs')
