Broaden your selection: Category/Software-development
- 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
- ptree: Prints a graphic representation
of an ASIS tree with corresponding source
- 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.
- 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.
- 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
- http://sourceforge.net/projects/fossology/ Scan files for licenses and copyrights, perhaps more analysis in the future.
- 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.