摘要:
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 阅读全文