เชเชฒเชเชฒเชตเซ€เชเชฎ เชชเชฐ เช†เชงเชพเชฐเชฟเชค เช…เชฆเชพ เชญเชพเชทเชพ เช…เชจเซเชตเชพเชฆเช• เชชเซเชฐเช•เชพเชถเชฟเชค

GNAT เชจเชพ เชตเชฟเช•เชพเชธเช•เชฐเซเชคเชพเช“, Ada เชญเชพเชทเชพ เช•เชฎเซเชชเชพเช‡เชฒเชฐ, เชชเซเชฐเช•เชพเชถเชฟเชค GitHub เชชเชฐ เช…เชจเซเชตเชพเชฆเช• เช•เซ‹เชก gnat-llvm, LLVM เชชเซเชฐเซ‹เชœเซ‡เช•เซเชŸเชฎเชพเช‚เชฅเซ€ เช•เซ‹เชก เชœเชจเชฐเซ‡เชŸเชฐเชจเซ‹ เช‰เชชเชฏเซ‹เช— เช•เชฐเซ€เชจเซ‡. เชตเชฟเช•เชพเชธเช•เชฐเซเชคเชพเช“ เช…เชจเซเชตเชพเชฆเช•เชจเซ‡ เชตเชฟเช•เชธเชพเชตเชตเชพเชฎเชพเช‚ เช…เชจเซ‡ เชญเชพเชทเชพ เชฎเชพเชŸเซ‡ เชจเชตเซ€ เชฆเชฟเชถเชพเช“เชฎเชพเช‚ เชคเซ‡เชจเชพ เช‰เชชเชฏเซ‹เช— เชธเชพเชฅเซ‡ เชชเซเชฐเชฏเซ‹เช— เช•เชฐเชตเชพ เชฎเชพเชŸเซ‡ เชธเชฎเซเชฆเชพเชฏเชจเซ‡ เชธเชพเชฎเซ‡เชฒ เช•เชฐเชตเชพเชจเซ€ เช†เชถเชพ เชฐเชพเช–เซ‡ เช›เซ‡, เชœเซ‡เชฎ เช•เซ‡ เชตเชฐเซเชšเซเชฏเซเช…เชฒ เชฎเชถเซ€เชจ เชธเชพเชฅเซ‡ เชเช•เซ€เช•เชฐเชฃ. KLEE LLVM เชเช•เซเชเซ‡เช•เซเชฏเซเชถเชจ เชเชจเซเชœเชฟเชจ เชชเชฐเซ€เช•เซเชทเชฃ เช•เชพเชฐเซเชฏเช•เซเชฐเชฎเซ‹ เชฎเชพเชŸเซ‡, WebAssembly เชœเชจเชฐเซ‡เชŸ เช•เชฐเชตเชพ, OpenCL เช…เชจเซ‡ Vulkan เชฎเชพเชŸเซ‡ SPIR-V เชœเชจเชฐเซ‡เชŸ เช•เชฐเชตเชพ, เชจเชตเชพ เชฒเช•เซเชทเซเชฏ เชชเซเชฒเซ‡เชŸเชซเซ‹เชฐเซเชฎเชจเซ‡ เชŸเซ‡เช•เซ‹ เช†เชชเชตเชพ เชฎเชพเชŸเซ‡.

เชคเซ‡เชจเซ€ เชตเชฐเซเชคเชฎเชพเชจ เชธเซเชฅเชฟเชคเชฟเชฎเชพเช‚, เช…เชจเซเชตเชพเชฆเช• x86_64 เช†เชฐเซเช•เชฟเชŸเซ‡เช•เซเชšเชฐ เชฎเชพเชŸเซ‡ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎเซเชธ เช•เชฎเซเชชเชพเช‡เชฒ เช•เชฐเชตเชพเชฎเชพเช‚ เชธเช•เซเชทเชฎ เช›เซ‡. เชคเซ‡เชจเซ‹ เช†เชงเชพเชฐ GNAT เช•เซ‹เชฎเซเชฏเซเชจเชฟเชŸเซ€ เชเชกเชฟเชถเชจ 2019 เชชเซ‡เช•เซ‡เชœเชฎเชพเช‚เชฅเซ€ GPR เชŸเซ‚เชฒเซเชธ เชชเซเชฐเซ‹เชœเซ‡เช•เซเชŸ เชฎเซ‡เชจเซ‡เชœเชฎเซ‡เชจเซเชŸ เชŸเซ‚เชฒเซเชธเชฎเชพเช‚ เชเช•เซ€เช•เซƒเชค เช›เซ‡. เช…เชจเซเชตเชพเชฆเช•เชจเซเช‚ เชตเชฟเชคเชฐเชฃ GPLv3 เชฒเชพเชฏเชธเชจเซเชธ เชนเซ‡เช เชณ เช•เชฐเชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เช›เซ‡.

เชธเซ‹เชฐเซเชธ: opennet.ru

เชเช• เชŸเชฟเชชเซเชชเชฃเซ€ เช‰เชฎเซ‡เชฐเซ‹