Free Software Foundation!

Join now

Category/Software-development/static-analysis

From Free Software Directory
Revision as of 13:40, 27 November 2013 by Jgay (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation,

Broaden your selection: Category/Software-development

Category/Software-development Search icon.png

static-analysis (5)



AdaControl
AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide.

This package also contains the following utilities:

  • pfni: Print Full Name Image - expands any identifier to a

fully-qualified name

  • ptree: Prints a graphic representation

of an ASIS tree with corresponding source

Adlint
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.

Cf4ocl
The C Framework for OpenCL, cf4ocl, is a cross-platform pure C object-oriented framework for developing and benchmarking OpenCL projects. It aims to:

  • Promote the rapid development of OpenCL host programs in C (with support for C++) and avoid the tedious and error-prone boilerplate code usually required.
  • Assist in the benchmarking of OpenCL events, such as kernel execution and data transfers. Profiling comes for free with cf4ocl.
  • Simplify the analysis of the OpenCL environment and of kernel requirements.
  • Allow for all levels of integration with existing OpenCL code: use as much or as few of cf4ocl required for your project, with full access to the underlying OpenCL objects and functions at all times.

Features:

  • Object-oriented interface to the OpenCL API
 * New/destroy functions, no direct memory alloc/free
 * Easy (and extensible) device selection
 * Simple event dependency mechanism
 * User-friendly error management
  • OpenCL version and platform independent
  • Integrated profiling
  • Advanced device query utility
  • Offline kernel compiler and linker

FOSSology
http://sourceforge.net/projects/fossology/ Scan files for licenses and copyrights, perhaps more analysis in the future.

Vnu
Validator.nu is a tool for validating HTML files. It can be used from the command line, deployed as a web-based service, or integrated into a number of popular build tools.




Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.


Personal tools
Namespaces

Variants
Actions
Navigation
Contribute