def _parse_rtn_paths(self, func, rtn, rtn_paths):
for rtn_path in rtn_paths:
if (not rtn_path.get_conds()) or (not rtn_path.get_calls()):
continue
for call in rtn_path.get_calls():
callee = call.get_feature()
if not self._is_valid(callee, func):
continue
# get full func now
callee = call.callname()
rtn = errno_to_str(rtn)
key = "%s on %s path" % (callee, rtn)
api = self.apis.get(key, ExternAPI(callee, rtn))
has_cond = False
for cond in rtn_path.get_conds():
feature = cond.get_feature()
if feature.find(callee) != -1:
vrange = self._parse_ranges(cond.get_ranges())
api.add(func, vrange)
has_cond = True
break
if not has_cond:
api.add(func, "")
self.apis[key] = api
def _parse_rtn_paths(self, func, rtn, rtn_paths):
for rtn_path in rtn_paths:
if (not rtn_path.get_conds()) or (not rtn_path.get_calls()):
continue
for call in rtn_path.get_calls():
callee = call.get_feature()
if not self._is_valid(callee, func):
continue
# get full func now
callee = call.callname()
rtn = errno_to_str(rtn)
key = "%s on %s path" % (callee, rtn)
api = self.apis.get(key, ExternAPI(callee, rtn))
has_cond = False
for cond in rtn_path.get_conds():
feature = cond.get_feature()
if feature.find(callee) != -1:
vrange = self._parse_ranges(cond.get_ranges())
api.add(func, vrange)
has_cond = True
break
if not has_cond:
api.add(func, "")
self.apis[key] = api
def _add_rtn_values(self, func, arg_list, current_paths, rtn_paths):
# if the return value is a function
# 1. find possible return values of this function
# 2. append current RetPath to the list of all poosible return values
# 3. append new RetPath to the current list
#
if func == "ERR_PTR":
self._add_rtn_value(arg_list, current_paths, rtn_paths)
return True
new_rtn_paths = self.get_rtn_paths(func)
if new_rtn_paths == None:
sys.stderr.write("_expand_rtn_value: cannot find return paths for function: %s\n" % func)
return False
for rtn_value, new_paths in new_rtn_paths.iteritems():
sys.stderr.write("_expand_rtn_value: expand return value (%s) from %s\n" % (rtn_value, func))
# add current path
rtn_value = errno_to_str(rtn_value)
paths_list = rtn_paths.get(rtn_value, list())
paths_list.extend(current_paths)
rtn_paths[rtn_value] = paths_list
# add new paths
self._add_rtn_value(rtn_value, new_paths, rtn_paths)
return True
def _add_rtn_values(self, func, arg_list, current_paths, rtn_paths):
# if the return value is a function
# 1. find possible return values of this function
# 2. append current RetPath to the list of all poosible return values
# 3. append new RetPath to the current list
#
if func == "ERR_PTR":
self._add_rtn_value(arg_list, current_paths, rtn_paths)
return True
new_rtn_paths = self.get_rtn_paths(func)
if new_rtn_paths == None:
sys.stderr.write(
"_expand_rtn_value: cannot find return paths for function: %s\n"
% func)
return False
for rtn_value, new_paths in new_rtn_paths.iteritems():
sys.stderr.write(
"_expand_rtn_value: expand return value (%s) from %s\n" %
(rtn_value, func))
# add current path
rtn_value = errno_to_str(rtn_value)
paths_list = rtn_paths.get(rtn_value, list())
paths_list.extend(current_paths)
rtn_paths[rtn_value] = paths_list
# add new paths
self._add_rtn_value(rtn_value, new_paths, rtn_paths)
return True
def _add_rtn_value(self, rtn_value, paths, rtn_paths):
# normalize errno
rtn_value = errno_to_str(rtn_value)
# expand function invocation if possible
paren_index = rtn_value.find('(')
if paren_index > 1:
rtn_func = rtn_value[0:paren_index]
arg_list = rtn_value[paren_index+1:-1]
if self._add_rtn_values(rtn_func, arg_list, paths, rtn_paths):
return
# if not a function or expand fails
paths_list = rtn_paths.get(rtn_value, list())
paths_list.extend(paths)
rtn_paths[rtn_value] = paths_list
def _add_rtn_value(self, rtn_value, paths, rtn_paths):
# normalize errno
rtn_value = errno_to_str(rtn_value)
# expand function invocation if possible
paren_index = rtn_value.find('(')
if paren_index > 1:
rtn_func = rtn_value[0:paren_index]
arg_list = rtn_value[paren_index + 1:-1]
if self._add_rtn_values(rtn_func, arg_list, paths, rtn_paths):
return
# if not a function or expand fails
paths_list = rtn_paths.get(rtn_value, list())
paths_list.extend(paths)
rtn_paths[rtn_value] = paths_list
def report(self, report_all = True):
print("%s[C] [%7s] [%.6s] [%23s] [%s]%s"% \
(Color.HEADER,\
"Ranking", "Distance", "Funtion", "Missing Conditions", \
Color.ENDC))
for (ranking, result) in enumerate(self.results):
distance = result[0]
cv = result[1]
if not report_all and distance <= self.avg_distance:
break
(cc, ac, l) = self._get_color_code(result)
delta = distance - self.avg_distance
print("%s[%s] %7s %.6s %23s %s%s"% \
(cc, ac, \
ranking+1, delta, \
''.join((cv.get_func_name(), \
':', \
errno_to_str(cv.get_rtn()))), \
Color.ENDC, \
cv.get_missing_conditions(delta * 0.7)))
print("")
def get_rtn_values(self):
rtn_values = []
for rv in self.rtn_dic.keys():
rtn_values.append( errno_to_str(rv) )
return rtn_values
