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

GNAT рдХреЗ рдбреЗрд╡рд▓рдкрд░реНрд╕, Ada рднрд╛рд╖рд╛ рдХрдВрдкрд╛рдЗрд▓рд░, рдкреНрд░рдХрд╛рд╢рд┐рдд GitHub рдкрд░ рдЕрдиреБрд╡рд╛рджрдХ рдХреЛрдб gnat-llvm, рдПрд▓рдПрд▓рд╡реАрдПрдо рдкреНрд░реЛрдЬреЗрдХреНрдЯ рд╕реЗ рдХреЛрдб рдЬрдирд░реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛ред рдбреЗрд╡рд▓рдкрд░реНрд╕ рдХреЛ рдЙрдореНрдореАрдж рд╣реИ рдХрд┐ рдЕрдиреБрд╡рд╛рджрдХ рдХреЛ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдиреЗ рдФрд░ рднрд╛рд╖рд╛ рдХреЗ рд▓рд┐рдП рдирдИ рджрд┐рд╢рд╛рдУрдВ рдореЗрдВ рдЗрд╕рдХреЗ рдЙрдкрдпреЛрдЧ рдХрд╛ рдкреНрд░рдпреЛрдЧ рдХрд░рдиреЗ рдореЗрдВ рд╕рдореБрджрд╛рдп рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд┐рдпрд╛ рдЬрд╛рдПрдЧрд╛, рдЬреИрд╕реЗ рд╡рд░реНрдЪреБрдЕрд▓ рдорд╢реАрди рдХреЗ рд╕рд╛рде рдПрдХреАрдХрд░рдг KLEE LLVM рдирд┐рд╖реНрдкрд╛рджрди рдЗрдВрдЬрди рдкрд░реАрдХреНрд╖рдг рдХрд╛рд░реНрдпрдХреНрд░рдореЛрдВ рдХреЗ рд▓рд┐рдП, рд╡реЗрдмрдЕрд╕реЗрдВрдмрд▓реА рддреИрдпрд╛рд░ рдХрд░рдирд╛, рдУрдкрдирд╕реАрдПрд▓ рдФрд░ рд╡рд▓реНрдХрди рдХреЗ рд▓рд┐рдП рдПрд╕рдкреАрдЖрдИрдЖрд░-рд╡реА рддреИрдпрд╛рд░ рдХрд░рдирд╛, рдирдП рд▓рдХреНрд╖реНрдп рдкреНрд▓реЗрдЯрдлрд╛рд░реНрдореЛрдВ рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рдирд╛ред

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

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

рдПрдХ рдЯрд┐рдкреНрдкрдгреА рдЬреЛрдбрд╝реЗрдВ