Anglais ⇄ Russe +

source code security analysis tool contraintes
logic.	инструментальное средство анализа безопасности исходного кода (с точки зрения соблюдения требований по безопасности информации; корпорации AdaCore Alex_Odeychuk)