- g -
- goal_mapt
: bmc_all_propertiest
, bmc_covert
- goalst
: cover_goalst
- goto_functions_change_impactt
: change_impactt
- goto_functiont
: dirtyt
, goto_checkt
, goto_functions_templatet< bodyT >
, goto_inlinet
, havoc_loopst
, k_inductiont
, local_bitvector_analysist
, local_may_aliast
, localst
- goto_program_change_impactt
: change_impactt
- goto_program_difft
: unified_difft
- goto_state_listt
: goto_symex_statet
- goto_state_mapt
: goto_symex_statet
- gotost
: goto_convertt
- grapht
: call_grapht
- Gt
: mini_bdd_applyt
- guarded_gotost
: goto_convertt
- gvs_recursion_sett
: value_set_fit
, value_set_fivrt