Index

_

__call__() (cozy.concolic.heuristics.ArbitraryCandidate method) (cozy.concolic.heuristics.BBTransitionCandidate method) (cozy.concolic.heuristics.CompleteTermination method) (cozy.concolic.heuristics.CoverageTermination method) (cozy.concolic.heuristics.CyclomaticComplexityTermination method) __iter__() (cozy.analysis.Comparison method) __str__() (cozy.session.RunResult method) _any() (cozy.underconstrained.SimConcretizationStrategyUnderconstrained method) _apply_underconstrained_machine_state() (cozy.session.Session method) _call() (cozy.session.Session method) _concretize() (cozy.underconstrained.SimConcretizationStrategyUnderconstrained method) (in module cozy.concrete) _default_value() (cozy.underconstrained.DefaultMemoryUnderconstrained method) _ExploreMode (class in cozy.concolic.exploration) _generate_comparison() (in module cozy.execution_graph) _generate_concrete() (cozy.concolic.exploration.ConcolicSim method) (cozy.concolic.exploration.JointConcolicSim method) _get_bbl_asm() (cozy.execution_graph.ExecutionGraph method) _has_syscall() (cozy.execution_graph.ExecutionGraph method) _initialize_regs() (cozy.session.Session method) _invalid_stack_addrs() (in module cozy.analysis)

_invalid_stack_overlap() (in module cozy.analysis) _list_actions() (cozy.execution_graph.ExecutionGraph method) _list_simprocs() (cozy.execution_graph.ExecutionGraph method) _malloc_name_ctr (in module cozy.primitives) (in module cozy.session) _mem_write_ctr (in module cozy.session) _on_mem_write() (in module cozy.session) _on_simprocedure() (in module cozy.session) _run_result() (cozy.session.Session method) _save_states() (in module cozy.session) _serialize_diff() (in module cozy.execution_graph) _serialized_field_diff() (in module cozy.execution_graph) _session_exploration() (cozy.session.Session method) _SessionBasicExploration (class in cozy.session) _SessionDirectiveExploration (class in cozy.session) _SessionExploration (class in cozy.session) _set_replacement_dict() (cozy.concolic.exploration.ConcolicSim method) _stack_addrs() (in module cozy.analysis) _std_err (cozy.terminal_state.TerminalState attribute) _std_out (cozy.terminal_state.TerminalState attribute) _swap_explore_mode() (cozy.concolic.exploration.JointConcolicSim method)

A

add_constraints() (cozy.session.Session method) add_directives() (cozy.session.Session method) add_prototype() (cozy.project.Project method) addr (cozy.directive.Assert attribute) (cozy.directive.Assume attribute) (cozy.directive.Breakpoint attribute) (cozy.directive.ErrorDirective attribute) (cozy.directive.VirtualPrint attribute) angr_proj (cozy.project.Project attribute) ArbitraryCandidate (class in cozy.concolic.heuristics) arch (cozy.project.Project property) args (cozy.concrete.CompatiblePairInput attribute) (cozy.concrete.TerminalStateInput attribute) (cozy.session.UnderconstrainedMachineState property) ask_file() (cozy.__main__.Wizard method) ask_string() (cozy.__main__.Wizard method)

ask_yes_no() (cozy.__main__.Wizard method) Assert (class in cozy.directive) ASSERT_CAN (cozy.directive.AssertType attribute) ASSERT_CAN_GLOBAL (cozy.directive.AssertType attribute) ASSERT_MUST (cozy.directive.AssertType attribute) assert_type (cozy.directive.Assert attribute) (cozy.directive.Postcondition attribute) AssertFailedState (class in cozy.terminal_state) assertion (cozy.terminal_state.AssertFailedState attribute) assertion_triggered (cozy.session.RunResult property) asserts_failed (cozy.session._SessionExploration attribute) (cozy.session.RunResult attribute) asserts_to_scrub (cozy.session._SessionExploration attribute) AssertType (class in cozy.directive) Assume (class in cozy.directive) assume_warnings (cozy.session._SessionExploration attribute) (cozy.session.RunResult attribute)

