- 浏览: 200488 次
- 性别:
- 来自: 上海
最新评论
-
Me_is_vector:
jxf657012724 写道如果用maven管理jar包。记 ...
jasperreports不能导出PDF格式:Could not load the following font -
jxf657012724:
如果用maven管理jar包。记得iText2.X和 iTex ...
jasperreports不能导出PDF格式:Could not load the following font -
我是大土豪:
都2017年了,还没写完?
十二步学会Scala-3 -
xiaodongjsj:
都2016年年底了,还没写完吗?
十二步学会Scala-3 -
WesTwardblue:
好东西,给楼主赞一个
十二步学会Scala-2
http://www.laatuk.com/tools/review_tools.html
Inspection/Review Tools, Source/Binary Code Static Analyzers
Tool name |
Platform |
Tool vendor |
Comments |
|
|
links to Java open source code analysis tools |
|
|
|
links to tool vendors, check Reviews and Measurement tools |
|
|
|
List static source code analysis tools for C |
|
|
|
Many testing tools provide metrics and can thus facilitate inspections/reviews, too |
|
|
|
Some metrics tools facilitate inspections/reviews, too |
|
Viva64 |
Windows/add-in for Visual Studio |
A lint-like tool for searching of errors and possible problems in C/C++ code while porting the application to the 64-bit platform |
|
TICS Solution |
Windows, Linux |
Consists of 1. checking compliance to coding standards by means of code checkers 2. monitoring coding standard compliance through time by means of so called quality databases 3. improving programs with the aid of code beautifier |
|
Project Analyzer |
Windows |
Static code analysis tool for Visual Basic, VB.NET and VBA. Code review, diagramming, document generation and generates 180 metrics. |
|
FlexeLint for C/C++ |
Unix, Mac OS X, VMS |
C/C++ source code analyzer |
|
PC-Lint for C/C++ |
Windows, MS-DOS |
C/C++ sourcpoe code analyzer |
|
PMD |
|
Java source code analyzer |
|
Aubjex |
|
Java source analysis, dynamic analyzer, source code formatter, etc. |
|
assent |
|
C and Java source code analyzer |
|
AzoJavaChecker |
Java 2 |
Java source code analyzer |
|
CodePro Analytix |
Windows, Linux |
Java source code analysis (700+ rules), code metrics, test generation, code coverage, dependency analyzer, etc. |
|
crucible |
|
Tool to facilitate code inspection process |
|
QS-Enterprise |
Windows, Linux, Solaris |
Quality assesment and reporting tool which integrates with 3rd party code analysis tools |
|
QJ-Pro |
Windows, Linux, SOlaris |
Open source tool for Java source code analysis |
|
CodeScanner |
Symbian |
Static source code analysis tool |
|
SourceAudit |
Windows |
Evaluates compliance to coding standards of C/C++ code |
|
JStyle |
|
Java code review tool based on coding guidelines, provides also OO metrics |
|
Code Analyzer |
Windows, Unix, Linux, Mac OS X |
Reviews Java code and enforces coding practices |
|
CodeReviewer |
|
”Automates” the peer code review process, supports multiple remote reviewers, automated audit trails, SCM integration, and custom reviewer checklists |
|
Code Reports |
|
Correlates code changes with bug fixes, feature implementations |
|
Code Collaborator |
|
Faclitates code inspection process |
|
CodeSurfer |
Windows, Unix, Linux |
C source code analyser, performs pointer analysis, draws caal graphs, dependency analysis, etc. |
|
Understand |
Windows, Unix |
Parses Ada 83, Ada 95, FORTRAN 77, FORTRAN 90, FORTRAN 95, K&R C, ANSI C and C++, and Java source code to reverse engineer, automatically document, calculate code metrics, and help understand, navigate and maintain source code |
|
QStudio |
Windows |
Source code analyzer to collect many metrics, to check comformance to coding standards, etc. |
|
Coverity Prevent |
Windows, Unix |
Static C/C++ source code analyzer to detect defects like, null pointer dereference, use after free, double free, deadcode caused by logical errors, uninitialized variables, memory leaks, file handle leaks, security vulnerabilities (e.g. buffer overflows, missing/insufficient validation ofmalicious data and string input, etc., etc. |
|
Cleanscape Lint Plus for C |
|
C source code analyzer for unreachable code, unconditional branches, into loop, undeclared variables, uninitialised variables, parameter type mismatches, misuse of pointers, etc., etc. |
|
Cleanscape FortanLint |
|
Fortan source code analyzer for inappropriate arguments passed to functions, inconsistencies in common block declarations, portability problems, like non-portable code, type usage conflicts across different subprograms/ program units, dead code, etc., etc. |
|
QA-C, QA, QA-MISRA, QA-High-Integrity-C, QA-C++, QA-J, QA-Fortran |
Windows, Unix |
Source code quality analysis and coding standards compliance checking tools for C/C++, Java and Fortran + provides several metrics |
|
jDEPEND |
Java |
JDepend (BSD license) traverses Java class file directories and generates design quality metrics for each Java package. JDepend measure the quality of a design in terms of its extensibility, reusability, and maintainability to manage package dependencies effectively. |
|
Spin |
Unix, Windows, MAc |
Spin has been used to trace logical design errors in distributed systems design, such as operating systems, data communications protocols, switching systems, concurrent algorithms, railway signaling protocols, etc. The tool checks the logical consistency of a specification. It reports on deadlocks, unspecified receptions, flags incompleteness, race conditions, and unwarranted assumptions about the relative speeds of processes. |
|
UNO |
Unix, Windows |
Checks from C programs use of uninitialized variable, nil-pointer references, and out-of-bounds array indexing + a broad range of user-defined properties |
|
Hammurapi |
Java |
Java review tool (open source) which has numerous embedded inspection rules |
|
CCCC |
Windows, Unix |
C/C++ and Java source code metrics open-source tool |
|
K7 |
Unix, Linux, Windows |
Analyses C, C++ and Java source code for many kinds of defects (memory, unsafe, NULL pointer dereference, out-of-bounds array access, etc.), security vulnerabilities, potential areas of code optimatization + produces many metrics |
|
SmartRisk Analyzer |
Windows, Unix |
Scans C/C++ binaries for security vulnerabilities. |
|
BugScan |
Windows, Linux |
Scans C/C++ binaries for security vulnerabilities. Runs as a web based service. |
|
CodeAssure (product family) |
Windows, Linux, Java |
Checks security vulnerabilities from C, C++ and Java programs |
|
SecurityChecker |
Windows |
Checks and corrects security vulnerabilities from C# and Visual Basic programs |
|
Flawfinder |
Unix (Perl) |
Checks security vulnerabilties |
|
ITS4 |
Windows, Unix |
Checks buffer overflow vulnerabilities from C/C++ source code |
|
Imagix 4D |
Windows, Unix, Linux |
Points out exceptions to generally agreed upon design and coding practices |
|
|
|
Reasoning provides source code inspection services |
|
GroupReview |
www/Java |
Center of the Management of Information, University of Arizona (> Collaboartion > Collaboratus > GroupReview) |
Web based collaboartion tool for supporting inspections. |
Codestriker |
CGI script (Perl) |
Web based collaboration tool, enables virtual code reviews, manages review comments: among other things puts source code and reviews comments side by side, |
|
ReviewPro |
web browser, server: Unix/Windows |
Enables virtual reviews/inspections, web based collaboration tool |
|
Jtest, C++ Test |
Unix, Windows |
checks code’s compliance with C++ and Java coding standards (+ generates test harnesses, test cases and stubs automatically, etc.) |
|
CodeAdvisor (part of Softbench |
Unix |
发表评论
-
The RUP for Practical Software and Systems Measure
2008-04-14 20:52 1603http://www.ibm.com/developerwor ... -
Some of the principles behind the Agile Manifestoz
2008-03-20 15:52 1107Customer satisfaction by rapid, ... -
Advanced Unit Test, Part V - Unit Test Patternszz
2008-03-20 14:20 1372http://www.codeproject.com/KB/a ... -
Automated unit Bestpractise
2008-03-20 13:46 1025Automated unit testing Continu ... -
zzScrum backlog templates and examples
2008-03-17 07:13 1239http://agilesoftwaredevelopment ... -
zzWhy do we create unit tests?
2008-03-16 22:12 1248Why do we create unit tests? ... -
Scrum resource_web site
2008-03-16 02:18 891Scrum Alliance http://www.scru ... -
zzNLM Insight Segmentation & Registration Toolkit
2008-03-14 00:18 1761http://www.itk.org/HTML/Testing ... -
zzIntranet case study: McDonald’s Intranet
2008-03-13 15:04 1418http://intranetblog.blogware.co ... -
zzIntranet design is not about design
2008-03-13 15:03 1043http://intranetblog.blogware.co ... -
zzIntranet portal case study: Vanguard Group Intra
2008-03-13 15:01 1631http://intranetblog.blogware.co ... -
zzIntranet case study: Canon Australia
2008-03-13 14:54 1310http://intranetblog.blogware.co ... -
zzFree Sharepoint & more Web 2.0 mediocrity
2008-03-13 14:52 948http://intranetblog.blogware.co ... -
zzNew on eSnips: Community Micro Portals
2008-03-13 14:47 1628http://esnips.blogs.com/about_e ... -
Intranet portal case study: Nordea
2008-03-13 14:41 1710http://intranetblog.blogware.co ... -
zzPortal: Select Application pattern
2008-03-13 14:39 1222http://www.ibm.com/developerwor ... -
Portal_Diagram
2008-03-13 14:23 831... -
zzBusiness Strategy Supporting Portal Implementati
2008-03-13 14:22 897http://www.bea.com/framework.js ... -
zzDesigning a Successful Portal Deployment
2008-03-13 14:21 1024http://www.bea.com/framework.js ... -
zz将看板应用于软件开发:从敏捷到精益
2008-03-13 13:42 1982http://www.infoq.com/cn/article ...
相关推荐
public BinaryTree findNode(BinaryTree tree ,char sign); /**找所给结点的左子树*/ public BinaryTree lChildren(BinaryTree node); /**找所给结点的右子树*/ public BinaryTree rChildren(BinaryTree node);...
cef3 binaris : 32bit -> http://opensource.spotify.com/cefbuilds/cef_binary_3.3071.1634.g9cc59c8_windows32.tar.bz2 64bit -> ...
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code是发表在NDSS'16会议上的论文。本文在SP'15的基础上提出了在效率和效果上都有提高的跨架构二进制代码漏洞检测方案。 Abstract & ...
请看我博客里的说明: http://blog.csdn.net/singlerace/archive/2006/12/11/1439048.aspx
集成chrome 内核收集到的 cef_binary , 包含cef 1x,2x,41,43 版本。 具体看 https://www.spotify.com/sg-en/opensource/ cef 对应 chrome版本 cef_binary_3.2357.1271.g8e0674e_windows32 cef_binary_3.2704.1414.g...
reengineering methods using binary code disassembly
32位-> http://opensource.spotify.com/cefbuilds/cef_binary_80.1.15%2Bg7b802c9%2Bchromium-80.0.3987.163_windows32.tar.bz2 64位-> http:// opensource .spotify.com / cefbuilds / cef_binary_80.1.15%2Bg7b...
// Description: Encoder/Decoder for a (48, 36, 5) binary BCH code // This programs illustrates the use of PGZ decoder for t=2
android允许所有用户获取root权限,编译生产su可执行文件,需要拷贝到system/xbin/目录下,并需要修改权限chown root root /system/xbin/su chmod 6755 /system/xbin/su
Jointly Learning Binary Code for Large-scale Face Image Retrieval and Attributes Prediction
自己写的一些简单算法和数据结构的代码 快排 堆排 归并 二分查找 单链表
Learning Linux Binary Analysis is packed with knowledge and code that will teach you the inner workings of the ELF format, and the methods used by hackers and security analysts for virus analysis, ...
code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above // copyright notice, this list of ...
"binary-tools win编译php工具包"是专为在Windows 32位系统上进行PHP源码编译而设计的一套工具集合。这个工具包简化了在Windows平台上构建PHP的复杂过程,使开发者无需从零开始准备各种依赖工具。 首先,让我们来...
3.下载 32bit ->http://opensource.spotify.com/cefbuilds/cef_binary_3.2987.1596.gc2b4638_windows32.tar.bz2 4.将新的“chrome_elf.dll”和“libcef.dll”复制到c:\ windows 。运行Delphi并重新安装CEF4Delphi 5...
Binary, /// /// 执行文本比较。此成员等效于 Visual Basic 常数 vbTextCompare。 /// </summary> Text } internal static readonly CompareInfo m_InvariantCompareInfo = null;
例如,上面的错误可能需要安装`apt-utils`和`aufs-tools`等包。 **源码编译步骤** 1. 安装必要的构建工具和Go语言环境,包括`make`, `git`, `golang`等。 ``` apt-get install make git golang ``` 2. 克隆...
`atools` 还包含了与飞行模拟相关的实用工具,比如BGL(Binary Geometry Language)阅读器。BGL是用于描述Flight Simulator游戏场景中地形、建筑物和其他元素的文件格式。这个阅读器可能用于解析、编辑或转换BGL文件...
发展git clone https://github.com/binary-com/binary-bot.gitcd binary-botgit checkout devnpm installnpm start注意:请从开发人员处分支您的工作,并确保您的本地开发人员是最新的上游开发人员部署到本地gh页npm...
### Matters Computational: Key Insights, Algorithms, and Source Code #### Overview "Matters Computational" is a comprehensive resource designed for computationalists, including professional ...