DeepZero: proyecto de código abierto para la detección de controladores vulnerables de Windows

Deep­Ze­ro es un motor de có­di­go abier­to de­sa­rro­lla­do en Python y con­fi­gu­ra­do me­dian­te YAML, di­se­ña­do para au­to­ma­ti­zar la bús­que­da de con­tro­la­do­res del nú­cleo de Win­dows que sean ex­plo­ta­bles. Su man­te­ne­dor in­di­có que la he­rra­mien­ta ha des­cu­bier­to múl­ti­ples fa­llas ve­ri­fi­ca­das den­tro de una re­co­pi­la­ción es­pe­cí­fi­ca de con­tro­la­do­res, al­gu­nas de las cua­les con­ti­núan en el pro­ce­so de di­vul­ga­ción.

El fun­cio­na­mien­to del sis­te­ma se di­vi­de en siete eta­pas se­cuen­cia­les que in­clu­yen el aná­li­sis de en­ca­be­za­dos, la se­lec­ción de con­tro­la­do­res de modo nú­cleo con su­per­fi­cies IOCTL, y la ex­clu­sión de ele­men­tos que ya fi­gu­ran en lis­tas pú­bli­cas de blo­queo. Pos­te­rior­men­te, se em­plea des­com­pi­la­ción y re­glas de aná­li­sis es­tá­ti­co para re­du­cir los can­di­da­tos antes de que un mo­de­lo de len­gua­je eva­lúe su po­si­ble ex­plo­ta­ción.

El res­pon­sa­ble del pro­yec­to ex­pli­có que la eva­lua­ción de in­te­li­gen­cia ar­ti­fi­cial se sitúa al final para apro­ve­char el con­tex­to re­co­pi­la­do pre­via­men­te y des­car­tar bi­na­rios ya co­no­ci­dos o in­com­pa­ti­bles. Asi­mis­mo, el aná­li­sis re­gis­tra la pre­sen­cia de fun­cio­nes es­pe­cí­fi­cas para de­ter­mi­nar si el dis­po­si­ti­vo apa­re­ce en cual­quier equi­po o si su con­fir­ma­ción re­quie­re hard­wa­re fí­si­co, mien­tras que el marco ge­ne­ral de la he­rra­mien­ta no se li­mi­ta ex­clu­si­va­men­te a una sola ar­qui­tec­tu­ra.