compilerconnection.com
Compiler Consulting Resources
http://www.compilerconnection.com/consultants/consultants.htm
Automated Compiler Performance Analysis Suite. Jobs for Compiler Developers and related technologies. Parsing, Code Generation, Optimization, Language Design, Debuggers, Compiler Theory. Dead Code Elimination, Hoisting, Function Inlining, Loop Fusion, Code Motion, Constant Folding, . C, C , Fortran, Ada, PL/1, Bliss, Pascal, Modula2, LISP. Optimization, code generation, runtime and math libraries, GCC internals, CGEN/SIM. Gcc compiler for 8 bit cpu (internet toaster). Modifications to gcc for PowerPC.
splint.cs.virginia.edu
Splint - Related Links
http://splint.cs.virginia.edu/links.html
This page collects some of the more interesting links related to Splint and static checking. If you maintain a site which you think belongs here, let. Guillaume Thouvenin's GCC AST Analysis Project is working on automatically producing Splint annotations. Information Survivability for Critical Infrastructure Protection. MIT's Software Design Group. Focuses on new kinds of tools: design checkers and error analyzers, among others. The Alloy Analyzer. Analyzes models written in Alloy. Research group at Stan...
lclint.cs.virginia.edu
Splint - Related Links
http://lclint.cs.virginia.edu/links.html
This page collects some of the more interesting links related to Splint and static checking. If you maintain a site which you think belongs here, let. Guillaume Thouvenin's GCC AST Analysis Project is working on automatically producing Splint annotations. Information Survivability for Critical Infrastructure Protection. MIT's Software Design Group. Focuses on new kinds of tools: design checkers and error analyzers, among others. The Alloy Analyzer. Analyzes models written in Alloy. Research group at Stan...
splint.org
Splint - Related Links
http://www.splint.org/links.html
This page collects some of the more interesting links related to Splint and static checking. If you maintain a site which you think belongs here, let. Guillaume Thouvenin's GCC AST Analysis Project is working on automatically producing Splint annotations. Information Survivability for Critical Infrastructure Protection. MIT's Software Design Group. Focuses on new kinds of tools: design checkers and error analyzers, among others. The Alloy Analyzer. Analyzes models written in Alloy. Research group at Stan...
sereferences.com
Software Engineering Tools
http://www.sereferences.com/testingtools.php
Open Source Tools for Software Testing and QA. Software Testing Tools Index:. Free Source Code Testing Tools. Other Source Code Testing Tools. Free Performance Testing Tools. Stress and Performance Testing Tools. Free HTML Testing Tools. HTML Validators and Link Checkers Tools. Web Site Security Testing Tools. Free Functional Testing Tools. Free Bug Tracking Tools. Free Java Testing Tools. Free PHP Testing Tools. Free JavaScript Testing Tools. Free NET Unit Testing Tools. Free Source Code Testing Tools.