QSynthesis
Getting started
Installation
API usage
Plugin Usage
IDA Plugin Walkthrough
Exploiting results
Debugging
Python API
TritonAst
Top-Down Synthesizer
Placeholder-based Synthesizer
Grammar
Oracles
Symbolic Execution utilities
Types
Advanced Usage
Lookup table Management
QSynthesis
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
A
add_entries() (qsynthesis.tables.base.InputOutputOracle method)
add_entry() (qsynthesis.tables.base.InputOutputOracle method)
Addr (in module qsynthesis.types)
AstNode (class in qsynthesis.types)
AstType (class in qsynthesis.types)
B
BitSize (in module qsynthesis.types)
bitsize (qsynthesis.tables.base.InputOutputOracle property)
ByteSize (in module qsynthesis.types)
C
Char (in module qsynthesis.types)
compare_behavior() (qsynthesis.tritonast.TritonAst method)
create() (qsynthesis.tables.base.InputOutputOracle static method)
D
depth (qsynthesis.tritonast.TritonAst property)
duplicate() (qsynthesis.tritonast.TritonAst method)
dyn_depth() (qsynthesis.tritonast.TritonAst static method)
dyn_node_count() (qsynthesis.tritonast.TritonAst static method)
E
eval_ast() (qsynthesis.algorithms.synthesizer_plhld.PlaceHolderSynthesizer method)
(qsynthesis.algorithms.synthesizer_td.TopDownSynthesizer method)
eval_oracle() (qsynthesis.tritonast.TritonAst method)
Expr (in module qsynthesis.types)
F
from_dict() (qsynthesis.grammar.grammar.TritonGrammar static method)
from_z3() (qsynthesis.tritonast.TritonAst static method)
G
gen_test_inputs() (qsynthesis.grammar.grammar.TritonGrammar method)
generate() (qsynthesis.tables.base.InputOutputOracle method)
get_children() (qsynthesis.tritonast.TritonAst method)
H
has_children() (qsynthesis.tritonast.TritonAst method)
Hash (in module qsynthesis.types)
hash (qsynthesis.tritonast.TritonAst property)
hash() (qsynthesis.tables.base.InputOutputOracle method)
I
Input (in module qsynthesis.types)
input_number (qsynthesis.tables.base.InputOutputOracle property)
InputOutputOracle (class in qsynthesis.tables.base)
IOPair (in module qsynthesis.types)
IOVector (in module qsynthesis.types)
is_constant() (qsynthesis.tritonast.TritonAst method)
is_constant_expr() (qsynthesis.tritonast.TritonAst method)
is_expr_compatible() (qsynthesis.tables.base.InputOutputOracle method)
is_leaf() (qsynthesis.tritonast.TritonAst method)
is_root() (qsynthesis.tritonast.TritonAst method)
is_semantically_equal() (qsynthesis.tritonast.TritonAst method)
is_variable() (qsynthesis.tritonast.TritonAst method)
is_writable (qsynthesis.tables.base.InputOutputOracle property)
L
load() (qsynthesis.tables.base.InputOutputOracle static method)
lookup() (qsynthesis.tables.base.InputOutputOracle method)
lookup_hash() (qsynthesis.tables.base.InputOutputOracle method)
M
make_ast() (qsynthesis.tritonast.TritonAst static method)
make_graph() (qsynthesis.tritonast.TritonAst method)
mapping (qsynthesis.tritonast.TritonAst property)
mk_constant() (qsynthesis.tritonast.TritonAst method)
mk_variable() (qsynthesis.tritonast.TritonAst method)
module
qsynthesis.types
N
name (qsynthesis.tables.base.InputOutputOracle property)
node_count (qsynthesis.tritonast.TritonAst property)
non_terminal_operators (qsynthesis.grammar.grammar.TritonGrammar property)
normalized_str_to_ast() (qsynthesis.tritonast.TritonAst method)
O
operator_number (qsynthesis.tables.base.InputOutputOracle property)
Output (in module qsynthesis.types)
P
parents (qsynthesis.tritonast.TritonAst property)
PlaceHolderSynthesizer (class in qsynthesis.algorithms.synthesizer_plhld)
pp_str (qsynthesis.tritonast.TritonAst property)
ptr_id (qsynthesis.tritonast.TritonAst property)
Q
qsynthesis.types
module
R
random_sampling() (qsynthesis.tritonast.TritonAst method)
reassemble() (qsynthesis.tritonast.TritonAst method)
Register (class in qsynthesis.types)
replace_all() (qsynthesis.algorithms.synthesizer_plhld.PlaceHolderSynthesizer method)
replace_self() (qsynthesis.tritonast.TritonAst method)
run_direct_synthesis() (qsynthesis.algorithms.synthesizer_plhld.PlaceHolderSynthesizer method)
(qsynthesis.algorithms.synthesizer_td.TopDownSynthesizer method)
S
set_child() (qsynthesis.tritonast.TritonAst method)
size (qsynthesis.tables.base.InputOutputOracle property)
str_to_expr() (qsynthesis.grammar.grammar.TritonGrammar method)
sub_map (qsynthesis.tritonast.TritonAst property)
symbol (qsynthesis.tritonast.TritonAst property)
SymbolicExpression (class in qsynthesis.types)
SymbolicVariable (class in qsynthesis.types)
symvar_type() (qsynthesis.tritonast.TritonAst static method)
SymVarMap (in module qsynthesis.types)
symvars (qsynthesis.tritonast.TritonAst property)
synthesize() (qsynthesis.algorithms.synthesizer_plhld.PlaceHolderSynthesizer method)
(qsynthesis.algorithms.synthesizer_td.TopDownSynthesizer method)
T
to_dict() (qsynthesis.grammar.grammar.TritonGrammar method)
to_normalized_str() (qsynthesis.tritonast.TritonAst method)
to_z3() (qsynthesis.tritonast.TritonAst method)
TopDownSynthesizer (class in qsynthesis.algorithms.synthesizer_td)
TritonAst (class in qsynthesis.tritonast)
TritonGrammar (class in qsynthesis.grammar.grammar)
try_synthesis_lookup() (qsynthesis.algorithms.synthesizer_plhld.PlaceHolderSynthesizer method)
(qsynthesis.algorithms.synthesizer_td.TopDownSynthesizer method)
type (qsynthesis.tritonast.TritonAst property)
U
update() (qsynthesis.tritonast.TritonAst method)
update_all() (qsynthesis.tritonast.TritonAst method)
update_parents() (qsynthesis.tritonast.TritonAst method)
V
var_num (qsynthesis.tritonast.TritonAst property)
var_number (qsynthesis.tables.base.InputOutputOracle property)
variable_id (qsynthesis.tritonast.TritonAst property)
visit_expr() (qsynthesis.tritonast.TritonAst method)
visit_replacement() (qsynthesis.tritonast.TritonAst method)