sfermigier + static 12
Splint
april 2006 by sfermigier
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
april 2006 by sfermigier
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
april 2006 by sfermigier
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
march 2006 by sfermigier
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
march 2006 by sfermigier
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
march 2006 by sfermigier
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
march 2006 by sfermigier
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
* Difficult language features
* Misunderstood API meth
march 2006 by sfermigier
CPANTS - CPAN Testing Service
march 2006 by sfermigier
Testing portal dedicated to Perl's CPAN, using the Kwalitee index.
edosqa
software
perl
static
march 2006 by sfermigier
Pyflakes
march 2006 by sfermigier
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
Python Testing Tools Taxonomy
march 2006 by sfermigier
An exhaustive list of Python-based qa tools.
edosqa
collection
testing
unit
web
functional
gui
static
python
coverage
continuous-integration
march 2006 by sfermigier
Lint4j
march 2006 by sfermigier
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: