2022年1月4日
Proj EULibHarn Paper Reading: Graspan: A Single-Machine Disk-Based Graph System for Interprocedural Static Analyses of Large-Scale Systems Code
摘要： Abstract rt 阅读全文
posted @ 2022-01-04 01:35 雪溯 阅读(30) 评论(0) 推荐(0) 编辑
Proj EULibHarn Paper Reading: Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan
摘要： Abstract rt 阅读全文
posted @ 2022-01-04 01:35 雪溯 阅读(26) 评论(0) 推荐(0) 编辑
Proj EULibHarn Paper Reading: Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code
摘要： Abstract rt 阅读全文
posted @ 2022-01-04 01:34 雪溯 阅读(25) 评论(0) 推荐(0) 编辑
Proj EULibHarn Paper Reading: Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
摘要： Abstract Sophisticated static analysis techniques often have complicated implementations, much of which provides logic for tuning and scaling rather t 阅读全文
posted @ 2022-01-04 01:24 雪溯 阅读(46) 评论(0) 推荐(0) 编辑
Proj EULibHarn Paper Reading: Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation
摘要： Abstract 和BigSpa一样https://www.cnblogs.com/xuesu/p/15760169.html 目的：large-scale 进程间分析 问题：计算代价和内存代价搞 本文：data-parallel, a join-process filter computation 阅读全文
posted @ 2022-01-04 01:10 雪溯 阅读(41) 评论(0) 推荐(0) 编辑