CISB-Bench: مجموعة بيانات قابلة للتدقيق من المصدر إلى IR لأخطاء الأمان التي يُدخلها المترجم

الملخص

تمت ترجمة أجزاء من هذه الصفحة آلياً وقد تحتوي على أخطاء.

Ϭ┘åÏ┤Ïú Ï╣┘è┘êÏ¿ Ϻ┘äÏú┘àϺ┘å Ϻ┘äϬ┘è ┘è┘Åϻϫ┘ä┘çϺ Ϻ┘ä┘àϬÏ▒ϼ┘à (CISBs) Ï╣┘åÏ»┘àϺ ┘èÏ║┘è┘æÏ▒ ┘éÏ▒ϺÏ▒ ϬϡÏ│┘è┘å Ïú┘ê Ï«┘üÏ Ïú┘ê ϬÏ▓┘ê┘èÏ» Ï¿ÏúÏ»┘êϺϬ ┘é┘èϺÏ│ ϫϺÏÁ┘èÏ® ┘àϬÏ╣┘ä┘éÏ® ϿϺ┘äÏú┘àϺ┘å ┘ü┘è Ϻ┘äÏ¿Ï▒┘åϺ┘àϼ Ϻ┘ä┘à┘ê┘ä┘æÏ». ┘ê┘à┘å Ϻ┘äÏÁÏ╣Ï¿ Ï»Ï▒ϺÏ│Ϭ┘çϺ ┘äÏú┘å ÏúÏ»┘äϬ┘çϺ ┘à┘êÏ▓Ï╣Ï® Ï¿┘è┘å Ϭ┘éϺÏ▒┘èÏ▒ Ϻ┘ä┘àÏ┤┘â┘äϺϬ ┘êϺ┘äϺϫϬϿϺÏ▒ϺϬ Ϻ┘ä┘àϫϬÏ▓┘äÏ® ┘êϺ┘äÏÑÏ╣ϻϺϻϺϬ Ϻ┘äϬϺÏ▒┘èÏ«┘èÏ® ┘ê┘éÏÀÏ╣ Ϻ┘ä┘àϬÏ▒ϼ┘àÏî ┘â┘àϺ Ïú┘å Ϻ┘äϬ┘éÏ▒┘èÏ▒ Ϻ┘ä┘àϬÏ╣┘ä┘é ϿϺ┘äÏú┘àϺ┘å ┘äϺ ┘èÏ╣┘å┘è Ïú┘å ┘â┘ä ϺϫϬÏ▓Ϻ┘ä ┘àÏ▒ϬϿÏÀ Ï¿┘ç ┘èϽϿϬ ┘üÏ┤┘ä ┘àϬÏ▒ϼ┘à ┘èÏ¡┘à┘ä ÏúϽÏ▒Ϻ┘ï Ïú┘à┘å┘èϺ┘ï. ┘å┘éÏ»┘à CISB-BenchÏî ┘ê┘ç┘ê ┘àϼ┘à┘êÏ╣Ï® Ï¿┘èϺ┘åϺϬ ┘éϺϿ┘äÏ® ┘ä┘äϬϻ┘é┘è┘é ϬÏÂ┘à 429 ÏÁ┘üϺ┘ï ┘à┘å Ï¿Ï▒Ϻ┘àϼ C Ï»┘é┘è┘éÏ® ┘àÏ│ϬϫÏ▒ϼϮ ┘à┘å GCC ┘êLLVM. ┘èϡϬ┘ê┘è ┘â┘ä ÏÁ┘ü Ï╣┘ä┘ë ϺϫϬÏ▓Ϻ┘ä┘ç Ï¿┘äÏ║Ï® CÏî ┘ê┘àϼ┘à┘êÏ╣Ï® Ϭϡ┘ä┘è┘ä ┘à┘êϡϻϮ ┘äϬ┘àϽ┘è┘ä LLVM Ϻ┘ä┘êÏ│┘èÏÀ Ï╣┘åÏ» -O0 ϡϬ┘ë -O3Ïî ┘ê┘àÏÁÏ»Ï▒┘ç Ϻ┘äÏ╣Ϻ┘àÏî ┘êϬÏ│┘à┘èÏ® Ͻ┘åϺϪ┘èÏ® ┘å┘çϺϪ┘èÏ®Ïî ┘êϬÏ╣┘ä┘è┘é ÏúÏ│ϺÏ│┘è Ï╣┘ä┘ë Ϻ┘äÏó┘ä┘èÏ® Ïú┘ê Ϻ┘äÏ¡Ï». ┘éϺ┘à ┘àÏ▒ϺϼÏ╣Ϻ┘å ϿϬÏ│┘à┘èÏ® Ϻ┘ä┘àϼ┘à┘êÏ╣Ï® Ϻ┘äϽϺϿϬϮ ┘â┘ä Ï╣┘ä┘ë ϡϻϮÏî ┘êϺϬ┘ü┘éϺ Ï╣┘ä┘ë 369 ÏÁ┘üϺ┘ï (86.0%Ïî ┘ê┘âϺϿϺ ┘â┘ê┘ç┘è┘å = 0.662)Ïø ┘êÏ¡┘ÅÏ│┘àϬ Ϻ┘ä┘Ç 60 ϡϺ┘äÏ® Ï«┘äϺ┘ü┘èÏ®. ┘êϬϬÏú┘ä┘ü Ϻ┘ä┘àϼ┘à┘êÏ╣Ï® Ϻ┘ä┘å┘çϺϪ┘èÏ® ┘à┘å 280 Ï╣┘èϿϺ┘ï ┘à┘å Ï╣┘è┘êÏ¿ CISB ┘ê149 ϡϺ┘äÏ® ÏÁÏ╣Ï¿Ï® Ï║┘èÏ▒ CISB. ┘ê┘à┘ç┘àÏ® Ϻ┘äϬ┘åÏ¿Ïñ ┘ç┘è ϺÏ│ϬÏ╣ϺϻϮ ϬÏ│┘à┘èÏ® Ϻ┘äÏÁ┘ü Ϻ┘äÏ»┘é┘è┘é Ϻ┘ä┘à┘ÅÏ▒ϺϼÏ╣Ï® ┘à┘å Ϻ┘äÏúÏ»┘êϺϬ Ϻ┘ä┘à┘éÏ»┘àÏ®Ïø ┘ê┘ä┘èÏ│ Ϻ┘äϺϻÏ╣ϺÏí Ï¿Ïú┘å Ϭ┘àϽ┘è┘ä IR Ϻ┘ä┘à┘êÏ¡Ï» ┘êÏ¡Ï»┘ç ┘èÏ╣┘èÏ» ÏÑ┘åϬϺϼ ┘â┘ä ÏÑÏ«┘üϺ┘é ϬϺÏ▒┘èÏ«┘è ┘ä┘ä┘àϬÏ▒ϼ┘à. ┘åÏÁ┘ü Ïó┘ä┘èϺϬ Ϻ┘äÏú┘àϺ┘å ┘êÏ¡Ï»┘êÏ» Ϻ┘äÏúÏ»┘äÏ® Ϻ┘äϬ┘è Ϭ┘àϽ┘ä┘çϺ Ϻ┘ä┘àϼ┘à┘êÏ╣Ï®Ïî ┘ê┘åÏ¿┘è┘å ┘â┘è┘ü ϬϻÏ╣┘à ÏúÏ▓┘êϺϼ┘çϺ Ϻ┘äÏúÏ»┘êϺϬ Ϭϡ┘ä┘è┘äϺϬ ┘éϺϪ┘àÏ® Ï╣┘ä┘ë Ϻ┘ä┘àÏÁÏ»Ï▒ ┘êÏ¡Ï»┘çÏî ┘êϺ┘äϬϡ┘ä┘è┘ä Ϻ┘ä┘àÏ»Ï▒┘â ┘ä┘Ç IRÏî ┘êϺ┘äϬϡ┘ä┘è┘ä Ϻ┘ä┘àÏ┤ϬÏ▒┘â. ┘è┘ê┘üÏ▒ CISB-Bench ┘çÏ»┘üϺ┘ï ┘éϺϿ┘äϺ┘ï ┘äÏÑÏ╣ϺϻϮ Ϻ┘äϺÏ│ϬϫϻϺ┘à ┘ê┘éϺϿ┘äϺ┘ï ┘ä┘ä┘üÏ¡ÏÁ ┘äϬ┘å┘é┘èÏ¿ Ïú┘àϺ┘å Ϻ┘ä┘àϬÏ▒ϼ┘àϺϬ ┘êÏúϿϡϺϽ Ϻ┘ä┘âÏ┤┘ü.

الكلمات المفتاحية

الموضوع