Showing results: 1 - 15 of 33 items found.
-
-
Wind River
For over 30 years, Wind River Diab Compiler has been helping developers create safety-critical applications in the automotive, industrial, medical, and aerospace industries. Diab Compiler can help software teams boost application performance, reduce memory footprint, and produce high-quality, standards-compliant object code for embedded systems.
-
Phaedrus Systems Ltd
Byte Craft has been producing a select range of highly optimised compilers and development tools since 1976. The current processor targets are shown below. Byte Craft is, like Phaedrus Systems heavily involved in the international standards panels for C.
-
RK-System
We offer C / C ++ and BASIC compilers for various types of microprocessors.Our offer includes tools for the following processors: ARM, 8051, Freescale: S08, HCS12, CF, Texas Instruments MSP430, Atmel AVR, AVR32, Motorola CPU12, CPU16, Maxim / Dallas MAXQ, National Semiconductor CR16C, Renesas: 78K, H8, M16C / R8C, RL78, M32C, R32C, RX, V850, SH, RH850, Samsung: SAM8, STMicroelectronics: STM8, ST7, ST6, Power PC.
-
SuperTest -
Solid Sands B.V.
SuperTest is the test and validation suite for C and C++ compilers that has tracked the (ISO) language specifications for more than 30 years. It is a complete validation environment with: A huge library of hand-written test, A large body of generated tests, A framework to easily set-up and run compiler validations.
-
ConMan -
Excellicon Inc.
ConMan is the first commercially available formal constraints compiler tool that automatically generates SDC for any level of hierarchy and for any mode of a SoC, thereby significantly shortening the timing closure cycle. ConMan provides an intuitive means of automatically compiling and managing sign-off quality correct-by-construction timing constraints for all applications.
-
CompCert -
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
TestCast -
Elvior OÜ
TestCast is a full featured TTCN-3 based test auto-mation package. TTCN-3 test scripts can be generated automatically based on a model or written manually. Scripts can then be compiled and executed on a SUT and the results can be viewedand analysed in an intuitive graphical interface. TestCast is a comprehensive, all in one solution for all your test automation needs. TestCast can test both software and hardware from a wide array of industries and applications.
-
Custom Computer Services
CCS developed the first C Compiler for Microchip microcontrollers over 20 years ago and continues to provide software solutions to developers of embedded applications using PIC® MCU and PIC24/dsPIC® DSC devices. CCS compilers are easy to use and quick to learn. For the less experienced programmer, a detailed textbook explaining the C language and how it may be applied to PIC® microcontrollers.
-
Custom Computer Services
CCS developed the first C Compiler for Microchip microcontrollers over 20 years ago and continues to provide software solutions to developers of embedded applications using PIC® MCU and PIC24/dsPIC® DSC devices. CCS compilers are easy to use and quick to learn. For the less experienced programmer, a detailed textbook explaining the C language and how it may be applied to PIC® microcontrollers.
-
-
Cosmic Software
All Cosmic C Cross Compilers for Windows include IDEA - Cosmic's own integrated development environment which is preconfigured for the the compiler it comes with. IDEA is designed specifically for developing embedded applications with Cosmic compilers. IDEA integrates an editor, project manager, graphical smart build/make facility, program analyzer, link file generator, documentation manager and ZAP debugger into one easy to use environment running under Windows Windows 7, XP and compatible. IDEA includes the following features:
-
ARMKeil
The ANSI and ISO/IEC standard for the C Programming Language specifies that there are two forms of conforming compiler implementations: hosted and freestanding.
-
PHPSA -
Dmitry Patsura
PHPSA is a development tool aimed at bringing complex analysis for PHP applications and libraries.*Static analysis*Code metrics*Branch prediction*Sandbox (AST) Compiler
-
CODECHECK -
Abraxas Software, Inc.
CodeCheck is a programmable tool for checking all C and C++ source code on a file or project basis. CodeCheck is input compatible with all variants of Standard K&R C, Standard ANSI-C/C++, and all C and C++ compiler vendors. We support GCC-GNU Open Source C/C++ compilers. CodeCheck is designed to solve all of your Portability, Maintainability, Complexity, Reusability, Quality Assurance, Style Analysis, Library/Class Management, Code Review, Software Metric, Standards Adherence, and C++ Corporate Compliance Problems.