B

B (in module cozy.functools_ext) base_effect (cozy.side_effect.ConcretePerformedSideEffect attribute) BBTransitionCandidate (class in cozy.concolic.heuristics) block_addrs (cozy.concolic.heuristics.CoverageTermination attribute) body (cozy.side_effect.ConcretePerformedSideEffect attribute) (cozy.side_effect.PerformedSideEffect attribute)

body_diff (cozy.analysis.NotEqFieldDiff attribute) Box (class in cozy.underconstrained) Breakpoint (class in cozy.directive) breakpoint_fun (cozy.directive.Breakpoint attribute)

C

C (in module cozy.functools_ext) cache_intermediate_info (cozy.session._SessionExploration attribute) cached_cfg (cozy.project.Project attribute) candidate_heuristic_left (cozy.concolic.exploration.JointConcolicSim attribute) (cozy.concolic.session.JointConcolicSession attribute) candidate_heuristic_right (cozy.concolic.exploration.JointConcolicSim attribute) (cozy.concolic.session.JointConcolicSession attribute) cfg (cozy.project.Project property) (cozy.stubs.Stubber attribute) cg (cozy.stubs.Stubber attribute) check_only_recent_constraints (cozy.concolic.exploration.ConcolicSim attribute) check_postconditions() (cozy.session._SessionDirectiveExploration method) compare_side_effect() (in module cozy.analysis) compare_std_err (cozy.analysis.CompatiblePair attribute) compare_std_out (cozy.analysis.CompatiblePair attribute) Comparison (class in cozy.analysis) CompatiblePair (class in cozy.analysis) CompatiblePairInput (class in cozy.concrete) complete (cozy.__main__.Stage attribute) complete() (cozy.__main__.Wizard method) CompleteTermination (class in cozy.concolic.heuristics) compose() (cozy.__main__.Wizard method) (in module cozy.functools_ext) ConcolicSim (class in cozy.concolic.exploration) concrete_examples() (cozy.analysis.CompatiblePair method) (cozy.terminal_state.TerminalState method) concrete_post_processor (cozy.directive.VirtualPrint attribute) (cozy.side_effect.ConcretePerformedSideEffect attribute) (cozy.side_effect.PerformedSideEffect attribute) ConcretePerformedSideEffect (class in cozy.side_effect) concretization_strategy (cozy.session.UnderconstrainedMachineState attribute) cond (cozy.terminal_state.AssertFailedState attribute) (cozy.terminal_state.PostconditionFailedState attribute) condition_fun (cozy.directive.Assert attribute) (cozy.directive.Assume attribute) (cozy.directive.Postcondition attribute) confirm_script_clobber (cozy.__main__.Stage attribute) confirm_start (cozy.__main__.Stage attribute) constrain_addr() (cozy.underconstrained.SimConcretizationStrategyUnderconstrained method) copy() (cozy.underconstrained.DefaultMemoryUnderconstrained method) cores (cozy.analysis.StateDiff attribute) coverage_fraction (cozy.concolic.heuristics.CoverageTermination attribute) CoverageTermination (class in cozy.concolic.heuristics) cozy module cozy.__main__ module cozy.analysis module cozy.claripy_ext module

cozy.concolic module cozy.concolic.exploration module cozy.concolic.heuristics module cozy.concolic.session module cozy.concrete module cozy.constants module cozy.directive module cozy.execution_graph module cozy.functools_ext module cozy.hooks module cozy.hooks.strlen module cozy.hooks.strncmp module cozy.hooks.strtok_r module cozy.log module cozy.primitives module cozy.project module cozy.server module cozy.session module cozy.side_effect module cozy.stubs module cozy.terminal_state module cozy.types module cozy.underconstrained module critical() (in module cozy.log) CSS (cozy.__main__.Wizard attribute) cyclomatic_complexity (cozy.concolic.heuristics.CyclomaticComplexityTermination attribute) CyclomaticComplexityTermination (class in cozy.concolic.heuristics)

