分析性程序的方法主要包括以下几种：
1. 流程图分析法。
流程图分析法是一种通过绘制程序流程图来分析程序逻辑结构的方法。这种方法将程序的控制流路径、条件分支和循环结构以图形化的方式展示出来，有助于分析人员直观地理解程序的执行过程。通过流程图，可以检查程序的逻辑正确性，发现潜在的错误和不合理的设计。
2. 代码审查法。
代码审查法是一种直接对源代码进行分析的方法。分析人员通过阅读和理解代码，了解程序的逻辑、数据结构、算法和编程风格等方面。这种方法可以发现代码中的潜在错误、不符合规范的编程实践以及可能的性能瓶颈。代码审查还可以帮助分析人员理解程序的架构和设计思想。
3. 静态分析法。
静态分析法是一种不运行程序的情况下分析程序源代码的方法。这种方法主要通过使用工具对源代码进行扫描，检查代码中的语法错误、潜在的安全漏洞、代码规范等问题。静态分析法可以自动发现大量的潜在问题，提高代码的质量和可靠性。
4. 动态分析法。
动态分析法是一种通过运行程序来观察其行为的分析方法。这种方法通过分析程序的输入、输出以及中间结果来推断程序的逻辑和行为。动态分析法可以发现程序中的运行错误、性能问题和功能缺陷。在实际开发中，通常会结合单元测试、集成测试和系统测试等方法来进行动态分析。
综上所述，以上四种方法各有其特点和适用场景，在实际的分析工作中，可以根据需要选择一种或多种方法来进行综合分析，以提高分析的准确性和效率。