Astrée 静态分析编程语言是否被正确使用，以及在任何环境下的任何执行过程中是否可能出现运行时错误。这涵盖了根据所选语言标准具有未定义行为的任何 C 或 C++ 使用情况，以及……