{"version":1,"pages":[{"id":"NcheVvh425V6OV95OHXs","title":"简介","pathname":"/static-program-analysis-book","siteSpaceId":"sitesp_b9No9","description":""},{"id":"-MJUE3PzUVi8A9gh9T7M","title":"写在前面","pathname":"/static-program-analysis-book/ch0/ch0","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"前言"}]},{"id":"-MKFsmcwG_vP_D-ILKj9","title":"为什么是这本书？","pathname":"/static-program-analysis-book/ch0/ch0/00-01-why-this-book","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"前言"},{"label":"写在前面"}]},{"id":"-MKFsmcxs8iSE35wZKwo","title":"资料来源与版权信息","pathname":"/static-program-analysis-book/ch0/ch0/00-02-sources-and-license","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"前言"},{"label":"写在前面"}]},{"id":"BcitFaIO3vFAm8aeD3vw","title":"课程介绍与实验进度安排","pathname":"/static-program-analysis-book/ch0/1_intro","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"前言"}]},{"id":"-MJC3-VZiW1YMau5mQ3P","title":"静态程序分析简介与数据流分析","pathname":"/static-program-analysis-book/ch1/ch1","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"数据流分析"}]},{"id":"FR7JGFKZVfPh3PGP3VBn","title":"中间表示","pathname":"/static-program-analysis-book/ch1/2intermediaterepresentation","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"数据流分析"}]},{"id":"uYsNvawKz2BZx16L0P0Y","title":"数据流分析上","pathname":"/static-program-analysis-book/ch1/34dataflowanalysis","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"数据流分析"}]},{"id":"LQdGjars8KWAWc2BPI0j","title":"数据流分析下","pathname":"/static-program-analysis-book/ch1/56dataflowanalysisfoundation","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"数据流分析"}]},{"id":"-MKozH28CJVTc82OiZpE","title":"过程间分析简介","pathname":"/static-program-analysis-book/ch2/ch2","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"过程间分析"}]},{"id":"-MOfmY01xfyu1qzq-cC9","title":"指针分析简介","pathname":"/static-program-analysis-book/ch3/pointer-analysis","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"}]},{"id":"-MLNQK0xZhPIRfxbpUZU","title":"指针分析简介","pathname":"/static-program-analysis-book/ch3/pointer-analysis/03-01-pointer-analysis-spa","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"},{"label":"指针分析简介"}]},{"id":"-MLNQK0y-7m3GDnoi78_","title":"指针分析理论（上）","pathname":"/static-program-analysis-book/ch3/pointer-analysis/03-02-pointer2-analysis-spa","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"},{"label":"指针分析简介"}]},{"id":"-MN8daijNi_ck_Ok6gey","title":"指针分析理论（下）","pathname":"/static-program-analysis-book/ch3/pointer-analysis/03-03-pointer3-analysis-spa","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"},{"label":"指针分析简介"}]},{"id":"-MOfmUwTSB8d7oBQ8ykk","title":"指针分析进阶","pathname":"/static-program-analysis-book/ch3/context-sensitivity","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"}]},{"id":"-MOfkyT7iQYLxe7Kv5TZ","title":"上下文敏感分析（上）","pathname":"/static-program-analysis-book/ch3/context-sensitivity/03-04-context-sensitivity","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"},{"label":"指针分析进阶"}]},{"id":"-MOfhY5cZQSBO9eSg6bL","title":"上下文敏感分析（下）","pathname":"/static-program-analysis-book/ch3/context-sensitivity/03-05-cs2","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析"},{"label":"指针分析进阶"}]},{"id":"-MOknfk4fmBhhhWSTXWj","title":"应用——污点分析","pathname":"/static-program-analysis-book/ch4/04-01-security","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析应用与声明式实现"}]},{"id":"-MPsx6Paml_bp7NucP5O","title":"实现——声明式指针分析","pathname":"/static-program-analysis-book/ch4/04-02-datalog-based-pa","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"指针分析应用与声明式实现"}]},{"id":"-MPsx6PdnCGBAOlcUye9","title":"另一种静态分析框架——IFDS","pathname":"/static-program-analysis-book/ch5/05-01-ifds","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"其他话题"}]},{"id":"-MPsx6PevdJh4WKMHjFC","title":"从Soundness到Soundiness","pathname":"/static-program-analysis-book/ch5/05-02-soundiness","siteSpaceId":"sitesp_b9No9","description":"","breadcrumbs":[{"label":"其他话题"}]}]}