Использование СтекАналайзера для статического анализа вашего кода
соответствует нормам ISO 26262, EN-50128, IEC-61508 и DO-178B/C
(вплоть до Уровня A). С помощью наших Пакетов Поддержки Квалификации (ППК)
вы можете значительно ускорить и отчасти автоматизировать ваш процесс
квалификации по этим нормам.
Доступны базовые ППК для отдельных семейств процессоров и добавочные ППК
для конкретных компиляторов.
| базовый ППК |
добавочные ППК |
версия СтекАналайзера |
| ARM |
| GCC 4.7.4 | 18.10 и выше |
| GCC 4.9.3 | 16.10 и выше |
| GCC 4.9.4 | 18.04 и выше |
| GHS 2019.1.4 | 20.04 и выше |
| GHS 2020.1.4 | 23.10 и выше |
| KEIL 3.1.0.939 | 20.04 и выше |
| KEIL 5.02.0.28 | 19.04 и выше |
| LLVM 10.0.1.1 Helix 23.06 | 25.04 |
| TI 4.9.1 | 15.04 и выше |
| TI 20.2.1.lts | 22.10 и выше |
|
| C16x |
| Tasking VX 2.4r1 | 16.10 и выше |
| Tasking VX 3.1r2 | 20.10 и выше |
|
| C28x |
| TI 6.2.0 | 24.10 и выше |
| TI 18.2.3.lts | 23.10 и выше |
|
| dsPIC |
✗ |
19.04 и выше |
| M68020 |
GCC 4.2.1 |
9.08 и выше |
| MIPS |
✗ |
22.10 и выше |
| PowerPC |
| CodeWarrior 4.3 | 12.10 и выше |
| CodeWarrior 10.6 | 25.04 |
| DiabData 4.4 | 9.08 и выше |
| DiabData 5.2.1 VxWorks 5.5.1 (32-bit) | 25.04 |
| DiabData 5.6.1.0 | 14.04 и выше |
| DiabData 5.8.0.0p4 | 14.04 и выше |
| DiabData 5.8.0.0p6 | 20.04 и выше |
| DiabData 5.9.4.8 | 19.10 и выше |
| DiabData 5.9.7.1 (64-bit) | 24.04 и выше |
| GCC 3.3.2 | 9.08 и выше |
| GCC 3.4.4 | 13.10 и выше |
| GCC 4.1.2 | 9.08 и выше |
| GCC 4.2.0 | 25.04 |
| GCC 4.3.3 | 17.04 и выше |
| GCC 4.3.3.1a VxWorks 653-3-sp4.1 | 25.04 |
| GCC 4.9.3 | 16.10 и выше |
| GHS 5.2.4 | 20.04 и выше |
| SCORE 3.7.1 | 20.04 и выше |
|
| TriCore |
| Tasking VX 6.2r2p3 | 23.10 и выше |
| Tasking VX 6.3r1p2 | 21.10 и выше |
|
| V850 |
GHS 5.1.7d |
12.04 и выше |
| x86 |
| GCC 4.4.5 | 13.10 и выше |
| GCC 4.9.2 | 16.04 и выше |
| GCC 4.9.4 | 18.04 и выше |
|
Более подробная информация доступна на английском
и немецком.