D

deadended (cozy.session.RunResult attribute) DeadendedState (class in cozy.terminal_state) debug() (in module cozy.log) default_backer (cozy.session.UnderconstrainedMachineState attribute) (cozy.underconstrained.DefaultMemoryUnderconstrained attribute) DefaultMemoryUnderconstrained (class in cozy.underconstrained) deferred_stash (cozy.concolic.exploration.ConcolicSim attribute)

difference() (cozy.analysis.StateDiff method) DiffResult (class in cozy.analysis) Directive (class in cozy.directive) directives (cozy.session.Session attribute) disable() (in module cozy.log) do_GET() (cozy.server.VizHandler method) dump_bbp_pp_cytoscape() (cozy.execution_graph.ExecutionGraph method) dump_comparison() (in module cozy.execution_graph)

E

effect_concrete_post_processor() (cozy.directive.VirtualPrint method) EqFieldDiff (class in cozy.analysis) equal() (cozy.analysis.CompatiblePair method) equal_side_effects() (cozy.analysis.CompatiblePair method) error (cozy.terminal_state.ErrorState attribute) error() (in module cozy.log) ErrorDirective (class in cozy.directive) errored (cozy.session.RunResult attribute) ErrorState (class in cozy.terminal_state) ExecutionGraph (class in cozy.execution_graph)

explore() (cozy.concolic.exploration.JointConcolicSim method) (cozy.session._SessionBasicExploration method) (cozy.session._SessionDirectiveExploration method) (cozy.session._SessionExploration method) EXPLORE_LEFT (cozy.concolic.exploration._ExploreMode attribute) explore_mode (cozy.concolic.exploration.JointConcolicSim attribute) EXPLORE_RIGHT (cozy.concolic.exploration._ExploreMode attribute) extra_constraints (cozy.underconstrained.SimConcretizationStrategyUnderconstrained attribute) extra_constraints_symbols (cozy.underconstrained.SimConcretizationStrategyUnderconstrained attribute) extract_func() (cozy.stubs.Stubber method)

F

FieldDiff (class in cozy.analysis) filter() (cozy.concolic.exploration.ConcolicSim method) find_symbol_addr() (cozy.project.Project method) fmap() (in module cozy.functools_ext) from_fun_offset() (cozy.directive.Assert static method) (cozy.directive.Assume static method) (cozy.directive.Breakpoint static method) (cozy.directive.ErrorDirective static method) (cozy.directive.VirtualPrint static method)

from_session() (cozy.concolic.heuristics.CoverageTermination static method) (cozy.concolic.heuristics.CyclomaticComplexityTermination static method) from_twos_comp() (in module cozy.primitives)

G

generate_concrete() (cozy.concolic.exploration.ConcolicSim method) get_callees() (cozy.stubs.Stubber method) get_channel() (in module cozy.side_effect) get_default_backer() (cozy.underconstrained.DefaultMemoryUnderconstrained method) get_effects() (in module cozy.side_effect)

get_pair() (cozy.analysis.Comparison method) get_symbol_name() (in module cozy.claripy_ext) get_symbols() (cozy.underconstrained.DefaultMemoryUnderconstrained method) get_vizroot() (in module cozy.server) graph (cozy.execution_graph.ExecutionGraph attribute)

H

handle_confirm_script_clobber() (cozy.__main__.Wizard method) handle_confirm_start() (cozy.__main__.Wizard method) handle_request_concolic() (cozy.__main__.Wizard method) handle_request_concolic_complete() (cozy.__main__.Wizard method) handle_request_dump() (cozy.__main__.Wizard method) handle_request_dump_name() (cozy.__main__.Wizard method) handle_request_function_name() (cozy.__main__.Wizard method) handle_request_hooks() (cozy.__main__.Wizard method) handle_request_postpatched() (cozy.__main__.Wizard method)

