Services

AbsInt offers consultancy and service in the areas of program analysis, compiler technology, and program validation. AbsInt’s specialists perform code analyses of your software projects as a service according to your requirements. This includes:

• determining the worst-case execution time and the worst-case stack usage of your application;
• validating its memory safety;
• finding all potential run-time errors (division by zero, arithmetic overflows, array index out of bounds accesses, invalid pointer accesses, invalid floating-point operations).

Further topics are feasibility studies for program analysis and optimization, optimizing or re­targeting compilers for all kinds of hardware architectures, and effects of silicon bugs. In all these areas AbsInt has been instrumental in a number of successful industry projects.

Take advantage of AbsInt’s expertise in these fields to develop solutions tailored to your specific requirements. We have years 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.

• About us
• Services
• Projects
• Customers
• Events
• Legal

• Products
• WCET
• Press center
• Contact