PHP2Shell: איך כלי AI הפכו באג ישן שנחשב שולי לפרצה קריטית

בסוף אוקטובר נחשפה פרצת אבטחה בשם PHP2Shell, שסיכנה מספר גדול של אתרים. ביניהם אתרי נאס"א, ויקיפדיה והבית הלבן, וגם כל האתרים שרצים על WordPress או על Drupal. הפרצה אפשרה גם לקרוא מידע רגיש וגם להריץ קוד זדוני על השרת שמארח את האתר. לפי כתבה ב-IEEE Spectrum, ככל הידוע אסון נמנע: חוקרי אבטחה גילו את הפרצה ודיווחו עליה ל-PHP Foundation, העמותה שמתחזקת את השפה, ועדכון אבטחה (patch) שוחרר לפני שתוקפים הצליחו לשים עליה יד.

ובכל זאת, הכתבה מציגה את PHP2Shell כ"קנרית במכרה", כלומר אות אזהרה מוקדם לבאות. "אחד הדברים שאנחנו רואים עכשיו הוא שכל תוכנת ה-legacy שבני אדם כתבו ב-40 השנים האחרונות נחשפת", אמר מאט סואיש, ראש מחקר אבטחת AI בסטארט-אפ Tolmo. "עכשיו הגיע הזמן לשלם את החוב הטכני".

באג שאיש לא לקח ברצינות

PHP היא שפת תכנות מ-1994 (שמה המקורי היה קיצור של "personal home page"), ובעיקר אתרים ותיקים משתמשים בה. הבאג שעומד בבסיס הפרצה דווח ל-PHP Foundation כבר ב-2024. מדובר בשגיאה נפוצה מסוג out-of-memory, שבה הזיכרון שמוקצה לנתון קטן מכדי להכיל אותו. בדרך כלל שגיאה כזו גורמת לתוכנה לקרוס, וזו תוצאה לא נעימה אבל לא מסוכנת כשלעצמה. לכן הבאג נשאר בלי תיקון.

"בכל רגע נתון יש ערימה של דיווחי באגים שמחכים לתיקון, והם רק קריסות. רוב האנשים לא מתייחסים אליהם ברצינות", אמר סומאן ג'אנה, פרופסור חבר למדעי המחשב באוניברסיטת קולומביה.

מוקדם יותר השנה הציעה חברת הסייבר Calif לבצע ביקורת עצמאית על PHP, במימון OpenAI. בתוך שבועיים חוקר מ-Calif, בעזרת כלי AI, מצא דרך לנצל את הבאג כדי להריץ קוד שרירותי על השרת. כך תוקף יכול להתקין נוזקה או לקרוא מידע קריטי. מה שנחשב באג שולי התברר כפגיעות קריטית.

לדברי ג'אנה, ניצול הבאג דורש לחשב בדיוק לאיזו נקודה בזיכרון לקפוץ ואילו ביטים לדרוס ובאיזה סדר. "זה לא מדע טילים", אמר. "פשוט צריך הרבה חשיבה מאוד ספציפית שמכאיבה לעשות. ו-AI, לדעתי, עשה בזה עבודה טובה מאוד". הוא הדגיש שהחוקרים ב-Calif, ב-OpenAI וב-Wiz, חברת הסייבר שאימתה את הפגיעויות והרחיבה אותן, הם מומחים מעמיקים. "אני לא טוען ש-AI יכול לעשות את זה לבד. הוא בבירור לא יכול", אמר. עם זאת, לדבריו, הכלים משתפרים מאוד ומאפשרים גם למי שנמצא קצת מתחת לצמרת המומחים להגיע לאותן תוצאות "בלי להבין את כל הפרטים הקטנים".

הפער בין תוקפים למגינים

אחרי הדיווח עבד צוות של ארבעה מהנדסים חודשיים על תיקון. "יש אסימטריה בסיסית בין מציאת באגים לתיקון שלהם", הסביר ג'אנה. מי שמתקן צריך לוודא שכל חלקי המתקפה נחסמו, ובלי לשבור פונקציונליות קיימת.

האסימטריה הזו מעמיסה במיוחד על פרויקטי open source (קוד פתוח) כמו PHP. אלה פרויקטים שמשמשים אתרים רבים אבל לרוב אין להם מקור הכנסה ברור. הבעיה קיימת עוד מלפני עידן ה-AI, אבל לפי הכתבה כלי הפריצה החדשים הופכים אותה לדחופה מתמיד. ג'אנה מציע לתת למגינים יותר כסף ויותר גישה למודלי AI מתקדמים. "מעבדות החזית תורמות חלק מתקציבי ה-tokens שלהן כדי לבדוק את הבאגים האלה, וזה נהדר", אמר. "זה צריך לקרות יותר".

הוא אופטימי גם לגבי כלי אימות פורמלי (formal verification), שיטה להוכחה מתמטית שקוד עושה בדיוק מה שהוא אמור לעשות. לדבריו, כלים כאלה יכולים להפוך גם את צד התיקון לאוטומטי, והוא הזכיר בהקשר זה גרסה חדשה שאנתרופיק שחררה ב-22 באוקטובר.

המשמעות: אם התחזית הזו מתממשת, ככל הנראה ארגונים לא יוכלו עוד להשאיר באגים "לא מזיקים" בתור. כש-AI מקצר את הזמן שלוקח להפוך קריסה לפרצה, השאלה היא אם המגינים, ובמיוחד פרויקטי הקוד הפתוח שעליהם נשען חלק גדול מהאינטרנט, יקבלו את המשאבים הדרושים כדי לעמוד בקצב.