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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Han Zheng, Thinker and Doer