AbsInt offers consultancy, training, and service in the areas of static program analysis, compiler technology, and software validation.
Analysis services
Our specialists analyze your software 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;
- checking its energy consumption;
- finding all potential runtime errors, including divisions by zero, arithmetic overflows, invalid array and pointer accesses, invalid floating-point operations, and many others;
- checking your code for compliance with MISRA, CWE, ISO/IEC, and SEI CERT rules, or your own in-house standards;
- performing signal-flow, control-flow, control-coupling, data-race, component-interference, and cybersecurity analyses;
- detecting Spectre vulnerabilities;
- identifying and/or eliminating dead code.
On-site training
In addition to free online training in the usage of our tools, we offer in-depth on-site training sessions tailored to your specific needs and spanning anywhere from a single day to a whole week.
Workshops
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, JSF AV, AUTOSAR, MISRA, and others.
Further topics
We conduct feasibility studies for program analysis and optimization, optimize or retarget 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. 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.
Get in touch
- Write to info@absint.com
- Meet us in person