Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
_
__iter__() (cozy.analysis.Comparison method)
__str__() (cozy.project.RunResult method)
_concretize() (in module cozy.concrete)
_generate_comparison() (in module cozy.execution_graph)
_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_simprocs() (cozy.execution_graph.ExecutionGraph method)
_mem_write_ctr (in module cozy.project)
_name_ctr (in module cozy.primitives)
_on_mem_write() (in module cozy.project)
_save_constraints() (cozy.project.Session method)
_save_states() (cozy.project.Session method)
_serialize_diff() (in module cozy.execution_graph)
A
add_constraints() (cozy.project.Session method)
add_directives() (cozy.project.Session method)
add_prototype() (cozy.project.Project method)
Assert (class in cozy.directive)
AssertFailedState (class in cozy.terminal_state)
assertion_triggered (cozy.project.RunResult property)
Assume (class in cozy.directive)
B
B (in module cozy.functools_ext)
C
C (in module cozy.functools_ext)
Comparison (class in cozy.analysis)
CompatiblePair (class in cozy.analysis)
CompatiblePairInput (class in cozy.concrete)
compose() (in module cozy.functools_ext)
concrete_examples() (cozy.analysis.CompatiblePair method)
(cozy.terminal_state.TerminalState method)
cozy
module
cozy.analysis
module
cozy.claripy_ext
module
cozy.concrete
module
cozy.constants
module
cozy.directive
module
cozy.execution_graph
module
cozy.functools_ext
module
cozy.primitives
module
cozy.project
module
cozy.server
module
cozy.terminal_state
module
D
DeadendedState (class in cozy.terminal_state)
difference() (cozy.analysis.StateDiff method)
Directive (class in cozy.directive)
do_GET() (cozy.server.VizHandler method)
dump_bbp_pp_cytoscape() (cozy.execution_graph.ExecutionGraph method)
dump_comparison() (in module cozy.execution_graph)
E
equal() (cozy.analysis.CompatiblePair method)
ErrorDirective (class in cozy.directive)
ErrorState (class in cozy.terminal_state)
ExecutionGraph (class in cozy.execution_graph)
F
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.ErrorDirective static method)
(cozy.directive.VirtualPrint static method)
from_twos_comp() (in module cozy.primitives)
G
get_pair() (cozy.analysis.Comparison method)
get_vizroot() (in module cozy.server)
H
hexify() (in module cozy.analysis)
I
INT_SIZE (in module cozy.constants)
is_compatible() (cozy.analysis.Comparison method)
M
malloc() (cozy.project.Session method)
mem_writes (cozy.terminal_state.TerminalState property)
module
cozy
cozy.analysis
cozy.claripy_ext
cozy.concrete
cozy.constants
cozy.directive
cozy.execution_graph
cozy.functools_ext
cozy.primitives
cozy.project
cozy.server
cozy.terminal_state
N
NULL_PTR (in module cozy.constants)
O
object_ranges() (cozy.project.Project method)
P
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)
report() (cozy.analysis.Comparison method)
report_asserts_failed() (cozy.project.RunResult method)
report_errored() (cozy.project.RunResult method)
run() (cozy.project.Session method)
RunResult (class in cozy.project)
S
Session (class in cozy.project)
session() (cozy.project.Project method)
simplify_kb() (in module cozy.claripy_ext)
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.project.Session method)
store_fs() (cozy.project.Session method)
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)
to_twos_comp() (in module cozy.primitives)
twos_comp_range_constraint() (in module cozy.claripy_ext)
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)
cozy
Navigation
Contents:
Getting Started
Launching a Visualization
API Reference
Related Topics
Documentation overview
Quick search