handle_request_prepatched() (cozy.__main__.Wizard method) handle_request_script_name() (cozy.__main__.Wizard method) handle_request_signature() (cozy.__main__.Wizard method) handle_request_textual_report() (cozy.__main__.Wizard method) handle_request_visualization() (cozy.__main__.Wizard method) has_run (cozy.session.Session attribute) hexify() (in module cozy.analysis) hook_symbol() (cozy.project.Project method) hook_syscall() (cozy.project.Project method)

I

info() (in module cozy.log) info_str (cozy.directive.Assert attribute) (cozy.directive.Assume attribute) (cozy.directive.ErrorDirective attribute) (cozy.directive.Postcondition attribute) (cozy.directive.VirtualPrint attribute)

initial_registers (cozy.session.UnderconstrainedMachineState attribute) INT_SIZE (in module cozy.constants) is_compatible() (cozy.analysis.Comparison method) is_satisfied() (cozy.concolic.exploration.ConcolicSim method)

J

JointConcolicSession (class in cozy.concolic.session)

JointConcolicSim (class in cozy.concolic.exploration)

L

l (in module cozy.hooks.strlen) (in module cozy.hooks.strncmp) (in module cozy.hooks.strtok_r) label (cozy.directive.VirtualPrint attribute) (cozy.side_effect.ConcretePerformedSideEffect attribute) (cozy.side_effect.PerformedSideEffect attribute) left_body (cozy.analysis.EqFieldDiff attribute)

left_explorer (cozy.concolic.exploration.JointConcolicSim attribute) left_leaf (cozy.analysis.NotEqLeaf attribute) left_side_effects (cozy.concrete.CompatiblePairInput attribute) levenshtein_alignment() (in module cozy.side_effect) log_fun (cozy.directive.VirtualPrint attribute) logger (in module cozy.log) lookback (cozy.concolic.heuristics.BBTransitionCandidate attribute)

M

make_callee_stubs() (cozy.stubs.Stubber method) make_stub() (cozy.stubs.Stubber method) malloc() (cozy.session.Session method) malloced_names (cozy.terminal_state.TerminalState property) mapped_body (cozy.side_effect.ConcretePerformedSideEffect property) max_null_index (cozy.hooks.strlen.strlen attribute) mem (cozy.session.Session property) mem_diff (cozy.analysis.CompatiblePair attribute) (cozy.analysis.DiffResult attribute) (cozy.concrete.CompatiblePairInput attribute) mem_diff_ip (cozy.analysis.CompatiblePair attribute) mem_writes (cozy.terminal_state.TerminalState property) memory (cozy.session.Session property) memory_symbols (cozy.session.UnderconstrainedMachineState attribute) model() (in module cozy.claripy_ext) module cozy cozy.__main__ cozy.analysis cozy.claripy_ext cozy.concolic cozy.concolic.exploration cozy.concolic.heuristics cozy.concolic.session cozy.concrete cozy.constants cozy.directive cozy.execution_graph cozy.functools_ext cozy.hooks cozy.hooks.strlen cozy.hooks.strncmp cozy.hooks.strtok_r cozy.log cozy.primitives cozy.project cozy.server cozy.session cozy.side_effect cozy.stubs cozy.terminal_state cozy.types cozy.underconstrained

multi_concretize() (cozy.underconstrained.SimConcretizationStrategyUnderconstrained method) multi_extra_constraints (cozy.underconstrained.SimConcretizationStrategyUnderconstrained attribute) multiple (cozy.underconstrained.SimConcretizationStrategyUnderconstrained attribute)

N

nice_name() (in module cozy.analysis) NotEqFieldDiff (class in cozy.analysis)

NotEqLeaf (class in cozy.analysis) NULL_PTR (in module cozy.constants)

O

object_ranges() (cozy.project.Project method) on_directory_tree_file_selected() (cozy.__main__.Wizard method) on_input_submitted() (cozy.__main__.Wizard method)

on_option_list_option_selected() (cozy.__main__.Wizard method) orphans_left (cozy.analysis.Comparison attribute) orphans_right (cozy.analysis.Comparison attribute)

P

