Как не сломать Android-приложение при защите от реверса

Привет, Хабр! На связи Александр Ананикян, аналитик сервиса по защите мобильных приложений от реверс‑инжиниринга. Мы в команде PT MAZE делаем «кнопку», которая превращает мобильные приложения в самый запутанный лабиринт для хакера. Защита мобильного приложения от реверс‑инжиниринга и взлома — обязательный этап, который стоит учитывать при разработке релизной сборки. Протекторы используют обфускацию (запутывание), шифрование и другие техники, чтобы затруднить статический анализ и защитить код от модификаций злоумышленниками. Но у многих разработчиков присутствует страх сломать приложение применением таких техник.

https://habr.com/ru/companies/pt/articles/990092/

#pt_maze #протектор #защита_мобильных_приложений #обфускация #защита_кода #шифрование_файлов #анализ_кода #control_flow #взлом #рефлексия

Как не сломать Android-приложение при защите от реверса

Привет, Хабр! На связи Александр Ананикян, аналитик сервиса по защите мобильных приложений от реверс‑инжиниринга. Мы в команде PT MAZE делаем «кнопку», которая превращает мобильные...

Хабр

Не панацея, но помощник. О статическом анализаторе кода

Приветствую, уважаемые читатели Хабра! Сегодня я хочу предложить вашему вниманию статью о статических анализаторах кода, о том, что это такое и для чего они, собственно, нужны.

https://habr.com/ru/companies/reksoft/articles/840744/

#статический_анализатор #статический_анализатор_кода #исходный_код #анализ_кода #patternbased_analysis #data_flow_analysis #control_flow #msbuild #cmake #baseline

Не панацея, но помощник. О статическом анализаторе кода

Приветствую, уважаемые читатели Хабра! Сегодня я хочу предложить вашему вниманию статью о статических анализаторах кода, о том, что это такое и для чего они, собственно, нужны. Давайте перейдем сразу...

Хабр
Language constructs for context-oriented programming
(2005) : Costanza, Pascal Hirschfeld, R...
DOI: https://doi.org/10.1145/1146841.1146842
#dynamic_scope #__printed #context #ContextL #layers #control_flow #lisp #programming #my_bibtex
Slicing Behavior Trees for Verification of Large Systems
(2011) : Yatapanage, Nisansala Prasanthi
DOI: https://doi.org/10.25904/1912/2132
#CTL #behaviour_tree #branching_bisumulation #case_study #control_flow #dissertation #large_scale #model_checkin
#my_bibtex
Slicing Behavior Trees for Verification of Large Systems