sfermigier + static   12

Splint
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger ch
edosqa  software  static  c 
april 2006 by sfermigier
Artho Software - Jlint
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis and building the lock graph.
edosqa  software  java  static 
april 2006 by sfermigier
PMD
PMD scans Java source code and looks for potential problems like: * Possible bugs - empty try/catch/finally/switch statements * Dead code - unused local variables, parameters and private methods * Suboptimal code - wasteful String/StringBuffer usage * Ove
edosqa  software  static  java 
april 2006 by sfermigier
Checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. It automates the process of checking Java code to spare humans of this boring (but important) task. This makes it ideal for projects that want to enfor
edosqa  software  static  java 
march 2006 by sfermigier
PyChecker
PyChecker is a tool for finding bugs in python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++. It is similar to lint. Because of the dynamic nature of python, some warnings may be incorrec
edosqa  software  python  static 
march 2006 by sfermigier
PyLint
Pylint is a python tool that checks if a module satisfy a coding standard. Pylint can be seen as another PyChecker since nearly all tests you can do with PyChecker can also be done with Pylint. But Pylint offers some more features, like checking line-code
edosqa  software  static  python 
march 2006 by sfermigier
FindBugs - Find Bugs in Java Programs
FindBugs looks for bugs in Java programs. It is based on the concept of bug patterns. A bug pattern is a code idiom that is often an error. Bug patterns arise for a variety of reasons:

* Difficult language features
* Misunderstood API meth
edosqa  static  software  java 
march 2006 by sfermigier
CPANTS - CPAN Testing Service
Testing portal dedicated to Perl's CPAN, using the Kwalitee index.
edosqa  software  perl  static 
march 2006 by sfermigier
Pyflakes
Pyflakes is a simple program which checks Python source files for errors. It is similar to PyChecker in scope, but differs in that it does not execute the modules to check them. This is both safer and faster, although it does not perform as many checks.
edosqa  software  static  python 
march 2006 by sfermigier
Lint4j
Lint4j ("Lint for Java") is a static Java source and byte code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph
edosqa  java  static  software 
march 2006 by sfermigier

Copy this bookmark:



description:


tags: