Search Results for "static analysis tools for python" - Page 6

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

This project hosts tools used for analysis of Gaussian Mixture Distributions (GMDs) which are used for statistical signal processing. The tools are libraries for implementing GMD operations and programs used to analyze properties of GMDs.

PyChecker is a static analysis 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.

pyastrolib is a python library providing professional astronomers a robust set of tools for astronomical data analysis. This project will provide all the functionality as NASA's IDL Astronomy User's Library in addition to other planned features.

"No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)

pycallgraphTAexport is an extension of the python module pycallgraph. pycallgraphTAexport is a modified version of pycallgraph which adds the ability to export in the TA (tuple-attribute) format used by many software architecture analysis tools.

Fluxor is a python command-line tool that takes a Metabolic network specified in the Systems Biology Markup Language (SBML) and performs Flux Balance Analysis (FBA) using the Gnu Linear Programming Kit (GLPK) and SWIG.

This project contains a set of tools for formal verification and static analysis of VHDL design.

RTL-Check is a framework for static analysis of programs from a safety and security perspective. It performs analysis on RTL, which is the low-level intermediate representation generated by GCC

FramerD is a distributed semi-structured object database originally developed at MIT. It provides an internationalized Scheme-based scripting language, built-in text analysis tools, and special support for web scripting.

ExpLab is a set of tools that supports the running, documentation and evaluation of computational experiments.

Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.

Simple Python-based Static Code Analyzer for C programs based on GLib/GStreamer. The tool takes advantage of the GObject-Introspection annotations built on top of GTK-Doc comment blocks. Note that this tool is proof-of-concept only.

JBoss diagnostics: JBoss-related diagnostic and debugging tools (static code analysis, profiling, log file collation / filtering / scanning, etc)

...It covers major testing areas such as Unit Testing, Functional Testing and Regression Testing. Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture

This is project is a refactoring assistant kit. It intends to provide tools and script to help refactor C++ code, replacing our usual search'n'replace by providing some rough code analysis and IDE specific plug-ins for integration.