рдПрд▓рдПрд▓рд╡реНрд╣реАрдПрдорд╡рд░ рдЖрдзрд╛рд░рд┐рдд рдЕрдбрд╛ рднрд╛рд╖рд╛ рдЕрдиреБрд╡рд╛рджрдХ рдкреНрд░рдХрд╛рд╢рд┐рдд

GNAT рдЪреЗ рд╡рд┐рдХрд╕рдХ, Ada рднрд╛рд╖рд╛ рд╕рдВрдХрд▓рдХ, рдкреНрд░рдХрд╛рд╢рд┐рдд GitHub рд╡рд░ рдЕрдиреБрд╡рд╛рджрдХ рдХреЛрдб gnat-llvm, LLVM рдкреНрд░рдХрд▓реНрдкрд╛рддреАрд▓ рдХреЛрдб рдЬрдирд░реЗрдЯрд░ рд╡рд╛рдкрд░реВрди. рд╡реНрд╣рд░реНрдЪреНрдпреБрдЕрд▓ рдорд╢реАрдирд╕рд╣ рдПрдХрддреНрд░реАрдХрд░рдг рдпрд╛рд╕рд╛рд░рдЦреНрдпрд╛ рднрд╛рд╖реЗрд╕рд╛рдареА рдирд╡реАрди рджрд┐рд╢рд╛рдВрдордзреНрдпреЗ рддреНрдпрд╛рдЪрд╛ рд╡рд╛рдкрд░ рдХрд░реВрди рдЕрдиреБрд╡рд╛рджрдХ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдгреНрдпрд╛рдд рдЖрдгрд┐ рддреНрдпрд╛рдЪрд╛ рд╡рд╛рдкрд░ рдХрд░рдгреНрдпрд╛рд╕рд╛рдареА рд╡рд┐рдХрд╛рд╕рдХ рд╕рдореБрджрд╛рдпрд╛рд▓рд╛ рд╕рд╣рднрд╛рдЧреА рдХрд░реВрди рдШреЗрдгреНрдпрд╛рдЪреА рдЖрд╢рд╛ рдХрд░рддрд╛рдд. KLEE LLVM рдПрдХреНрдЭрд┐рдХреНрдпреБрд╢рди рдЗрдВрдЬрд┐рди рдЪрд╛рдЪрдгреА рдХрд╛рд░реНрдпрдХреНрд░рдорд╛рдВрд╕рд╛рдареА, WebAssembly рдирд┐рд░реНрдорд╛рдг рдХрд░рдгреЗ, OpenCL рдЖрдгрд┐ Vulkan рд╕рд╛рдареА SPIR-V рддрдпрд╛рд░ рдХрд░рдгреЗ, рдирд╡реАрди рд▓рдХреНрд╖реНрдпрд┐рдд рдкреНрд▓реЕрдЯрдлреЙрд░реНрдорд▓рд╛ рд╕рдорд░реНрдерди рджреЗрдгреЗ.

рд╕рдзреНрдпрд╛рдЪреНрдпрд╛ рд╕реНрдерд┐рддреАрдд, рдЕрдиреБрд╡рд╛рджрдХ x86_64 рдЖрд░реНрдХрд┐рдЯреЗрдХреНрдЪрд░рд╕рд╛рдареА рдкреНрд░реЛрдЧреНрд░рд╛рдореНрд╕ рд╕рдВрдХрд▓рд┐рдд рдХрд░рдгреНрдпрд╛рд╕ рд╕рдХреНрд╖рдо рдЖрд╣реЗ. рддреНрдпрд╛рдЪреЗ рд╕рдорд░реНрдерди GNAT рдХрдореНрдпреБрдирд┐рдЯреА рдПрдбрд┐рд╢рди 2019 рдкреЕрдХреЗрдЬрдордзреВрди GPR рдЯреВрд▓реНрд╕ рдкреНрд░реЛрдЬреЗрдХреНрдЯ рдореЕрдиреЗрдЬрдореЗрдВрдЯ рдЯреВрд▓реНрд╕рдордзреНрдпреЗ рд╕рдорд╛рдХрд▓рд┐рдд рдХреЗрд▓реЗ рдЧреЗрд▓реЗ рдЖрд╣реЗ. рдЕрдиреБрд╡рд╛рджрдХ GPLv3 рдкрд░рд╡рд╛рдиреНрдпрд╛рдЕрдВрддрд░реНрдЧрдд рд╡рд┐рддрд░рд┐рдд рдХреЗрд▓рд╛ рдЬрд╛рддреЛ.

рд╕реНрддреНрд░реЛрдд: opennet.ru

рдПрдХ рдЯрд┐рдкреНрдкрдгреА рдЬреЛрдбрд╛