Introduction

Knowledge Software has been in the business developing tools for software development and source code analysis consultancy since 1983. The company has taken an active role in the creation of the C standard since 1987, the MISRA C++ guidelines since 2004, and more recently the ISO working group on programming language vulnerabilities. Past projects have included writing a portable front end for a validated C compiler, a front end for checking embedded SQL/2, a tool for converting Pascal like languages to C, and retargeting a Cobol intermediate code to a variety of RISC processors.

Books, articles and papers

• Empirical Software Engineering with R, a book under development.
• Various experiments on the behavior of professional software developers.
• The Shape of Code blog contains observations on software development.
• The slike tool attempts to generate words that sound like the input word.
• The numbers tool attempts to deduce the application domain addressed by source code.
• The New C Standard: An Economic and Cultural Commentary latest version of this book available for download (Jun 09: updated to version 1.2).
• Verifying claims of Open Systems conformance
• Checking an Applications use of API's
• Commentary on the MISRA C Guidelines.
• Migrating from 32 to 64 bit systems
• Applications POSIX.1 conformance testing
• Checking C code containing embedded SQL
• Reusing C code in Java
• Translating C to Ada
• Who guards the guardians?

Compiler validation

Call for more information, or to arrange a demonstration.

TEL: +44 1252-520667

© Copyright 1996-2014. Knowledge Software Ltd. All rights reserved;