Contact Us


Product Portfolio

Analyze the compiled executable with .

aiT WCET Analyzers           Click: 

Compute tight upper bounds for the worst-​case execution time of tasks in your binary ex­e­cut­able. No testing or measuring required — the bounds are guaranteed to hold for every possible execution scenario, any combination of inputs, all cache and pipeline states. 

StackAnalyzer                   Click: 

Determine the worst-case stack usage of the tasks in your ap­pli­ca­tion. Find any stack overflows, or formally prove the absence thereof. Quickly identify critical sections and problematic execution paths to optimize your code’s performance.

TimingProfiler           Click: 

Constantly moni­tor timing behavior during software devel­opment, even at the earliest stages. Identify bottlenecks when you haven’t even settled for a particular processor derivate yet, and measurements on physi­cal hardware are plain impossible.

Compile the code using CompCert.   Click: 

Meet the highest levels of software assurance by compiling your application with the only C compiler that’s been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astrée, are guaranteed to hold for the generated executable as well.

Check your C code for runtime errors with Astrée



Discover any divisions by zero, out-of-bounds array accesses, erroneous pointer manipu­lations, arith­metic overflows, data races, in­consistent locking, and other types of errors. Verify your code against MISRA, CWE, and SEI CERT C coding guide­lines, or your very own assertions.

Contact Information

Itec Ltd.
38th HaBarzel St. Ramat Hachayal,
Tel-Aviv 6971054

Tel: +972-3-6491202
Fax: +972-3-6497661
Go Back »