Thug Facebook a-steach anailisiche statach fosgailte ùr, Mariana Trench, a bha ag amas air so-leòntachd a chomharrachadh ann an tagraidhean airson àrd-ùrlar Android agus prògraman Java. Tha e comasach pròiseactan a sgrùdadh às aonais còdan stòr, airson nach eil ach bytecode airson inneal brìgheil Dalvik ri fhaighinn. Is e buannachd eile an astar cur gu bàs gu math àrd (bidh mion-sgrùdadh air grunn mhillean loidhne de chòd a’ toirt timcheall air 10 diogan), a leigeas leat Mariana Trench a chleachdadh gus sùil a thoirt air a h-uile atharrachadh a chaidh a mholadh nuair a ruigeas iad. Tha còd a’ phròiseict sgrìobhte ann an C ++ agus air a chuairteachadh fo chead MIT.
Chaidh an anailisiche a leasachadh mar phàirt de phròiseact gus pròiseas ath-sgrùdadh a dhèanamh air teacsaichean tùsail thagraidhean gluasadach airson Facebook, Instagram agus Whatsapp gu fèin-ghluasadach. Anns a ’chiad leth de 2021, chaidh leth de na so-leòntachd ann an tagraidhean gluasadach Facebook a chomharrachadh a’ cleachdadh innealan sgrùdaidh fèin-ghluasadach. Tha còd Mariana Trench ceangailte gu dlùth ri pròiseactan Facebook eile; mar eisimpleir, chaidh an Redex bytecode optimizer a chleachdadh gus am bytecode a pharsadh, agus chaidh leabharlann SPARTA a chleachdadh gus toraidhean mion-sgrùdadh statach a mhìneachadh agus a sgrùdadh gu fradharcach.
Tha so-leòntachd a dh’ fhaodadh a bhith ann agus cùisean prìobhaideachd air an comharrachadh le bhith a’ dèanamh anailis air sruthan dàta nuair a thathar a’ coileanadh an tagraidh gus suidheachaidhean a chomharrachadh far a bheil dàta amh a-muigh air a ghiullachd ann an structaran cunnartach, leithid ceistean SQL, gnìomhachd faidhle, agus fiosan a bhrosnaicheas prògraman bhon taobh a-muigh.
Tha obair an anailisiche an urra ri bhith a’ comharrachadh stòran dàta agus fiosan cunnartach anns nach bu chòir an dàta stòr a chleachdadh - bidh an anailisiche a’ cumail sùil air gluasad dàta tron t-sreath de ghairmean gnìomh agus a’ ceangal an stòr dàta le àiteachan a dh’ fhaodadh a bhith cunnartach sa chòd. . Mar eisimpleir, thathas den bheachd gu bheil dàta a gheibhear tro ghairm gu Intent.getData a’ cur feum air lorg stòr, agus thathas a’ meas gu bheil fiosan gu Log.w agus Runtime.exec nan cleachdaidhean cunnartach.
Source: fosgailtenet.ru