22.12.25 (қоса алғанда)

ақшалай

Идея

Акт міндеттері

Произвольный код

Ақпаратты өңдеу және түрлендіру

БҚ/АЖ

Қолдау көрсетілетін тілдердің бірінде ерікті p бағдарламасын қарастырыңыз. S(P) семантикалық қасиетін анықтайық:"осал деректер ағыны пайда болатын P орындалуы және X кірістері бар (мысалы, пайдаланушының енгізуімен дайындалмаған SQL сұрауы)". Check(P)алгоритміне Тапсырыс берушінің талабы: • егер S (P) шын болса, check (P) VULNERABLE қайтаруға міндетті; • егер S (P) жалған болса, Check (P) SAFE-ді қайтаруға міндетті; * Check (P) әрқашан соңғы уақытта аяқталады. S қасиеті-бұл бастапқы синтаксистен гөрі бағдарлама мінез-құлқының тривиальды емес семантикалық қасиеті. Есептеу теориясының классикалық нәтижелері (атап айтқанда, күріш теоремасы) кез-келген тривиальды емес семантикалық сипаттама үшін барлық бағдарламалар үшін есепті дұрыс шешетін әмбебап алгоритм жоқ деп тұжырымдайды. Бұл бастапқы талапқа тікелей әсер етеді: әмбебап тексеру(P) қатаң мағынада мүмкін емес.

Шындығында, бізден ерікті бағдарламалар үшін теориялық тұрғыдан шешілмейтін есептер класының шешімдері күтілді. Біз жасай аламыз: * қолдау көрсетілетін тілдер мен код үлгілерін қатаң шектеңіз; * қорытындылардың ықтималдық сипатына жол беру (эвристикалық режим); * статикалық және динамикалық талдауды біріктіруге сүйеніңіз. Бірақ кез келген ықтимал бағдарлама үшін SAFE/VULNERABLE дұрыс жауап беретін әмбебап "осалдық оракулы" болуы мүмкін емес. Бұл бастапқы тапсырманы "іске асыру қиын"емес, түбегейлі шешілмейтін етеді.

Сергеев И. А.