加密代码分析工具是如何工作的？

我对加密货币代码分析工具的运作方式很感兴趣。你能简单解释一下这些工具是如何运作的，以及它们在分析加密货币代码时的主要功能是什么吗？