algorithm 分类下的文章是我阅读代码随想录的刷题笔记

原文链接如下：代码随想录 (programmercarl.com)

作者 Carl 老师对于算法的理解真的令我惊叹。

他的文章会从理论基础到刷题实践，再到题型总结。题目算是循序渐进，解析...

Motivation

• 命令式语言：每一步都写命令，告诉计算机怎么做，如 C++
• 声明式语言：告诉计算机要做什么，更加精炼，简单，如 SQL 语言
• 如果要以命令式语言来书写指针分析，需要考虑非常多细节，容易出错
• 但是以声明式语言来书写指针分析就很简洁，易读...

Iterative Algorithm, Another View（换个视角看迭代）

前向数据流分析过程

• 给定一个有 k 个节点的 CFG（程序），迭代算法会在每次迭代中为每个节点 n 更新 OUT[n]
• 假设数据流分析中的...

Overview of Data Flow Analysis（总览数据流分析）

一句话：不同的数据流分析技术有不同的数据抽象和不同的数据流安全近似策略（即不同的转换函数和不同的控制流处理）

Read More

Introduction

上下文不敏感指针分析（CI）

• 在动态执行中，一个方法可能在不同的调用上下文中被多次调用
• 在不同的调用上下文下，方法的变量可能指向不同的对象
• 在 CI 指针分析中，不同上下文下的对象被混合并传...