|
Function Name  |
Hit count  |
| _ZN3ana24concrete_buffer_overflow28describe_final_event_as_bitsER14pretty_printer |
0 |
| _ZN3ana25concrete_buffer_over_read28describe_final_event_as_bitsER14pretty_printer |
0 |
| _ZN3ana26concrete_buffer_under_read28describe_final_event_as_bitsER14pretty_printer |
0 |
| _ZN3ana26concrete_buffer_underwrite28describe_final_event_as_bitsER14pretty_printer |
0 |
| _ZNK3ana21symbolic_past_the_end26maybe_add_sarif_propertiesER12sarif_object |
0 |
| _ZNK3ana13out_of_bounds26maybe_add_sarif_propertiesER12sarif_object |
4 |
| _ZNK3ana21concrete_past_the_end26maybe_add_sarif_propertiesER12sarif_object |
4 |
| _ZNK3ana22concrete_out_of_bounds26maybe_add_sarif_propertiesER12sarif_object |
4 |
| _ZN3ana25symbolic_buffer_over_read4emitERNS_27diagnostic_emission_contextE |
21 |
| _ZNK3ana25symbolic_buffer_over_read7get_dirEv |
21 |
| _ZN3ana25symbolic_buffer_over_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
42 |
| _ZN3ana26concrete_buffer_underwrite4emitERNS_27diagnostic_emission_contextE |
54 |
| _ZNK3ana26concrete_buffer_underwrite7get_dirEv |
54 |
| _ZN3ana26concrete_buffer_under_read4emitERNS_27diagnostic_emission_contextE |
59 |
| _ZNK3ana26concrete_buffer_under_read7get_dirEv |
59 |
| _ZNK3ana13out_of_bounds19make_access_diagramERKNS_16access_operationERN8text_art13style_managerERKNS4_5themeEPNS_6loggerE |
72 |
| _ZN3ana26concrete_buffer_underwrite20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
108 |
| _ZN3ana26concrete_buffer_underwrite29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE |
108 |
| _ZN3ana24symbolic_buffer_overflow4emitERNS_27diagnostic_emission_contextE |
111 |
| _ZNK3ana24symbolic_buffer_overflow7get_dirEv |
111 |
| _ZN3ana26concrete_buffer_under_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
118 |
| _ZN3ana26concrete_buffer_under_read29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE |
118 |
| _ZNK3ana21symbolic_past_the_end16subclass_equal_pERKNS_18pending_diagnosticE |
145 |
| _ZN3ana25concrete_buffer_over_read4emitERNS_27diagnostic_emission_contextE |
154 |
| _ZNK3ana25concrete_buffer_over_read7get_dirEv |
154 |
| _ZN3ana24concrete_buffer_overflow4emitERNS_27diagnostic_emission_contextE |
160 |
| _ZNK3ana24concrete_buffer_overflow7get_dirEv |
164 |
| _ZNK3ana25symbolic_buffer_over_read8get_kindEv |
183 |
| _ZN3ana13out_of_bounds26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE |
207 |
| _ZN3ana24symbolic_buffer_overflow20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
222 |
| _ZNK3ana26concrete_buffer_underwrite8get_kindEv |
234 |
| _ZN3ana25concrete_buffer_over_read20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
308 |
| _ZN3ana25concrete_buffer_over_read29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE |
308 |
| _ZN3ana21concrete_past_the_end26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE |
311 |
| _ZN3ana24concrete_buffer_overflow20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE |
320 |
| _ZN3ana24concrete_buffer_overflow29describe_final_event_as_bytesER14pretty_printerRKNS_10byte_rangeE |
320 |
| _ZNK3ana26concrete_buffer_under_read8get_kindEv |
425 |
| _ZN3ana13out_of_bounds34oob_region_creation_event_capacity20prepare_for_emissionEPNS_12checker_pathEPNS_18pending_diagnosticE21diagnostic_event_id_t |
444 |
| _ZNK3ana21concrete_past_the_end16subclass_equal_pERKNS_18pending_diagnosticE |
445 |
| _ZN3ana21concrete_past_the_endC2ERKNS_12region_modelEPKNS_6regionEP9tree_nodeNS_9bit_rangeES8_PKNS_6svalueE |
471 |
| _ZNK3ana24symbolic_buffer_overflow8get_kindEv |
510 |
| _ZN3ana13out_of_bounds22mark_interesting_stuffEPNS_13interesting_tE |
559 |
| _ZNK3ana13out_of_bounds16maybe_show_notesERNS_27diagnostic_emission_contextE |
559 |
| _ZNK3ana13out_of_bounds18maybe_show_diagramEPNS_6loggerE |
559 |
| _ZNK3ana13out_of_bounds27maybe_describe_array_boundsEm |
559 |
| _ZNK3ana22concrete_out_of_bounds16subclass_equal_pERKNS_18pending_diagnosticE |
613 |
| _ZNK3ana24concrete_buffer_overflow8get_kindEv |
697 |
| _ZNK3ana13out_of_bounds16subclass_equal_pERKNS_18pending_diagnosticE |
758 |
| _ZNK3ana25concrete_buffer_over_read8get_kindEv |
1033 |
| _ZNK3ana13out_of_bounds22get_controlling_optionEv |
1339 |
| _ZNK3ana12region_model21check_symbolic_boundsEPKNS_6regionEPKNS_6svalueES6_S6_NS_16access_directionES6_PNS_20region_model_contextE |
52600 |
| _ZN3ana11strip_typesEPKNS_6svalueERNS_20region_model_managerE |
152821 |
| _ZNK3ana12region_model19check_region_boundsEPKNS_6regionENS_16access_directionEPKNS_6svalueEPNS_20region_model_contextE |
696043 |
| _ZN3anaL26maybe_get_integer_cst_treeEPKNS_6svalueE |
1392066 |