摘要：
1. Dynamic testing2. Other Dynamic analysis approaches (Mini-simulation + Fault Injection)3. Compiler-based dynamic Prevention tools4. Language-base tools5. Dynamic/static hybrid6. Operating System approaches7. Static source code analysis 阅读全文
摘要：
数据流分析本质上是流分析。数据流分析是典型的路径不敏感的，尽管可以定义数据流方程产生路径敏感的分析是可能的。以下介绍的内容并不特定于数据流分析。一个流敏感的分析会考虑程序中语句的顺序。举例来说，一个流不敏感的指针分析可能认为"变量x和y可能指向了同一位置"，而一个流敏感分析会认为"在语句20后，变量x和y可能指向了同一位置"。一个路径敏感的分析计算了依赖于分支条件的谓词的不同的信息。比如，如果一个分支条件是x>0，那么在条件不满足的分支，分析会假设x<=0；而在满足条件的分支，会假设x>0确实成立。一个上下文敏感的分析是一个交互过程分析 阅读全文
摘要：
ChinaUnix.net首页|论坛|博客|Linux|人才|培训|精华|Wiki|读书|资料|手册|下载|搜索ChinaUnix首页>精华文章>C/C++> 正文[精华] 跟我一起写 Makefilehttp://www.chinaunix.net 作者:gunguymadman发表于：2009-06-30 15:55:17【发表评论】 【查看原文】 【C/C++讨论区】【关闭】陈皓概述——什么是makefile？或许很多Winodws的程序员都不知道这个东西，因为那些Windows的IDE都为你做了这个工作，但我觉得要作一个好的和professional的程序员，make 阅读全文
摘要：
基于ajc的代码编织示例采用AspcetJ安装目录下的/doc/examples/tracing 1. 将aspect编织进java源代码 1）cd example 切到example目录下 2）ajc -argfile tracing\tracelib.lst -outjar tracelib.jar 编译生成一个只读的aspect库 3）ajc –aspectpath tracelib.jar –argfile tracing\notrace.lst –outjar tracedapp.jar 将aspect库编织进 notrace.lst中指定的所有文件的代码中，并最终... 阅读全文
摘要：
SymbolicExectuionwithMixedConcrete-SymbolicSolving（掺杂了具体符号求解的符号执行）概述：这篇文章分析了传统的静态符号执行的局限性（也就是决策过程或约束求解器不完善，以及不能处理外部库调用），并将其与基于DART（DirectedAutomaticRandomTesting）的动态符号执行方法进行了一系列的比较。在此之上，提出了一种方法，来克服传统静态符号执行的局限，同时保留可以进行回溯处理的优点（避免大量代码的重复执行；支持增量式约束求解）。这种方法的核心思想是：1）将生成的PC中的路径约束分为SimplePC和ComplexPC两种。所谓Si 阅读全文