def __init__(self, fs_name="NA"):
BaseChecker.__init__(self)
self.fs_name = fs_name
self.count = {}
self.count["path"] = 0
self.count["cond"] = 0
self.count["cond-conj"] = 0
self.count["call"] = 0
self.count["store"] = 0
def __init__(self, fs_name = "NA"):
BaseChecker.__init__(self)
self.fs_name = fs_name
self.count = {}
self.count["path"] = 0
self.count["cond"] = 0
self.count["cond-conj"] = 0
self.count["call"] = 0
self.count["store"] = 0
def __init__(self, check_all=False):
BaseChecker.__init__(self)
self.apis = dict()
self.colors = []
self.func_num = 0
self.check_all = check_all
def __init__(self):
BaseChecker.__init__(self)
self.rtn_funcs_dic = {} # {rtn, [list of functions]}*
self.cks = []
def __init__(self, rtn, pathbin):
BaseChecker.__init__(self, pathbin)
self.rtn = rtn
def __init__(self, check_all=False):
BaseChecker.__init__(self)
self.apis = dict()
self.colors = []
self.func_num = 0
self.check_all = check_all
def __init__(self, rtn, pathbin, symbol_tbl):
BaseChecker.__init__(self, pathbin)
self.rtn = rtn
self.symbol_tbl = symbol_tbl
def __init__(self):
BaseChecker.__init__(self)
self.rtn_funcs_dic = {} # {rtn, [list of functions]}*
self.symbol_tbl = SymbolTable()
self.cks = []
def __init__(self, name="NA"):
BaseChecker.__init__(self)
self.name = name
def __init__(self, rtn, pathbin, symbol_tbl):
BaseChecker.__init__(self, pathbin)
self.rtn = rtn
self.symbol_tbl = symbol_tbl
def __init__(self):
BaseChecker.__init__(self)
self.rtn_funcs_dic = {} # {rtn, [list of functions]}*
self.symbol_tbl = SymbolTable()
self.cks = []
def __init__(self):
BaseChecker.__init__(self)
self.colors = []
def __init__(self, name = "NA"):
BaseChecker.__init__(self)
self.name = name