| Directory > Computers > Programming > Languages > C > Tools ASTREE
A static analyzer analyzes reactive, critical, real-time programs written in the C programming
language and looks for runtime errors. All possible errors are detected by the analyzer, with
minimal "false alarms".
http://www.astree.ens.fr/
Reviews Rating: Not yet Rated
Whois Check
Myer
Colorizes identifiers and constants to show their marginal cost to the program's coupling and
cohesion metrics. [GPL]
http://home.comcast.net/~jyavner/myer/
Reviews Rating: Not yet Rated
Whois Check
Crystal C
C source code editor with interactive flowcharts, automatic formatting, file dependency graphs,
function call graphs, Class hierarchy graphs. By Software Authomation Research Corp.
http://sgvsarc.com/crystal_c.htm
Reviews Rating: Not yet Rated
Whois Check
CC Shell
Allows C source files to be directly executed as scripts (using #!), speeding development and
simplifying maintenance.
http://ccsh.sourceforge.net/
Reviews Rating: Not yet Rated
Whois Check
C Module Viewer (CMV)
A small and smart programming tool that supports software engineering under C in the subjects
modularity, overview and navigation (for Windows 9x/NT/2000). By Ezer Programmings.
http://www.ezer.de/
Reviews Rating: Not yet Rated
Whois Check
Insure++
An error detection tool for C/C++ that automatically finds hidden errors at the source code level.
http://www.parasoft.com/jsp/products/home.jsp?product=Insure&/index.htm
Reviews Rating: Not yet Rated
Whois Check
Lint Plus
Source code analyzer, detects problems compilers cannot catch, by Cleanscape Software.
http://www.cleanscape.net/products/lintplus/
Reviews Rating: Not yet Rated
Whois Check
ccache
Acts as a caching pre-processor to C/C++ compilers, which often results in a 5 to 10 times speedup
in common compilations. [Open Source, GPL]
http://ccache.samba.org/
Reviews Rating: Not yet Rated
Whois Check
Compilercache
Caches compiled object files to dramaticly speed up compiles. More convenient than make, and speeds
up builds (like RPM builds) that make doesn't. Obsoleted by ccache.
http://www.erikyyy.de/compilercache/
Reviews Rating: Not yet Rated
Whois Check
C to Java converter
Convert C preprocessed source to Java.
http://www.soften.ktu.lt/~stonis/c2java/index.html
Reviews Rating: Not yet Rated
Whois Check
Exuberant Ctags
Generates an index (or tag) file of C language objects found in C source and header files that
allows these items to be quickly and easily located by a text editor or other utility. [Open
Source, GPL]
http://ctags.sourceforge.net/
Reviews Rating: Not yet Rated
Whois Check
CodeSurfer
An analysis and inspection tool that lets software developers and maintainers easily understand
detailed dependence relations in source code.
http://www.grammatech.com/products/codesurfer/
Reviews Rating: Not yet Rated
Whois Check
LCLint
Tool for statically checking C programs, GPL.
http://lclint.cs.virginia.edu/
Reviews Rating: Not yet Rated
Whois Check
CCured
Source-to-source translator for C, which analyzes the program to determine the smallest number of
run-time checks that must be inserted in the program to prevent all memory safety violations.
http://manju.cs.berkeley.edu/ccured/
Reviews Rating: Not yet Rated
Whois Check
The Codist
Check this site for a survey of source code comprehension tools (these show flow and/or
relationships of function within the program in a graphical and/or text manner). Both free and
commercial products are listed.
http://members.tripod.com/codist/
Reviews Rating: Not yet Rated
Whois Check
|
