Π€ΠΎΠ½Π΄ OSTIF (Open Source Technology Improvement Fund), ΡΠΎΠ·Π΄Π°Π½Π½ΡΠΉ Ρ ΡΠ΅Π»ΡΡ ΡΡΠΈΠ»Π΅Π½ΠΈΡ Π·Π°ΡΠΈΡΡΠ½Π½ΠΎΡΡΠΈ ΠΎΡΠΊΡΡΡΡΡ ΠΏΡΠΎΠ΅ΠΊΡΠΎΠ², ΠΎΠ±ΡΡΠ²ΠΈΠ» ΠΎ Π·Π°Π²Π΅ΡΡΠ΅Π½ΠΈΠΈ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΠΎΠ³ΠΎ Π°ΡΠ΄ΠΈΡΠ° ΠΊΠΎΠ΄Π° ΠΏΡΠΎΠ΅ΠΊΡΠ° LLVM. Π Π°Π±ΠΎΡΠ° Π²ΡΠΏΠΎΠ»Π½Π΅Π½Π° Π°Π½Π³Π»ΠΈΠΉΡΠΊΠΎΠΉ ΠΊΠΎΠΌΠΏΠ°Π½ΠΈΠ΅ΠΉ Ada Logics. Π Ρ ΠΎΠ΄Π΅ ΠΏΡΠΎΠ²Π΅Π΄ΡΠ½Π½ΠΎΠΉ ΡΠ°Π±ΠΎΡΡ Π±ΡΠ» Π²ΠΎΡΡΡΠ°Π½ΠΎΠ²Π»Π΅Π½ ΠΏΡΠ΅ΡΠ²Π°Π½Π½ΡΠΉ Π±ΠΎΠ»Π΅Π΅ Π³ΠΎΠ΄Π° Π½Π°Π·Π°Π΄ ΠΏΡΠΎΡΠ΅ΡΡ ΡΠ΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ Π² OSS-Fuzz. Π‘ 1.1 Π΄ΠΎ 2.4 ΠΌΠ»Π½ ΡΡΡΠΎΠΊ ΠΊΠΎΠ΄Π° ΡΠ²Π΅Π»ΠΈΡΠ΅Π½ ΠΎΡ Π²Π°Ρ ΠΊΠΎΠ΄ΠΎΠ²ΠΎΠΉ Π±ΡΠ·Ρ, Π²ΠΎΠ²Π»Π΅ΡΡΠ½Π½ΠΎΠΉ Π² fuzzing-ΡΠ΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅. Π’Π°ΠΊΠΆΠ΅ Π±ΡΠ» ΡΠ°ΡΡΠΈΡΠ΅Π½ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΡΠΉ Π΄Π»Ρ fuzzing-ΡΠ΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°ΡΠΈΠΉ, Π° ΡΠΈΡΠ»ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΠΌΡΡ Π΄Π»Ρ ΠΏΡΠΎΠ²Π΅ΡΠΊΠΈ fuzzing-Π΄Π²ΠΈΠΆΠΊΠΎΠ² ΡΠ²Π΅Π»ΠΈΡΠ΅Π½ΠΎ Ρ 12 Π΄ΠΎ 15.
Π ΠΈΡΠΎΠ³Π΅ Π² ΠΊΠΎΠ΄ΠΎΠ²ΠΎΠΉ Π±Π°Π·Π΅ LLVM ΡΠ΄Π°Π»ΠΎΡΡ Π²ΡΡΠ²ΠΈΡΡ 12 Π½ΠΎΠ²ΡΡ
ΠΏΡΠΎΠ±Π»Π΅ΠΌ, ΠΈΠ· ΠΊΠΎΡΠΎΡΡΡ
8 Π±ΡΠ»ΠΈ Π²ΡΠ·Π²Π°Π½Ρ ΠΎΡΠΈΠ±ΠΊΠ°ΠΌΠΈ, ΠΏΡΠΈΠ²ΠΎΠ΄ΡΡΠΈΠΌΠΈ ΠΊ ΠΏΠΎΠ²ΡΠ΅ΠΆΠ΄Π΅Π½ΠΈΡ ΠΏΠ°ΠΌΡΡΠΈ. 6 Π²ΡΡΠ²Π»Π΅Π½Π½ΡΡ
ΡΡΠ·Π²ΠΈΠΌΠΎΡΡΠ΅ΠΉ ΠΏΡΠΈΠ²ΠΎΠ΄ΠΈΠ»ΠΈ ΠΊ ΠΏΠ΅ΡΠ΅ΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π±ΡΡΠ΅ΡΠ°, 2 ΠΊ ΠΎΠ±ΡΠ°ΡΠ΅Π½ΠΈΡ ΠΊ ΡΠΆΠ΅ ΠΎΡΠ²ΠΎΠ±ΠΎΠΆΠ΄ΡΠ½Π½ΠΎΠΉ ΠΏΠ°ΠΌΡΡΠΈ, 3 — ΠΊ ΡΠ°Π·ΡΠΌΠ΅Π½ΠΎΠ²Π°Π½ΠΈΡ Π½ΡΠ»Π΅Π²ΡΡ
ΡΡΠ·Π°Π·Π°ΡΠ΅Π»Π΅ΠΉ ΠΈ 1 ΠΊ ΡΡΠ΅Π½ΠΈΡ ΠΈΠ· ΠΎΠ±Π»Π°ΡΡΠΈ Π²Π½Π΅ Π²ΡΠ΄Π΅Π»Π΅Π½Π½ΠΎΠ³ΠΎ Π±ΡΡΠ΅ΡΠ°.
ΠΡΡΠΎΡΠ½ΠΈΠΊ: opennet.ru