Facebook як анализатори нави статикии кушоди Мариана Тренчро муаррифӣ кард, ки ба муайян кардани осебпазирӣ дар замимаҳо барои платформаи Android ва барномаҳои Java нигаронида шудааст. Лоиҳаҳоро бидуни рамзҳои ибтидоӣ таҳлил кардан мумкин аст, ки барои онҳо танҳо байткоди мошини виртуалии Dalvik мавҷуд аст. Бартарии дигар ин суръати хеле баланди иҷрои он аст (таҳлили якчанд миллион сатри код тақрибан 10 сонияро мегирад), ки ба шумо имкон медиҳад, ки Мариана Тренчро барои тафтиши ҳама тағироти пешниҳодшуда ҳангоми ворид шудан истифода баред. Рамзи лоиҳа дар C++ навишта шудааст ва таҳти иҷозатномаи MIT паҳн карда мешавад.
Анализатор дар доираи лоиҳаи автоматикунонии раванди баррасии матнҳои манбаи замимаҳои мобилӣ барои Facebook, Instagram ва Whatsapp таҳия шудааст. Дар нимаи аввали соли 2021 нисфи тамоми осебпазирӣ дар замимаҳои мобилии Facebook бо истифода аз абзорҳои автоматии таҳлил муайян карда шуданд. Рамзи Trench Mariana бо дигар лоиҳаҳои Facebook зич алоқаманд аст; масалан, оптимизатори байткоди Redex барои таҳлили байт истифода мешуд ва китобхонаи SPARTA барои ба таври визуалӣ тафсир ва омӯзиши натиҷаҳои таҳлили статикӣ истифода мешуд.
Осебҳои эҳтимолӣ ва масъалаҳои махфият тавассути таҳлили ҷараёни додаҳо ҳангоми иҷрои барнома барои муайян кардани ҳолатҳое, ки маълумоти хоми беруна дар сохторҳои хатарнок коркард мешаванд, ба монанди дархостҳои SQL, амалиёти файлӣ ва зангҳое, ки барномаҳои берунаро ба вуҷуд меоранд, муайян карда мешаванд.
Кори анализатор ба муайян кардани манбаъҳои маълумот ва зангҳои хатарнок вобаста аст, ки дар онҳо маълумоти манбаъ набояд истифода шавад - анализатор гузариши маълумотро тавассути занҷири зангҳои функсионалӣ пайгирӣ мекунад ва маълумоти сарчашмаро бо ҷойҳои эҳтимолан хатарноки код пайваст мекунад. . Масалан, маълумоте, ки тавассути занг ба Intent.getData гирифта мешавад, пайгирии манбаъро талаб мекунад ва зангҳо ба Log.w ва Runtime.exec истифодаи хатарнок ҳисобида мешаванд.
Манбаъ: opennet.ru