I m从事一个相当复杂的项目,并作为另一个复杂因素,它成为一种内线的六氯环己烷模块。 运用诸如在这种法典基础上的pl等lin锁工具当然并非不可能...... *** ,但微乎其微的努力不足以取得一些进展。
Before I invest more time into this, I was hoping to garner some feedback and opinions on the issue. With enough flags, gcc does quite a lot of checking. Is using a separate static code analysis tool still worth it in practice?
[1] http://www.cs.virginia.edu/pipermail/splint-discuss/2005-January/000531.html
虽然splint 无疑是站不住脚的,但我认为,在短链氯化石蜡来源上使用这一系统所需的努力可能比它回头还要大。
然而,油轮开发商有自己的<代码>sparse工具进行一些类似的检查,并已将其使用深入地融入油轮来源。 把它纳入Documentation/sparse.txt,详见sparse<>。
有一个商业项目,Coverity,偶尔会发现许多“高重要性”的开放源项目。 他们用自己的工具,在Linotkernel来源发现了数以百计(如果不是数千)的 b。 (这是他们宣传其产品的一个好故事,美国政府正在对极其重要的法典进行大量审查,公开来源作者获得免费假报告,公开来源用户获取免费密码审查的好处。) 四舍五入!
是否值得你购买专家知识是另一个问题——但与<代码>sparse<>/code”相结合将给你带来固定代码检查工具的某些好处,而无需发放许可证。
In addition to the tools like sparse, I would suggest taking a look at LDV project. LDV is oriented towards checking Linux drivers in the first place. This system performs deeper static analysis than splint and sparse and can detect very elusive problems.
LDV是免费软件。
如果你想尝试,但却没有时间进行部署,他们拥有在线核查服务,在那里,你可以上载你的代码,并接受检查。
Following along from this question: how-do-i-check-if-gcc-is-performing-tail-recursion-optimization, I noticed that using gcc with -fPIC seems to destroy this optimization. I am creating a shared ...
I would like to know how to generate assembler code from a C program using Unix. I tried the gcc: gcc -c file.c I also used firstly cpp and then try as but I m getting errors. I m trying to build an ...
OK, I have old Metrowerks code for Mac and Windows where the previous developer used pre-compiled headers for every project that this code base builds. How does one get rid of Pre-compiled headers, ...
I have a number of places where I need to re-use some template code. Many classes need these items In a .h could I do something like: #include <xxx.txt> and place all of this code in the ....
I ve recently set up a MinGW + MSYS environment on my laptop to check how things are with Netbeans C/C++ support. Everything seems to work fine, however, during my testing I have noticed a difference ...
I d like to compile my application for version 10.5 and forward. Ever since I upgraded to Snow Leopard and installed the latest XCode, gcc defaults to 10.6. I ve tried -isysroot /Developer/SDKs/...
We can get the type returned by function in gcc using the typeof operator as follows: typeof(container.begin()) i; Is it possible to do something similar for functions taking some arguments, but not ...
Is it possible to create binaries of other platform on Linux? Say I have a program that can be compiled using gcc to .o file but can we use it to output exe that can be run on windows ?
