āĻ
ā§āĻ¯āĻžāĻĄāĻž āĻ˛ā§āĻ¯āĻžāĻā§āĻā§āĻ¯āĻŧā§āĻ āĻāĻŽā§āĻĒāĻžāĻāĻ˛āĻžāĻ° GNAT-āĻāĻ° āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§āĻ°āĻž, āĻĒā§āĻ°āĻāĻžāĻļāĻŋāĻ¤ GitHub āĻ āĻ
āĻ¨ā§āĻŦāĻžāĻĻāĻ āĻā§āĻĄ gnat-llvm, LLVM āĻĒā§āĻ°āĻāĻ˛ā§āĻĒ āĻĨā§āĻā§ āĻā§āĻĄ āĻā§āĻ¨āĻžāĻ°ā§āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻāĻ°ā§āĨ¤ āĻŦāĻŋāĻāĻžāĻļāĻāĻžāĻ°ā§āĻ°āĻž āĻ
āĻ¨ā§āĻŦāĻžāĻĻāĻā§āĻ° āĻŦāĻŋāĻāĻžāĻļā§ āĻāĻŦāĻ āĻāĻžāĻ°ā§āĻā§āĻ¯āĻŧāĻžāĻ˛ āĻŽā§āĻļāĻŋāĻ¨ā§āĻ° āĻ¸āĻžāĻĨā§ āĻāĻā§āĻāĻ°āĻŖā§āĻ° āĻŽāĻ¤ā§ āĻāĻžāĻˇāĻžāĻ° āĻāĻ¨ā§āĻ¯ āĻ¨āĻ¤ā§āĻ¨ āĻĻāĻŋāĻāĻ¨āĻŋāĻ°ā§āĻĻā§āĻļāĻ¨āĻžāĻ¯āĻŧ āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ¨āĻŋāĻ¯āĻŧā§ āĻĒāĻ°ā§āĻā§āĻˇāĻž-āĻ¨āĻŋāĻ°ā§āĻā§āĻˇāĻžāĻ¯āĻŧ āĻ¸āĻŽā§āĻĒā§āĻ°āĻĻāĻžāĻ¯āĻŧāĻā§ āĻāĻĄāĻŧāĻŋāĻ¤ āĻāĻ°āĻžāĻ° āĻāĻļāĻž āĻāĻ°āĻā§āĻ¨ KLEE LLVM āĻāĻā§āĻ¸āĻŋāĻāĻŋāĻāĻļāĻ¨ āĻāĻā§āĻāĻŋāĻ¨ āĻĒāĻ°ā§āĻā§āĻˇāĻžāĻŽā§āĻ˛āĻ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽā§āĻ° āĻāĻ¨ā§āĻ¯, WebAssembly āĻ¤ā§āĻ°āĻŋ āĻāĻ°āĻž, OpenCL āĻāĻŦāĻ Vulkan-āĻāĻ° āĻāĻ¨ā§āĻ¯ SPIR-V āĻ¤ā§āĻ°āĻŋ āĻāĻ°āĻž, āĻ¨āĻ¤ā§āĻ¨ āĻ˛āĻā§āĻˇā§āĻ¯ āĻĒā§āĻ˛ā§āĻ¯āĻžāĻāĻĢāĻ°ā§āĻŽ āĻ¸āĻŽāĻ°ā§āĻĨāĻ¨ āĻāĻ°āĻžāĨ¤
āĻŦāĻ°ā§āĻ¤āĻŽāĻžāĻ¨ āĻ
āĻŦāĻ¸ā§āĻĨāĻžāĻ¯āĻŧ, āĻ
āĻ¨ā§āĻŦāĻžāĻĻāĻ x86_64 āĻāĻ°ā§āĻāĻŋāĻā§āĻāĻāĻžāĻ°ā§āĻ° āĻāĻ¨ā§āĻ¯ āĻĒā§āĻ°ā§āĻā§āĻ°āĻžāĻŽ āĻāĻŽā§āĻĒāĻžāĻāĻ˛ āĻāĻ°āĻ¤ā§ āĻ¸āĻā§āĻˇāĻŽāĨ¤ GNAT Community Edition 2019 āĻĒā§āĻ¯āĻžāĻā§āĻ āĻĨā§āĻā§ GPR āĻā§āĻ˛āĻ¸ āĻĒā§āĻ°āĻā§āĻā§āĻ āĻŽā§āĻ¯āĻžāĻ¨ā§āĻāĻŽā§āĻ¨ā§āĻ āĻā§āĻ˛ā§ āĻāĻ° āĻ¸āĻŽāĻ°ā§āĻĨāĻ¨ āĻāĻāĻ¤ā§āĻ°āĻŋāĻ¤ āĻāĻ°āĻž āĻšāĻ¯āĻŧā§āĻā§āĨ¤ āĻ
āĻ¨ā§āĻŦāĻžāĻĻāĻ GPLv3 āĻ˛āĻžāĻāĻ¸ā§āĻ¨ā§āĻ¸ā§āĻ° āĻ
āĻ§ā§āĻ¨ā§ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻāĻ°āĻž āĻšāĻ¯āĻŧāĨ¤
āĻāĻ¤ā§āĻ¸: opennet.ru