- 博客(2)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 clang static analyzer源码分析（番外篇）：RegionStore以及evalCall()中的conservativeEvalCall
介绍clang static analyzer对于RegionStore的实现，以及对函数inline时的conservativeEvalCall机制进行分析
2016-10-27 11:38:43
3685
3
原创 clang static analyzer源码分析（番外篇）：evalCall()中的inline机制
引子我们在clang static analyzer源码分析（一）中介绍到，path-sensitive analysis的两种形式，一种是inline形式的分析，一种是非inline形式的分析。在静态分析的过程中，函数是否inline，属于过程间分析（interprocedural analysis）讨论的概念。对于两种形式来说，各有优劣，但基本上来说函数inline形式的分析得到的结果更为准确。
2016-10-16 22:35:56
4365
Modern Compiler Design (David Galles 2004)
Modern Compiler Design (David Galles 2004)讲解现代编译器的设计，其中关于词法分析和语法分析部分，使用Lex和Yacc来实现。
2014-10-09
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人