Filter Results By:

Products

Applications

Manufacturers

Showing results 1 - 15 of 37 products found.

  • Compiler Validation Service

    Phaedrus Systems Ltd

    Phaedrus Systems can supply compiler validation for C compilers. This is Validation not Certification because at the current time there is no Certification for C compiler as there is/was for Ada or Pascal compilers. Compiler validation is essentially the highly controlled, repeatable and reproducible testing of a compiler using a validation suite - a recognised set of test programs. The purpose of such testing is to provide a reliable indication of how well a compiler complies with the standard for the language that it implements.

  • Compiler Test & Validation Suite

    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. A report generator that provides comprehensive overviews of validation results in multiple formats, including HTML, and will immediately identify regressions of the latest compiler build compared to a designated reference.

  • Constraints Compiler Tool

    ConMan - Excellicon Inc.

    ConMan generates and maintains a single source of data for use by both front-end and back-end designers to capture, generate, verify and manage design timing constraints for all modes of operation while providing feedback to designer at all stages of the design. Using ConMan designers can start generating timing constraints right from the start of RTL development by front-end engineers all the way to the implementation stage by back-end team. As more information becomes available, user can take advantage of available data to further refine and complete the constraints. All information is traced through ConMan and can be reviewed through reports or visualization of simulated timing data.

  • Formally Verified Optimizing C Compiler

    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.

  • TTCN-3 editor, compiler, debugger, execution

    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 viewed and 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.

  • Code Optimizing C Compilers for Microchip PIC® and dsPIC® DSCs

    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.

  • Code Optimizing C Compilers for Microchip PIC® and dsPIC® DSCs

    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.

  • Android Application Identifier for Packers, Protectors, Obfuscators and Oddities

    APKiD - Red Naga

    APKiD gives you information about how an APK was made. It identifies many compilers, packers, obfuscators, and other weird stuff. It's PEiD for Android. APKiD can look at an Android APK or DEX file and detect the fingerprints of several different compilers: dx - standard Android SDK compiler. dexmerge - used for incremental builds by some IDEs (after using dx). dexlib 1.x. dexlib 2.x beta. dexlib 2.x.

  • Integrated Development Environment

    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:

  • ISO/ANSI Compliance

    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.

  • Smart Analysis for PHP

    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

  • C/C++ Source Code Analysis

    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.

  • Cross Development Tools

    ColdFire V1 - Cosmic Software

    All Cosmic C Cross Compilers for Windows include IDEA - Cosmic's own integrated development environment which is preconfigured for the ColdFire family of processors. 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 all popular Windows versions. Click here for more information about IDEA.

  • Development System

    FE-SND2 - Ceibo Inc.

    * Emulates Atmel AT89C51SND2 Microcontrollers * 62K Code Memory * Real-Time Emulation * Frequency up to fmax * ISP and X2 Mode Support * Windows Debugger For C, C++ and Assembler * USB or RS-232 Linked to PC * C Compiler and Assembler

  • Development & Testing Tools

    TTTech Computertechnik AG

    Offering a complete, future-proof hardware platform, TTControl has invested heavily in making the development process for its end customers as easy and efficient as possible. This means offering an adequate development environment for users of differing levels of programming expertise. So for most products we offer CODESYS® as integrated development environment that has a compiler and debugger built-in, also allowing download of the compiled code through an Ethernet or CAN connection. More advanced software developers can also program most of our control units and operator terminals in ANSI C, and we provide corresponding support and tooling as well as advice concerning recommended compilers and debuggers.