pairs (cozy.analysis.Comparison attribute) perform() (in module cozy.side_effect) PerformedSideEffect (class in cozy.side_effect) Postcondition (class in cozy.directive) postcondition (cozy.terminal_state.PostconditionFailedState attribute) postcondition_triggered (cozy.session.RunResult property) PostconditionFailedState (class in cozy.terminal_state) postconditions_failed (cozy.session._SessionExploration attribute) (cozy.session.RunResult attribute)

postconditions_to_scrub (cozy.session._SessionExploration attribute) postpatch (cozy.server.VizHandler attribute) preorder_fold() (in module cozy.functools_ext) preorder_mapfold() (in module cozy.functools_ext) prepatch (cozy.server.VizHandler attribute) prev_terminal_states (cozy.concolic.heuristics.CoverageTermination attribute) proj (cozy.execution_graph.ExecutionGraph attribute) (cozy.session.Session attribute) Project (class in cozy.project)

R

reconstruct_bbl_addr_graph() (cozy.execution_graph.ExecutionGraph method) reconstruct_bbl_pp_graph() (cozy.execution_graph.ExecutionGraph method) reg_diff (cozy.analysis.CompatiblePair attribute) (cozy.analysis.DiffResult attribute) (cozy.concrete.CompatiblePairInput attribute) register_type() (in module cozy.types) register_types() (in module cozy.types) report() (cozy.analysis.Comparison method) (cozy.session.RunResult method) report_asserts_failed() (cozy.session.RunResult method) report_errored() (cozy.session.RunResult method) report_postconditions_failed() (cozy.session.RunResult method) report_spinning() (cozy.session.RunResult method) request_concolic (cozy.__main__.Stage attribute) request_concolic_complete (cozy.__main__.Stage attribute) request_dump (cozy.__main__.Stage attribute) request_dump_name (cozy.__main__.Stage attribute) request_function_name (cozy.__main__.Stage attribute)

request_hooks (cozy.__main__.Stage attribute) request_postpatched (cozy.__main__.Stage attribute) request_prepatched (cozy.__main__.Stage attribute) request_script_name (cozy.__main__.Stage attribute) request_signature (cozy.__main__.Stage attribute) request_textual_report (cozy.__main__.Stage attribute) request_visualization (cozy.__main__.Stage attribute) Results (class in cozy.__main__) results (cozy.__main__.Wizard attribute) right_body (cozy.analysis.EqFieldDiff attribute) right_explorer (cozy.concolic.exploration.JointConcolicSim attribute) right_leaf (cozy.analysis.NotEqLeaf attribute) right_side_effects (cozy.concrete.CompatiblePairInput attribute) run() (cozy.concolic.session.JointConcolicSession method) (cozy.hooks.strlen.strlen method) (cozy.hooks.strncmp.strncmp method) (cozy.hooks.strtok_r.strtok_r method) (cozy.session.Session method) RunResult (class in cozy.session)

S

sess_left (cozy.concolic.session.JointConcolicSession attribute) sess_right (cozy.concolic.session.JointConcolicSession attribute) Session (class in cozy.session) session (cozy.session._SessionExploration attribute) session() (cozy.project.Project method) set_concrete() (cozy.concolic.exploration.ConcolicSim method) set_confirm_script_clobber() (cozy.__main__.Wizard method) set_confirm_start() (cozy.__main__.Wizard method) set_default_backer() (cozy.underconstrained.DefaultMemoryUnderconstrained method) set_level() (in module cozy.log) set_request_concolic() (cozy.__main__.Wizard method) set_request_concolic_complete() (cozy.__main__.Wizard method) set_request_dump() (cozy.__main__.Wizard method) set_request_dump_name() (cozy.__main__.Wizard method) set_request_function_name() (cozy.__main__.Wizard method) set_request_hooks() (cozy.__main__.Wizard method) set_request_postpatched() (cozy.__main__.Wizard method) set_request_prepatched() (cozy.__main__.Wizard method) set_request_script_name() (cozy.__main__.Wizard method) set_request_signature() (cozy.__main__.Wizard method) set_request_textual_report() (cozy.__main__.Wizard method) set_request_visualization() (cozy.__main__.Wizard method) set_stage() (cozy.__main__.Wizard method) set_symbols() (cozy.underconstrained.DefaultMemoryUnderconstrained method) setup() (cozy.concolic.exploration.ConcolicSim method) side_effect_diff (cozy.analysis.CompatiblePair attribute) (cozy.analysis.DiffResult attribute) side_effects (cozy.concrete.TerminalStateInput attribute) (cozy.terminal_state.TerminalState property) SimConcretizationStrategyUnderconstrained (class in cozy.underconstrained) simgr_left (cozy.concolic.exploration.JointConcolicSim attribute)

