【软件分析/静态程序分析学习笔记】0.静态程序分析(Static Programming Analysis)介绍

写在前面的话 本渣有幸成为南京大学软件学院研究生，在前往仙林校区蹭课的时候偶然发现了这门宝藏课程，听了以后感觉深有收获，但又因为课程难度较大，国庆假期归来发现遗忘较多，因此开了一坑来记录自己对每节课知识点的理解。也由于这是本人第一次开坑写博客，结构内容自有诸多不合理之处，希望有问题的地方大家可以指出。 这门课程在课表上名叫软件分析，但是实际上应该叫做静态程序分析，老师说这样起名主要是怕静态程序分析

>>阅读原文<<