`

static source code checking tools

阅读更多

基于eclipse的静态代码检查工具

 

 

checkstyle

http://eclipse-cs.sourceforge.net/update

 

pmd

http://pmd.sourceforge.net/eclipse

 

findbugs

http://findbugs.cs.umd.edu/eclipse

 

 

分享到:
评论

相关推荐

    Game Coding Complete 3rd Source Code

    If you are learning 'Game Coding Complete 4th' and have troubles and questions about the difference between code in book with some in ...find some help while checking the source code of 3rd edition....

    Open Source Intelligence Methods and Tools

    Open Source Intelligence Methods and Tools focuses on building a deep understanding of how to exploit open source intelligence (OSINT) techniques, methods, and tools to acquire information from ...

    Extended Static Checking for Java

    本文介绍了一种名为扩展静态检查器(Extended Static Checker for Java,简称ESC/Java)的实验性编译时程序检查工具,该工具能检测常见的编程错误。 #### 核心概念和技术 **1. 验证条件生成和自动定理证明技术** ...

    Model Checking-Edmund M. Clarke-模型检查PDF

    Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis ...

    MaTeX v1.6.3

    v1.6.3 @szhorvat szhorvat released this 25 days ago · 8 commits to master since this release More robust error checking and reporting Documentation improvements ... Source code (tar.gz)

    Handbook of Model Checking

    course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springer should certainly award that reader a Master’s Degree inModel Checking! Departments in...

    Principles of Model Checking(Model Checking经典书籍)

    Model Checking经典书籍,如果做形式化验证的话属于必读系列

    SourceInsight 4.00.0124版本

    This is the patch itself, helps to skip RSA signature checking, same time prevent access to internet. 3. Use keygen "si4_kgen_unis.exe" to generate the license file. 4. Run Source Insight 5. If it ...

    JavaScript-Source-Code-Analyzer:师资项目-java project source code

    JavaScript源代码分析器是一个开源项目,专为教育和学习JavaScript编程设计。...无论是对于开发者还是教育者,JavaScript-Source-Code-Analyzer都是一个宝贵的学习资源,有助于提高技能和教学效果。

    Castalia 2013.4 for Delphi 7-XE5

    Castalia removes the barriers that prevent programmers from practicing good code maintenance techniques, including code navigation tools and the most innovative refactoring tools available for Delphi...

    MIT 6.005 Reading 1 Static Checking(带中文笔记).pdf

    在这份来自MIT的课程讲义中,涉及了软件工程的基础概念,特别关注了静态检查(Static Checking)。以下是从讲义内容中提炼出的关键知识点。 ### 课程名称与简介 - **课程名称**: MIT 6.005 Software Construction -...

    CPN Tools中文帮助

    这包括一致性检查(Consistency Checking)和安全性检查(Safety Checking),确保模型不会陷入无效状态或违反预设规则。 4. **库与模板**:CPN Tools包含丰富的库元素和预定义模板,便于快速构建常见的系统模型。...

    [Go语言入门(含源码)] The Way to Go (with source code)

    3.7 Other tools...............................................................................................................41 3.8 Go’s performance....................................................

    Principles of Model Checking

    模型检测(Model Checking, MC)是一种自动验证技术,用于检查一个系统的模型是否满足特定的形式化属性。这种方法广泛应用于软件工程、计算机系统设计等领域,特别是在安全性关键的应用场景中。 #### 二、系统验证的...

    VB.programming.size.self.checking.code.detection.r_self

    VB编程检测大小自校验代码VB programming the size of self-checking code detection

    DFT Compiler RTL Test Design Rule Checking User Guide

    DFT Compiler RTL Test Design Rule Checking User Guide 本用户指南旨在帮助用户熟悉 DFT Compiler RTL Test Design Rule Checking 工具的使用。该工具是一款功能强大且灵活的设计规则检查工具,旨在帮助用户确保...

    Checking_Correctness_of_Code_Generator_Architecture_Specifications.pdf

    Checking Correctness of Code Generator Architecture Specifications 是一篇发表在CGO'2015会议上的论文。这篇文章的主要贡献就在于提供了一个GCC的RTL的解释器,以及一个有效的架构无关的test case生成策略 Intro...

Global site tag (gtag.js) - Google Analytics