静态程序分析 - 随笔分类 - 郑瀚Andrew

摘要：南京大学静态软件分析（static program analyzes）-- Soundness and Soundiness 学习笔记阅读全文

posted @ 2022-06-21 11:18 郑瀚Andrew 阅读(707) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- CFL-Reachability and IFDS 学习笔记阅读全文

posted @ 2022-06-21 11:17 郑瀚Andrew 阅读(976) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Datalog-Based Program Analysis 学习笔记阅读全文

posted @ 2022-06-21 11:17 郑瀚Andrew 阅读(593) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Pointer Analysis Foundations 学习笔记阅读全文

posted @ 2022-06-21 11:16 郑瀚Andrew 阅读(756) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Pointer Analysis Context Sensitive 学习笔记阅读全文

posted @ 2022-06-21 11:16 郑瀚Andrew 阅读(586) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Static Analysis for Security 学习笔记阅读全文

posted @ 2022-06-21 11:16 郑瀚Andrew 阅读(402) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Pointer Analysis 学习笔记阅读全文

posted @ 2022-06-21 11:15 郑瀚Andrew 阅读(561) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Data Flow Analysis：Foundation 学习笔记阅读全文

posted @ 2022-06-21 11:14 郑瀚Andrew 阅读(458) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Interprocedural Analysis 学习笔记阅读全文

posted @ 2022-06-21 11:14 郑瀚Andrew 阅读(500) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Intermediate Representation 学习笔记阅读全文

posted @ 2022-06-21 11:13 郑瀚Andrew 阅读(536) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- Data Flow Analysis：Applications 学习笔记阅读全文

posted @ 2022-06-21 11:13 郑瀚Andrew 阅读(436) 评论(0) 推荐(0) 编辑

摘要：南京大学静态软件分析（static program analyzes）-- introduction 学习笔记阅读全文

posted @ 2022-06-21 11:12 郑瀚Andrew 阅读(1077) 评论(0) 推荐(2) 编辑

Han Zheng, Practitioners and Theoretical Researcher, Now working in Alibaba Cloud Corp, China