def create_if_supported(cls):
executable = find_executable('cpu-energy-meter', exitOnError=False, use_current_dir=False)
if executable is None: # not available on current system
logging.debug('Energy measurement not available because cpu-energy-meter binary could not be found.')
return None
return cls(executable)
def executable(self):
"""
Find the path to the executable file that will get executed.
The path returned should be relative to the current directory.
"""
executable = util.find_executable('pacman.sh')
return executable
def executable(self):
executable = util.find_executable('cpa.sh', 'scripts/cpa.sh')
executableDir = os.path.join(os.path.dirname(executable), os.path.pardir)
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 executable(self):
# Relative path to depthk wrapper
# return Util.find_executable('../../esbmc+depthk/depthk-wrapper.sh')
return Util.find_executable('depthk-wrapper.sh'
)
def executable(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.
The path returned should be relative to the current directory.
"""
return util.find_executable(self.BINS[0])
def _get_version(self):
"""
Determine the version based on map2check-wrapper.sh file
"""
exe_v6 = Util.find_executable('map2check-wrapper.sh', exitOnError=False)
if exe_v6:
return 6
else:
return 7
def _prepareInputfile(self, inputfile):
clangExecutable = util.find_executable("clang")
newFilename = inputfile + ".o"
subprocess.Popen(
[clangExecutable, "-c", "-emit-llvm", "-std=gnu89", "-m32", inputfile, "-O0", "-o", newFilename, "-w"],
stdout=subprocess.PIPE,
).wait()
return newFilename
def preprocessInputfile(self, inputfile):
gotoCcExecutable = util.find_executable('goto-cc')
# compile with goto-cc to same file, bith '.cc' appended
self.preprocessedFile = inputfile + ".cc"
subprocess.Popen([gotoCcExecutable,
inputfile,
'-o',
self.preprocessedFile],
stdout=subprocess.PIPE).wait()
return self.preprocessedFile
def executable(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.
The path returned should be relative to the current directory.
"""
exe = util.find_executable('bin/symbiotic', exitOnError=False)
if exe:
return exe
else:
# this may be the old version of Symbiotic
return OldSymbiotic.executable(self)
def executable(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.
The path returned should be relative to the current directory.
"""
def is_exec(fpath):
return os.path.isfile(fpath) and os.access(fpath, os.X_OK)
for b in [os.path.join("divine-svc", self.BINS[0]), self.BINS[0]]:
if is_exec(b):
return os.path.join(".", b)
return util.find_executable(self.BINS[0])
def _perform_binaries_check(self, additional):
try:
from benchexec.util import find_executable
except ImportError:
from .benchexec.util import find_executable
executables = ['clang', 'opt', 'llvm-link', 'llvm-nm', 'sbt-instr'
] + additional
for exe in executables:
exe_path = find_executable(exe)
if not os.path.isfile(exe_path):
err("Cannot find executable '{0}' ('{1}')".format(
exe, exe_path))
else:
dbg("'{0}' is '{1}'".format(os.path.basename(exe), exe_path))
def executable(self):
exec = util.find_executable('Ultimate.py')
for (dirpath, dirnames, filenames) in os.walk(exec):
if 'Ultimate' in filenames and 'plugins' in dirnames:
return exec
break
# possibly another Ultimate.py was found, check in the current dir
current = os.getcwd()
for (dirpath, dirnames, filenames) in os.walk(current):
if 'Ultimate' in filenames and 'Ultimate.py' in filenames and 'plugins' in dirnames:
return './Ultimate.py'
break
sys.exit("ERROR: Could not find Ultimate executable in '{0}' or '{1}'".
format(str(exec), str(current)))
def executable(self):
exe = util.find_executable("Ultimate.py")
for (dirpath, dirnames, filenames) in os.walk(exe):
if "Ultimate" in filenames and "plugins" in dirnames:
return exe
break
# possibly another Ultimate.py was found, check in the current dir
current = os.getcwd()
for (dirpath, dirnames, filenames) in os.walk(current):
if ("Ultimate" in filenames and "Ultimate.py" in filenames
and "plugins" in dirnames):
return "./Ultimate.py"
break
sys.exit("ERROR: Could not find Ultimate executable in '{0}' or '{1}'".
format(str(exe), str(current)))
def __init__(self, show_warnings=False):
self.reset_required = False
self.cli_exists = False
self.show_warnings = show_warnings
self.mon_process = None
self.executable_path = find_executable("pqos_wrapper",
exitOnError=False,
use_current_dir=False)
if self.executable_path is not None:
self.cli_exists = True
else:
if self.show_warnings:
logging.info(
"Unable to find pqos_wrapper, please install it for "
"cache allocation and monitoring if your CPU supports Intel RDT "
"(cf. https://gitlab.com/sosy-lab/software/pqos-wrapper).")
def _prepareInputfile(self, inputfile):
clangExecutable = util.find_executable('clang')
newFilename = inputfile + ".o"
subprocess.Popen([clangExecutable,
'-c',
'-emit-llvm',
'-std=gnu89',
'-m32',
inputfile,
'-O0',
'-o',
newFilename,
'-w'],
stdout=subprocess.PIPE).wait()
return newFilename
def executable(self):
exe = util.find_executable("Ultimate.py")
if exe:
for (_dirpath, dirnames,
filenames) in os.walk(os.path.dirname(exe)):
if "Ultimate" in filenames and "plugins" in dirnames:
return exe
break
# possibly another Ultimate.py was found or not found at all, check in the current dir
current = os.getcwd()
for (_dirpath, dirnames, filenames) in os.walk(current):
if ("Ultimate" in filenames and "Ultimate.py" in filenames
and "plugins" in dirnames):
return "./Ultimate.py"
break
sys.exit( # noqa: R503 always raises
"ERROR: Could not find Ultimate executable in '{0}' or '{1}'".
format(str(exe), str(current)))
def executable(self):
executable = util.find_executable("cpa.sh", "scripts/cpa.sh")
base_dir = os.path.join(os.path.dirname(executable), os.path.pardir)
jar_file = os.path.join(base_dir, "cpachecker.jar")
bin_dir = os.path.join(base_dir, "bin")
src_dir = os.path.join(base_dir, "src")
# If this is a source checkout of CPAchecker, we heuristically check that
# sources are not newer than binaries (cpachecker.jar or files in bin/).
if os.path.isdir(src_dir):
src_mtime = self._find_newest_mtime(src_dir)
if os.path.isfile(jar_file):
if src_mtime > os.stat(jar_file).st_mtime:
sys.exit("CPAchecker JAR is not uptodate, run 'ant jar'!")
elif os.path.isdir(bin_dir):
if src_mtime > self._find_newest_mtime(bin_dir):
sys.exit("CPAchecker build is not uptodate, run 'ant'!")
return executable
def executable(self):
#Relative path to map2check wrapper
return Util.find_executable('wrapper_script_map2check.sh')
def executable(self):
return util.find_executable('esbmc.sh')
def executable(self):
return util.find_executable('pblast.opt')
def executable(self):
return util.find_executable("bin/jpf-core-sv-comp")
def executable(self):
return util.find_executable("sea_svcomp", os.path.join("bin", "sea_svcomp"))
def executable(self):
"""
Tells BenchExec to search for 'smack' as the main executable to be
called when running SMACK.
"""
return util.find_executable('smack')
def executable(self):
return util.find_executable("skink.sh")
def executable(self):
return util.find_executable('feaver_cmd')
def executable(self):
return util.find_executable('hiptnt.sh')
def executable(self):
super(Tool, self).executable() # Makes sure that CPAchecker can be called, shows a warning otherwise
return util.find_executable('cpa_witness_exec.py', 'scripts/cpa_witness_exec.py')
def executable(self):
return util.find_executable('scripts/veriabs')
def executable(self):
return util.find_executable('mu-cseq.py')
def executable(self):
return util.find_executable("vvt-svcomp-bench.sh", os.path.join("bin", "vvt-svcomp-bench.sh"))
def executable(self):
return util.find_executable("legion-sv")
def executable(self):
return util.find_executable('llbmc')
def executable(self):
return util.find_executable('sv-ceagle')
def executable(self):
return util.find_executable('2ls')
def executable(self):
return util.find_executable('mu-cseq.py')
def executable(self):
return util.find_executable('javac')
def executable(self):
return util.find_executable('sea_svcomp')
def executable(self):
return util.find_executable('Ultimate.py')
def executable(self):
return util.find_executable("lazy-cseq.py")
def executable(self):
executable = util.find_executable('predatorHP.py')
executableDir = os.path.dirname(executable)
if not os.path.isfile(os.path.join(executableDir, "predator-build-ok")):
self._buildPredatorHp(executableDir)
return executable
def cmdline(self, blastExe, options, tasks, propertyfile, rlimits):
workingDir = self.working_directory(blastExe)
ocamlExe = util.find_executable('ocamltune')
spec = ["-propertyfile", propertyfile] if propertyfile is not None else []
svcompExe = util.find_executable('svcomprunner')
return [os.path.relpath(svcompExe, start=workingDir)] + [os.path.relpath(ocamlExe, start=workingDir), blastExe] + options + spec + tasks
def executable(self):
#Relative path to map2check wrapper
if self._get_version() == 6:
return Util.find_executable('map2check-wrapper.sh')
elif self._get_version() > 6:
return Util.find_executable('map2check-wrapper.py')
def executable(self):
return util.find_executable('tbf-testsuite-validator', 'bin/tbf-testsuite-validator')
def executable(self):
return util.find_executable("impara")
def executable(self):
return util.find_executable('cbmc')
def executable(self):
return util.find_executable("run-gacal.py")
def executable(self):
return util.find_executable('ceagle.sh')
def executable(self):
return util.find_executable("scripts/verifuzz.py")
def executable(self):
return util.find_executable('2ls')
def executable(self):
return util.find_executable('satabs')
def executable(self):
return util.find_executable('sea_svcomp',
os.path.join("bin", 'sea_svcomp'))
def executable(self):
super(Tool, self).executable(
) # Makes sure that CPAchecker can be called, shows a warning otherwise
return util.find_executable('cpa_witness_exec.py',
'scripts/cpa_witness_exec.py')
def executable(self):
executable = util.find_executable("hiprec")
return executable
def executable(self):
return util.find_executable("metaval.sh")
def executable(self):
return util.find_executable('sea_svcomp')
def executable(self):
return util.find_executable('forest')
