AbsInt offers consultancy, training, and service in the areas of program analysis, compiler technology, and program validation.

Analysis services

Our specialists perform code analyses on your software projects as a service according to your requirements. This includes:

On-site training

In addition to free online training in the usage of our tools, we offer in-depth on-site training sessions that span one or several days, and can be adapted to your specific needs.


We are happy to organize or participate in online and offline workshops, presentations, and panel discussions on a variety of topics related to static program analysis, compiler design, and safety standards such as ISO 26262, DO-178B/C, IEC-61508, CWE, ISO/IEC, AUTOSAR, MISRA, and others.

Further topics

We also conduct feasibility studies for program analysis and optimization, optimize or re­target compilers for all kinds of hardware architectures, and investigate the effects of silicon bugs. In all these areas AbsInt has been instrumental in a number of successful industry projects.

Take advantage of our expertise in all these fields to develop solutions tailored to your specific requirements. We have decades of experience in providing creative solutions to our customers’ problems. Our services include the conception and realization of integration and engineering projects and range from purely technical solutions to mapping out long-term strategy.

Contact with any questions.