def __init__(self, parent, config, is_stream=False, trace=None):
DefaultAnalysis.__init__(self, parent, config, is_stream, trace)
self.actions = {self.ANNOT_CODE: (self.annotate_code, False),
self.HIGHLIGHT_DEAD_BRANCHES: (self.highlight_dead, False)}
self.results = POResults()
self.marked_addresses = {}
self.result_widget = StandardResultWidget(self)
def __init__(self, parent, config, is_stream=False, trace=None):
DefaultAnalysis.__init__(self, parent, config, is_stream, trace)
self.actions = {
self.ANNOT_CODE: (self.annotate_code, False),
self.GENERATE_PLOT: (self.generate_chart, False)
}
self.results = CallRetResults()
self.result_widget = StandardResultWidget(self)
def __init__(self, parent, config, is_stream=False, trace=None):
DefaultAnalysis.__init__(self, parent, config, is_stream, trace)
self.results = GenericResults(
config.additional_parameters.generic_params)
self.result_widget = GenericAnalysisResultWidget(self)
self.actions = {
self.ANNOT_CODE: (self.annotate_code, False),
self.HIGHLIGHT_CODE: (self.highlight_dependency, False),
self.GRAPH_DEPENDENCY: (self.graph_dependency, False),
self.DISASS_UNKNOWN_TARGET: (self.disassemble_new_targets, False)
}
self.addresses_lighted = set()
self.backup_comment = {}
self.formula = SMTFormula()
def __init__(self, parent, config, is_stream=False, trace=None):
DefaultAnalysis.__init__(self, parent, config, is_stream, trace)
self.actions = { # ANNOT_CODE: (self.annotate_code, False),
# GENERATE_PLOT: (self.generate_chart, False),
HIGHLIGHT_DEAD_CODE: (self.highlight_dead_code, False),
HIGHLIGHT_SPURIOUS_CALCULUS: (self.highlight_spurious, False),
EXPORT_RESULT: (self.export_result, False),
EXTRACT_REDUCED_CFG: (self.extract_reduced_cfg, False)
}
self.results = {}
self.result_widget = StandardResultWidget(self)
self.result_widget.verticalLayout.addLayout(
self.make_progress_bar(self.result_widget))
self.STOP = False
self.functions_cfg = {}
self.functions_candidates = {}
self.functions_spurious_instrs = {}
self.po = po_analysis_results()
self.k = -1
self.report = HTMLReport()
self.report.add_title("Opaque predicates Detection", size=2)
self.exec_time_dep = 0
self.exec_time_total = 0