关于审计中的函证程序，下列哪些说法是正确的？

关于审计中的函证程序，说法正确的有：
A项：注册会计师不使用被审计单位本身的邮寄设施，直接在邮局投递，这样可以确保函证的独立性和可靠性。
B项：对于银行存款的函证，需要核对的是询证函信息是否与银行对账单保持一致，而不是企业银行存款日记账。
C项：发函前，注册会计师可以基于对特定询证方式所存在风险的评估，考虑相应的控制措施。这是一种合理的审计程序，旨在降低风险并确保函证的有效性。
D项：发出询证函的情况需要形成审计工作记录，这是审计程序中的常规操作，有助于审计员记录和管理函证过程，并作为后续审计的参考。

因此，正确的选项是ACD。