У нас вы можете посмотреть бесплатно Jump table detection in the rev.ng decompiler (rev.ng hour 2023-11-17) или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
In this presentation Ale explains how the rev.ng decompiler detects jump tables and, more in general, how it devirtualizes indirect jumps. In short, we optimize the code so we have a nice SSA form, build the data-flow graph of the jump destination and analyze the control flow to obtain constraints over certain nodes of the data flow graph. Finally, we enumerate all the possible values that the jump destination can assume given the constraints we collected. The constraints are collected using an extension of an LLVM-provided analysis (`LazyValueInfo`) that can track disjoint ranges of values. Presentation: https://pad.rev.ng/p/nZM078b9C#/ This video is part of the rev.ng hour, our weekly internal meeting, of November 17, 2023. You might hear other members of the rev.ng team ask questions and make comments. For content more suitable for general users and better editing, check out the "rev.ng presentations" playlist: • An introduction to LLVM IR