āĻāĻ˛āĻāĻ˛āĻ­āĻŋāĻāĻŽ āĻ­āĻŋāĻ¤ā§āĻ¤āĻŋāĻ• āĻ…ā§āĻ¯āĻžāĻĄāĻž āĻ­āĻžāĻˇāĻž āĻ…āĻ¨ā§āĻŦāĻžāĻĻāĻ• āĻĒā§āĻ°āĻ•āĻžāĻļāĻŋāĻ¤

āĻ…ā§āĻ¯āĻžāĻĄāĻž āĻ˛ā§āĻ¯āĻžāĻ™ā§āĻ—ā§āĻ¯āĻŧā§‡āĻœ āĻ•āĻŽā§āĻĒāĻžāĻ‡āĻ˛āĻžāĻ° GNAT-āĻāĻ° āĻŦāĻŋāĻ•āĻžāĻļāĻ•āĻžāĻ°ā§€āĻ°āĻž, āĻĒā§āĻ°āĻ•āĻžāĻļāĻŋāĻ¤ GitHub āĻ āĻ…āĻ¨ā§āĻŦāĻžāĻĻāĻ• āĻ•ā§‹āĻĄ gnat-llvm, LLVM āĻĒā§āĻ°āĻ•āĻ˛ā§āĻĒ āĻĨā§‡āĻ•ā§‡ āĻ•ā§‹āĻĄ āĻœā§‡āĻ¨āĻžāĻ°ā§‡āĻŸāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ•āĻ°ā§‡āĨ¤ āĻŦāĻŋāĻ•āĻžāĻļāĻ•āĻžāĻ°ā§€āĻ°āĻž āĻ…āĻ¨ā§āĻŦāĻžāĻĻāĻ•ā§‡āĻ° āĻŦāĻŋāĻ•āĻžāĻļā§‡ āĻāĻŦāĻ‚ āĻ­āĻžāĻ°ā§āĻšā§āĻ¯āĻŧāĻžāĻ˛ āĻŽā§‡āĻļāĻŋāĻ¨ā§‡āĻ° āĻ¸āĻžāĻĨā§‡ āĻāĻ•ā§€āĻ•āĻ°āĻŖā§‡āĻ° āĻŽāĻ¤ā§‹ āĻ­āĻžāĻˇāĻžāĻ° āĻœāĻ¨ā§āĻ¯ āĻ¨āĻ¤ā§āĻ¨ āĻĻāĻŋāĻ•āĻ¨āĻŋāĻ°ā§āĻĻā§‡āĻļāĻ¨āĻžāĻ¯āĻŧ āĻāĻ° āĻŦā§āĻ¯āĻŦāĻšāĻžāĻ° āĻ¨āĻŋāĻ¯āĻŧā§‡ āĻĒāĻ°ā§€āĻ•ā§āĻˇāĻž-āĻ¨āĻŋāĻ°ā§€āĻ•ā§āĻˇāĻžāĻ¯āĻŧ āĻ¸āĻŽā§āĻĒā§āĻ°āĻĻāĻžāĻ¯āĻŧāĻ•ā§‡ āĻœāĻĄāĻŧāĻŋāĻ¤ āĻ•āĻ°āĻžāĻ° āĻ†āĻļāĻž āĻ•āĻ°āĻ›ā§‡āĻ¨ KLEE LLVM āĻāĻ•ā§āĻ¸āĻŋāĻ•āĻŋāĻ‰āĻļāĻ¨ āĻ‡āĻžā§āĻœāĻŋāĻ¨ āĻĒāĻ°ā§€āĻ•ā§āĻˇāĻžāĻŽā§‚āĻ˛āĻ• āĻĒā§āĻ°ā§‹āĻ—ā§āĻ°āĻžāĻŽā§‡āĻ° āĻœāĻ¨ā§āĻ¯, WebAssembly āĻ¤ā§ˆāĻ°āĻŋ āĻ•āĻ°āĻž, OpenCL āĻāĻŦāĻ‚ Vulkan-āĻāĻ° āĻœāĻ¨ā§āĻ¯ SPIR-V āĻ¤ā§ˆāĻ°āĻŋ āĻ•āĻ°āĻž, āĻ¨āĻ¤ā§āĻ¨ āĻ˛āĻ•ā§āĻˇā§āĻ¯ āĻĒā§āĻ˛ā§āĻ¯āĻžāĻŸāĻĢāĻ°ā§āĻŽ āĻ¸āĻŽāĻ°ā§āĻĨāĻ¨ āĻ•āĻ°āĻžāĨ¤

āĻŦāĻ°ā§āĻ¤āĻŽāĻžāĻ¨ āĻ…āĻŦāĻ¸ā§āĻĨāĻžāĻ¯āĻŧ, āĻ…āĻ¨ā§āĻŦāĻžāĻĻāĻ• x86_64 āĻ†āĻ°ā§āĻ•āĻŋāĻŸā§‡āĻ•āĻšāĻžāĻ°ā§‡āĻ° āĻœāĻ¨ā§āĻ¯ āĻĒā§āĻ°ā§‹āĻ—ā§āĻ°āĻžāĻŽ āĻ•āĻŽā§āĻĒāĻžāĻ‡āĻ˛ āĻ•āĻ°āĻ¤ā§‡ āĻ¸āĻ•ā§āĻˇāĻŽāĨ¤ GNAT Community Edition 2019 āĻĒā§āĻ¯āĻžāĻ•ā§‡āĻœ āĻĨā§‡āĻ•ā§‡ GPR āĻŸā§āĻ˛āĻ¸ āĻĒā§āĻ°āĻœā§‡āĻ•ā§āĻŸ āĻŽā§āĻ¯āĻžāĻ¨ā§‡āĻœāĻŽā§‡āĻ¨ā§āĻŸ āĻŸā§āĻ˛ā§‡ āĻāĻ° āĻ¸āĻŽāĻ°ā§āĻĨāĻ¨ āĻāĻ•āĻ¤ā§āĻ°āĻŋāĻ¤ āĻ•āĻ°āĻž āĻšāĻ¯āĻŧā§‡āĻ›ā§‡āĨ¤ āĻ…āĻ¨ā§āĻŦāĻžāĻĻāĻ• GPLv3 āĻ˛āĻžāĻ‡āĻ¸ā§‡āĻ¨ā§āĻ¸ā§‡āĻ° āĻ…āĻ§ā§€āĻ¨ā§‡ āĻŦāĻŋāĻ¤āĻ°āĻŖ āĻ•āĻ°āĻž āĻšāĻ¯āĻŧāĨ¤

āĻ‰āĻ¤ā§āĻ¸: opennet.ru

āĻāĻ•āĻŸāĻŋ āĻŽāĻ¨ā§āĻ¤āĻŦā§āĻ¯ āĻœā§āĻĄāĻŧā§āĻ¨