aiT — WCET analysis

aiT — static timing analysisExtensive timing testing is now a thing of the past. aiT WCET Analy­zers stat­i­cally compute tight bounds for the worst-case execution time of tasks in real-time sys­tems. They di­rectly analyze binary ex­e­cut­ables and take the intrinsic cache and pipe­line behavior into account.

StackAnalyzer — stack usage analysis

StackAnalyzer — static stack-usage analysisStackAnalyzer de­ter­mines the stack usage of the tasks in your ap­pli­ca­tion. Stack height dif­fer­ences are shown as an­no­ta­tions in the call graph and control flow graph. Critical program sections are marked using customiz­able colors. The analysis re­sults are valid for all inputs and each task ex­e­cution.

Astrée — run-time error analysis

Astrée — static run-time error analysisAstrée is a static pro­gram analyzer that proves the absence of run-time errors in safety-critical embedded ap­pli­cations written or automatically generated in C.

aiPop — code compaction

aiPop — code compaction and optimizationaiPop automatically re­duces the size and, op­tion­ally, speeds up the ex­e­cution of com­piled C code. Reducing code size di­rectly translates into reduced memory requirements and lower hardware costs.

ValueAnalyzer — static value analysis

ValueAnalyzer — static value analysisValueAnalyzer is a static program ana­lyzer that is particu­lar­ly useful for ver­i­fying the absence of il­le­gal accesses to an em­bed­ded software system from within third-party modules provided as object code.

TimingExplorer — architecture exploration at the ECU level

TimingExplorer — ECU-level architecture explorationTimingExplorer offers a set of parame­terizable ECU core models to explore the effects of different ECUs or different ECU configurations on the WCET performance.

PAG — static program analysis

PAG — static program analysisPAG-generated ana­lyzers are highly effi­cient thanks to so­phis­ti­cat­ed data structures and iter­ation algorithms. They can be easily integrated into existing com­pilers thanks to a well-defined interface.

aiSee — graph visualization

aiSee — graph visualizationaiSee calculates a cus­tom­izable graph layout from an easy-to read graph specifi­ca­tion. It fea­tures various layout al­go­rithms, subgraph nesting, export of graphs to many formats, and easy printing.

TimeWeaver — performance optimization

TimeWeaver — performance optimizationTimeWeaver computes task-level worst-case execution time (WCET) estimates from the exe­cution time of code snippets obtained from real-time instruction-level tracing.

a³ — AbsInt Advanced Analyzer

a³ — AbsInt Advanced Analyzera³ is a wrapper applica­tion that integrates any combination of AbsInt’s tools for static program ana­ly­sis (aiT, Stack­Analyzer, ValueAnalyzer, TimingExplorer, TimeWeaver) in a single intuitive user inter­face.

Other products

If you are looking for information about discontinued, upcoming, or custom-built products (such as aiScan21, aiTV, aiTraval, aiCall or aiCache), please contact info@absint.com.

Supported platforms

We generally support Windows (7, Vista, XP SP2 or higher) and 64-bit Linux. aiSee is also available for Mac OS X. For details, see the individual product pages.

Top