Cppcheck - A tool for static C/C++ code analysiscppcheck.sourceforge.netCppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. T…

https://www.softwaretestinghelp.com/tools/top-40-static-code-analysis-tools/ In this article, I have summarised some of the top static code analysis tools. Can we ever imagine sitting back and manually reading each line of codes to find flaws? To eas…

http://www.sw-engineering-candies.com/blog-1/comparison-of-findbugs-pmd-and-checkstyle https://stackoverflow.com/questions/4297014/what-are-the-differences-between-pmd-and-findbugs findbugs实践: https://www.ibm.com/developerworks/library/j-findbug1/ind…

https://www.checkmarx.com/2014/11/13/the-ultimate-list-of-open-source-static-code-analysis-security-tools/ Doing security the right way demands an army – of developers, security teams, and the tools that each uses to help create and maintain secure c…

静态时序分析(static timing analysis,STA)会检测所有可能的路径来查找设计中是否存在时序违规(timing violation).但STA只会去分析合适的时序,而不去管逻辑操作的正确性. 其实每一个设计的目的都相同,使用Design Compiler和IC Compile来得到最快的速度,最小的面积和最少的耗能.根据设计者提供的约束,这些工具会在面积,速度和耗能上做出权衡. 更深层的来看,STA一直都寻找一个问题的答案 : 在所有条件下,当时钟沿到达时,数据会正确地在每个…

此博文依据 特权同学在电子发烧友上的讲座PPT进行整理而成. static timing analysis   静态时序分析基础 过约束:有不必要的约束,或者是约束不能再某一情况下满足.——约束过头了 欠约束:有些必要的约束条件没有附加到约束中. 时钟周期  Tclk 占空比  = Thigh/Tclk 建立时间 Tsu  与保持时间Th.数据必须在 Tsu + Th时间内稳定 寄存器到寄存器(reg  to  reg )路径 pin  to reg reg  to  pin reg  to r…

MEME(Motif-based sequence analysis tools)使用说明 2011-05-27 ~ ADMIN MEME是用于从一堆序列中搜索功能结构域的工具.比如说当你拿到了许多CHIP-chip或者CHIP-seq的数据,当分析出峰所处的位置之后可以得到一些这些峰所代表的序列,这就是蛋白质与DNA相到作用所保护下来的片段.所以使用MEME搜索其中非常相似的序列片段就可能是有一定功能的结构域. 所以,MEME的输入必须至少有一个Pearson/FASTA格式的序列文件. 命令…

@ 目录 问题 细节 的损失函数 算法 投影 坐标系 载荷向量 A pure L1-norm principal component analysis 虽然没有完全弄清楚其中的数学内涵,但是觉得有趣,记录一下. 问题 众所周知,一般的PCA(论文中以\(L_2-PCA\)表示)利用二范数构造损失函数并求解,但是有一个问题就是会对异常值非常敏感. 所以,已经有许多的PCA开始往\(\ell_1\)范数上靠了,不过我所知道的和这篇论文的有些不同. 像是Zou 06年的那篇SPCA中: 注意到,\(\…

There are some useful tools in Unix/Linux to check out how the system is going on. Here is a short summery of them: This comes from a link below. =======8X-----------Start-of-quotation------------X8======= Linux性能诊断工具 http://www.2cto.com/os/201409/33…

类型分析,个人理解就是(通过静态分析技术)分析出代码中,哪些地方只能是某种或某几种数据类型,这是一种约束.   例如,给定一个程序: 其中,我们可以很直接地得到一些约束: 最后,经过简化可以得到: 对于给定的变量类型,如果他们不符合这个约束,则说明,他们是不合法的. 那么,怎么去提取以及维护这些约束呢? 采用一种"并查集"的结构:一个有向图,每个节点有一条边指向父节点(父节点则指向自己).如果两个节点具有相同的父节点,那么,这个两节点就认为是等价的,即含有相同的数据类型. 以下是并查集…