simgr_right (cozy.concolic.exploration.JointConcolicSim attribute) simplify_kb() (in module cozy.claripy_ext) single (cozy.underconstrained.SimConcretizationStrategyUnderconstrained attribute) spinning (cozy.session.RunResult attribute) SpinningState (class in cozy.terminal_state) Stage (class in cozy.__main__) start_fun (cozy.session.Session attribute) start_fun_addr (cozy.session.Session property) start_viz_server() (in module cozy.server) state (cozy.terminal_state.TerminalState attribute) state_history (cozy.side_effect.ConcretePerformedSideEffect attribute) (cozy.side_effect.PerformedSideEffect attribute) state_id (cozy.terminal_state.TerminalState attribute) state_left (cozy.analysis.CompatiblePair attribute) state_right (cozy.analysis.CompatiblePair attribute) state_type_str (cozy.terminal_state.TerminalState attribute) StateDiff (class in cozy.analysis) std_err (cozy.terminal_state.TerminalState property) std_out (cozy.terminal_state.TerminalState property) store() (cozy.session.Session method) store_fs() (cozy.session.Session method) strlen (class in cozy.hooks.strlen) strncmp (class in cozy.hooks.strncmp) strtok_r (class in cozy.hooks.strtok_r) Stubber (class in cozy.stubs) sub_asts() (in module cozy.claripy_ext) sym_ptr() (in module cozy.primitives) sym_ptr_constraints() (in module cozy.primitives) sym_variables() (in module cozy.claripy_ext) symbols (cozy.concolic.exploration.JointConcolicSim attribute) (cozy.underconstrained.DefaultMemoryUnderconstrained attribute)

T

T (in module cozy.functools_ext) TerminalState (class in cozy.terminal_state) TerminalStateInput (class in cozy.concrete) termination_heuristic_left (cozy.concolic.session.JointConcolicSession attribute) termination_heuristic_right (cozy.concolic.session.JointConcolicSession attribute)

test_levenshtein_alignment() (in module cozy.side_effect) to_string() (cozy.__main__.Results method) to_twos_comp() (in module cozy.primitives) traceback (cozy.terminal_state.ErrorState attribute) transitions (cozy.concolic.heuristics.BBTransitionCandidate attribute) try_find_symbol_addr() (cozy.project.Project method)

U

U (in module cozy.functools_ext) UNDERCONSTRAINED_CHUNK_SIZE (in module cozy.session) underconstrained_execution (cozy.session.Session attribute) UNDERCONSTRAINED_GRANULARITY (in module cozy.session)

underconstrained_machine_state (cozy.session.RunResult attribute) underconstrained_preset (in module cozy.underconstrained) UnderconstrainedMachineState (class in cozy.session) unstripped_binary_path (in module cozy.stubs)

V

V (in module cozy.functools_ext) value (cozy.underconstrained.Box attribute) verify() (cozy.analysis.Comparison method) virtual_prints (cozy.terminal_state.TerminalState property)

VirtualPrint (class in cozy.directive) visited_blocks (cozy.concolic.heuristics.CoverageTermination attribute) visualize_comparison() (in module cozy.execution_graph) VizHandler (class in cozy.server)

W

warning() (in module cozy.log)

Wizard (class in cozy.__main__)