Compiler development support
Consulting, development and verification of C/C++ compiler tools

Even if the front end of the C/C++ compiler (EDG, base part of gcc or clang, etc.) supports the same language standard, the design and implementation of the part that performs lexical analysis and parsing of each varies completely. In addition, when incorporating these into the compiler development of your own products, design materials are often not provided, and it is necessary to analyze the behavior of the compiler from the product code.

For example, if you have an original compiler with EDG front end and want to replace with gcc back end, you need to perform a difficult and cumbersome task of porting C++ source to C for EDG portion since EDG is provided in C++ code.

We will support you with preliminary surveys and suggestions such as "modification scope and scale", "linkage to peripheral tools and impact survey on output", and "functions that must be omitted".

Support for new language standards

If you want to upgrade the language standard supported by the compiler, such as C99 → C11, C++03 → C++17, you need to have a deep knowledge of the ISO language standard. Japan Novel is participating in the C++ working group of ISO, and has been providing "Compiler Qalification Service" for many years, thus we have plentiful members with abundant knowledge of C/C++ language standards.

Porting

For portions that are not directly related to the compilation function, such as changing the host supported by the tool, we will handle everything from impact investigation to implementation, such as restrictions on the target kernel.

Add value: Analysis function

It is also possible to add functions tailored to the end user by using the internal data during compilation, such as generating intermediate data that is input to the static analysis tool, outputting coverage measurement data, and formatting the code.

Add value: Unit test generation function

Please contact us not only for general unit test template generation, but also for customization such as embedding test conditions and expected values at the time of generation according to the test parameters prepared by the user.

Peripheral tool development

We support not only the development of compilers but also the development of related tools such as assemblers and simulators.

Test analysis

By engaging in compiler development from the design/implementation stage, we will work with you to build test viewpoints, validity of methods, and combinations of test patterns that do not become excessive.

Unit/Integration test

White-box tests created from materials and knowledge at the time of design and implementation, and abundant black-box tests that operate language standards and general C/C++ language algorithms are possible. We have extensive experience in generating C/C++ code for testing.

Stress test

We perform inspections that place a heavy load on the compiler, such as translation limits in the language and the amount of files and the number of codes.

Test automation

It is also possible to automate the test process using tools such as Jenkins, build a regression test environment, and if necessary, automate the operation of Windows and the hardware itself.

Language standard/Quality verification

Japan Novel's "Compiler Qualification Service" can provide quality verification of the compiler according to the conditions and usage of the end user at low cost.

Functional safety support for tools

We will verify the quality of the target compiler and provide it as a tool certification support report as a basis for showing "Quality validity of system development tools", which is required to comply with functional safety standards (ISO 26262, etc.).

The user can submit this report to a certification body as an evidence that the compiler tools used for system development have a certain quality validity.