Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Y
_
__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)
_call() (cozy.session.Session method)
_concretize() (in module cozy.concrete)
_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)
_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)
_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)
ArbitraryCandidate (class in cozy.concolic.heuristics)
arch (cozy.project.Project property)
Assert (class in cozy.directive)
ASSERT_CAN (cozy.directive.AssertType attribute)
ASSERT_CAN_GLOBAL (cozy.directive.AssertType attribute)
ASSERT_MUST (cozy.directive.AssertType attribute)
AssertFailedState (class in cozy.terminal_state)
assertion_triggered (cozy.session.RunResult property)
AssertType (class in cozy.directive)
Assume (class in cozy.directive)
B
B (in module cozy.functools_ext)
BBTransitionCandidate (class in cozy.concolic.heuristics)
Breakpoint (class in cozy.directive)
C
C (in module cozy.functools_ext)
cfg (cozy.project.Project property)
check_postconditions() (cozy.session._SessionDirectiveExploration method)
compare_side_effect() (in module cozy.analysis)
Comparison (class in cozy.analysis)
CompatiblePair (class in cozy.analysis)
CompatiblePairInput (class in cozy.concrete)
CompleteTermination (class in cozy.concolic.heuristics)
compose() (in module cozy.functools_ext)
ConcolicSim (class in cozy.concolic.exploration)
concrete_examples() (cozy.analysis.CompatiblePair method)
(cozy.terminal_state.TerminalState method)
ConcretePerformedSideEffect (class in cozy.side_effect)
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.terminal_state
module
cozy.types
module
critical() (in module cozy.log)
CyclomaticComplexityTermination (class in cozy.concolic.heuristics)
D
DeadendedState (class in cozy.terminal_state)
debug() (in module cozy.log)
difference() (cozy.analysis.StateDiff method)
DiffResult (class in cozy.analysis)
Directive (class in cozy.directive)
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() (in module cozy.log)
ErrorDirective (class in cozy.directive)
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_RIGHT (cozy.concolic.exploration._ExploreMode attribute)
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() (in module cozy.__main__)
generate_concrete() (cozy.concolic.exploration.ConcolicSim method)
get_channel() (in module cozy.side_effect)
get_effects() (in module cozy.side_effect)
get_pair() (cozy.analysis.Comparison method)
get_symbol_name() (in module cozy.claripy_ext)
get_vizroot() (in module cozy.server)
H
hexify() (in module cozy.analysis)
hook_symbol() (cozy.project.Project method)
hook_syscall() (cozy.project.Project method)
I
info() (in module cozy.log)
input_default() (in module cozy.__main__)
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)
levenshtein_alignment() (in module cozy.side_effect)
logger (in module cozy.log)
M
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_writes (cozy.terminal_state.TerminalState property)
memory (cozy.session.Session property)
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.terminal_state
cozy.types
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)
P
perform() (in module cozy.side_effect)
PerformedSideEffect (class in cozy.side_effect)
Postcondition (class in cozy.directive)
postcondition_triggered (cozy.session.RunResult property)
PostconditionFailedState (class in cozy.terminal_state)
preorder_fold() (in module cozy.functools_ext)
preorder_mapfold() (in module cozy.functools_ext)
Project (class in cozy.project)
R
reconstruct_bbl_addr_graph() (cozy.execution_graph.ExecutionGraph method)
reconstruct_bbl_pp_graph() (cozy.execution_graph.ExecutionGraph method)
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)
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
Session (class in cozy.session)
session() (cozy.project.Project method)
set_concrete() (cozy.concolic.exploration.ConcolicSim method)
set_level() (in module cozy.log)
setup() (cozy.concolic.exploration.ConcolicSim method)
side_effects (cozy.terminal_state.TerminalState property)
simplify_kb() (in module cozy.claripy_ext)
start_fun_addr (cozy.session.Session property)
start_viz_server() (in module cozy.server)
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)
sym_ptr() (in module cozy.primitives)
sym_ptr_constraints() (in module cozy.primitives)
T
T (in module cozy.functools_ext)
TerminalState (class in cozy.terminal_state)
TerminalStateInput (class in cozy.concrete)
test_levenshtein_alignment() (in module cozy.side_effect)
to_twos_comp() (in module cozy.primitives)
U
U (in module cozy.functools_ext)
V
V (in module cozy.functools_ext)
verify() (cozy.analysis.Comparison method)
virtual_prints (cozy.terminal_state.TerminalState property)
VirtualPrint (class in cozy.directive)
visualize_comparison() (in module cozy.execution_graph)
VizHandler (class in cozy.server)
W
warning() (in module cozy.log)
Y
yesno_question() (in module cozy.__main__)
cozy
Navigation
Contents:
Getting Started
Launching a Visualization
Using Concolic Execution
Dealing with Hooks
API Reference
Related Topics
Documentation overview
Quick search