Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/HexRaysSA/goomba
/ functions
Functions
214 in github.com/HexRaysSA/goomba
⨍
Functions
214
◇
Types & classes
40
Method
factor_t
nonlin_expr.hpp:61
Method
find_equiv_class
-------------------------------------------------------------------------
equiv_class.hpp:150
Method
find_equiv_class
-------------------------------------------------------------------------
equiv_class.hpp:295
Method
find_update
------------------------------------------------------------------------- find the value of the bytes [off, off+size) in map, assemble the result as a
heuristics.hpp:58
Method
find_update
------------------------------------------------------------------------- find the value of the bytes [off, off+size) from the associated map, assembl
smt_convert.hpp:93
Method
get_instance
minsn_template.hpp:19
Method
get_mop_value
linear_exprs.hpp:51
Method
get_mop_value
equiv_class.hpp:71
Method
helper_emu_t
equiv_class.hpp:68
Function
init
--------------------------------------------------------------------------
goomba.cpp:100
Method
init_from_arg
-------------------------------------------------------------------------
msynth_parser.hpp:49
Function
insn_optimize_t
goomba.cpp:344
Method
insn_to_mop
-------------------------------------------------------------------------- optimized code that can handle only the special case when: - op is empty -
nonlin_expr.hpp:572
Method
is_and_expr
nonlin_expr.hpp:65
Method
is_factor
-------------------------------------------------------------------------- Check an operand is an MBA factor, i.e., a (negate) variable, or an AND exp
nonlin_expr.hpp:698
Method
is_mba_term
-------------------------------------------------------------------------- Check an operand is a normalized mba term, which is a constant, variable, o
nonlin_expr.hpp:728
Method
is_normalized
-------------------------------------------------------------------------- Check if an MBA has been successfully normalized
nonlin_expr.hpp:757
Method
is_product
-------------------------------------------------------------------------- Check an operand is an MBA product, i.e., the product of a variable with th
nonlin_expr.hpp:713
Method
is_var
nonlin_expr.hpp:64
Method
lin_conj_expr_t
------------------------------------------------------------------------- creates a linear combination of conjunctions based on the minsn behavior
lin_conj_exprs.hpp:143
Method
linear_expr_t
-------------------------------------------------------------------------
linear_exprs.cpp:44
Method
lookup
-------------------------------------------------------------------------
smt_convert.hpp:119
Method
lookup
eval_trace is a bitmap whose i'th bit contains the boolean function's evaluation on the i'th conjunction, where conjunctions are ordered in the same w
bitwise_expr_lookup_tbl.hpp:33
Method
make_bin
-------------------------------------------------------------------------
msynth_parser.hpp:69
Method
make_slice
-------------------------------------------------------------------------
msynth_parser.hpp:83
Method
make_un
-------------------------------------------------------------------------
msynth_parser.hpp:58
Method
match
--------------------------------------------------------------------------
nonlin_expr.hpp:629
Method
mcode_val_t
-------------------------------------------------------------------------
mcode_emu.hpp:34
Method
mop_reassigner_t
equiv_class.cpp:22
Method
mop_value
-------------------------------------------------------------------------
mcode_emu.hpp:239
Method
msynth_expr_parser_t
msynth_parser.hpp:98
Method
mt_comp_t
minsn_template.hpp:98
Method
mt_constant_t
minsn_template.hpp:67
Method
mt_varref_t
minsn_template.hpp:84
Method
mul_dist
-------------------------------------------------------------------------- Apply multiplicative distribution law to ins (a+b)*c => a*c+b*c
nonlin_expr.hpp:302
Method
nonlin_expr_t
--------------------------------------------------------------------------
nonlin_expr.hpp:233
Method
normalize
-------------------------------------------------------------------------- Normalize any boolean expr to a simple MBA with only x, y, x and y, and con
nonlin_expr.hpp:436
Method
operator!
-------------------------------------------------------------------------
mcode_emu.hpp:217
Method
operator!=
-------------------------------------------------------------------------
mcode_emu.hpp:78
Method
operator%
-------------------------------------------------------------------------
mcode_emu.hpp:142
Function
operator&
minsn_template.hpp:148
Method
operator&
-------------------------------------------------------------------------
mcode_emu.hpp:197
Method
operator()
heuristics.hpp:145
Method
operator()
file.cpp:105
Function
operator*
minsn_template.hpp:144
Method
operator*
-------------------------------------------------------------------------
mcode_emu.hpp:105
Function
operator+
minsn_template.hpp:140
Method
operator+
-------------------------------------------------------------------------
mcode_emu.hpp:91
Method
operator-
-------------------------------------------------------------------------
mcode_emu.hpp:98
Method
operator/
-------------------------------------------------------------------------
mcode_emu.hpp:112
Method
operator<
-------------------------------------------------------------------------- override < and == operator for using std::map
nonlin_expr.hpp:69
Method
operator<
equiv_class.hpp:172
Method
operator<
-------------------------------------------------------------------------
mcode_emu.hpp:84
Method
operator<<
-------------------------------------------------------------------------
mcode_emu.hpp:172
Method
operator==
--------------------------------------------------------------------------
nonlin_expr.hpp:80
Method
operator==
--------------------------------------------------------------------------
nonlin_expr.hpp:207
Method
operator==
-------------------------------------------------------------------------
mcode_emu.hpp:72
Method
operator>>
-------------------------------------------------------------------------
mcode_emu.hpp:178
Function
operator^
minsn_template.hpp:156
Method
operator^
-------------------------------------------------------------------------
mcode_emu.hpp:204
Function
operator|
minsn_template.hpp:152
Method
operator|
-------------------------------------------------------------------------
mcode_emu.hpp:190
Function
operator~
minsn_template.hpp:160
Method
operator~
-------------------------------------------------------------------------
mcode_emu.hpp:223
Method
optimizer_visitor_t
optimizer.cpp:123
Method
plugin_ctx_t
--------------------------------------------------------------------------
goomba.cpp:380
Method
preprocess
-------------------------------------------------------------------------- do some pattern replacing
nonlin_expr.hpp:349
Method
print_assignment
------------------------------------------------------------------------- each boolean assignment is represented as a uint32, where the nth bit repres
lin_conj_exprs.hpp:48
Method
read_minsn_set_from_file
------------------------------------------------------------------------- populates the equiv_classes map with the minsn set included in the file for
equiv_class.hpp:258
Method
recompute_coeffs
-------------------------------------------------------------------------
lin_conj_exprs.hpp:113
Method
recompute_range
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:26
Method
recur_mul_dist
-------------------------------------------------------------------------- recursively apply mul_dist() to ins
nonlin_expr.hpp:288
Method
recur_normalize
-------------------------------------------------------------------------- recursively apply normalization to ins
nonlin_expr.hpp:412
Method
recur_preprocess
-------------------------------------------------------------------------- recursively apply the pre-process rules to ins
nonlin_expr.hpp:338
Method
reset_eval_trace
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:56
Method
rm_par
-------------------------------------------------------------------------- Remove the parentheses in the math expression stored in ins E.g., a-(b+c) =
nonlin_expr.hpp:660
Method
run
--------------------------------------------------------------------------
goomba.cpp:394
Method
run_ah_t
goomba.cpp:35
Method
simp_2
------------------------------------------------------------------------- (2) If F has two unique entries and its first entry is zero, we replace the
simp_lin_conj_exprs.hpp:92
Method
simp_3
------------------------------------------------------------------------- (3) If F has two unique entries a and b, both of them are nonzero, w.l.o.g.,
simp_lin_conj_exprs.hpp:115
Method
simp_4
------------------------------------------------------------------------- (4) If F has two unique entries a and b, but the previous cases do not apply
simp_lin_conj_exprs.hpp:140
Method
simp_5
------------------------------------------------------------------------- (5) If F has two unique nonzero entries a and b and its first one is zero, w
simp_lin_conj_exprs.hpp:162
Method
simp_6
------------------------------------------------------------------------- (6) If F has three unique nonzero entries a, b and c and its first one is 0,
simp_lin_conj_exprs.hpp:189
Method
simp_7
------------------------------------------------------------------------- (7) If F has three unique nonzero entries a, b and c, its first one is 0 and
simp_lin_conj_exprs.hpp:228
Method
simp_8
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:255
Method
simp_lin_conj_expr_t
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:67
Method
simp_nm_mba
-------------------------------------------------------------------------- Simplify a normalized mba
nonlin_expr.hpp:909
Method
simplify
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:274
Method
synthesize
minsn_template.hpp:68
Method
synthesize
minsn_template.hpp:85
Method
term_t
--------------------------------------------------------------------------
nonlin_expr.hpp:134
Method
to_minsn
--------------------------------------------------------------------------
nonlin_expr.hpp:960
Method
to_minsn
-------------------------------------------------------------------------
simp_lin_conj_exprs.hpp:296
Method
to_minsn
-------------------------------------------------------------------------
lin_conj_exprs.hpp:222
Method
to_mop
--------------------------------------------------------------------------
nonlin_expr.hpp:112
Method
to_smt
-------------------------------------------------------------------------
linear_exprs.cpp:91
Method
to_smt
--------------------------------------------------------------------------
nonlin_expr.hpp:1002
Method
to_smt
-------------------------------------------------------------------------
lin_conj_exprs.hpp:176
Method
update
goomba.cpp:38
Function
visit_minsn
----------------------------------------------------------------
goomba.cpp:249
← previous
next →
101–200 of 214, ranked by callers