49 class malloc_state_machine : public state_machine  class
52   malloc_state_machine (logger *logger);
112   malloc_diagnostic (const malloc_state_machine &sm, tree arg)  in malloc_diagnostic()
146   const malloc_state_machine &m_sm;
155   double_free (const malloc_state_machine &sm, tree arg)  in double_free()
210   possible_null (const malloc_state_machine &sm, tree arg)  in possible_null()
245   possible_null_deref (const malloc_state_machine &sm, tree arg)  in possible_null_deref()
294   possible_null_arg (const malloc_state_machine &sm, tree arg,  in possible_null_arg()
350   null_deref (const malloc_state_machine &sm, tree arg)  in null_deref()
386   null_arg (const malloc_state_machine &sm, tree arg,  in null_arg()
432   use_after_free (const malloc_state_machine &sm, tree arg)  in use_after_free()
474   malloc_leak (const malloc_state_machine &sm, tree arg)  in malloc_leak()
514   free_of_non_heap (const malloc_state_machine &sm, tree arg)  in free_of_non_heap()
590 malloc_state_machine::malloc_state_machine (logger *logger)  in malloc_state_machine()  function in ana::__anon71be9ce50111::malloc_state_machine
605 malloc_state_machine::on_stmt (sm_context *sm_ctxt,  in on_stmt()
756 malloc_state_machine::on_phi (sm_context *sm_ctxt,  in on_phi()
772 malloc_state_machine::on_condition (sm_context *sm_ctxt,  in on_condition()
806 malloc_state_machine::can_purge_p (state_t s) const  in can_purge_p()
816 malloc_state_machine::on_leak (tree var) const  in on_leak()
825 malloc_state_machine::on_zero_assignment (sm_context *sm_ctxt,  in on_zero_assignment()
843   return new malloc_state_machine (logger);  in make_malloc_state_machine()