家居网站建设平台,设计手机网站页面尺寸,iis里如何装php网站,江门建网站前言
apk的逆向#xff0c;没有壳#xff0c;但可能做的不是太多#xff0c;没能想到整个算法的运作原理
分析 搜索flag会发现存在这么一个函数#xff0c;那么显示flag的时候应该是熊会跳舞显示flag,只要满足熊happy和ecsstatic就可以#xff0c;happy只要一直存在点击…前言
apk的逆向没有壳但可能做的不是太多没能想到整个算法的运作原理
分析 搜索·flag会发现存在这么一个·函数那么显示flag的时候应该是熊会跳舞显示flag,只要满足熊happy和ecsstatic就可以happy只要一直存在点击就可以完成主要ecs函数返回值不能为0 可以发现当这里小熊的三个属性满足对应值即可以执行函数话说如果这样的话安卓动调直接改返回值执行不知道可不可以本来以为运算应该是在getstate函数里面但啥也没找到调用函数里是将他们看做一个整体进行加减 可以看到运算就在此处执行主要和传入的i有关继续查看引用发现play,feed,clean三个都有参与那么从总体来看就是以前玩的那种养成系游戏每个动作都会对宠物的生理属性造成影响改变那们可以利用上面所有的关系得到每个动作的执行次数
wp
方程可以用z3解出当然手算也行
from z3.z3 import Solver, Ints, sats Solver()
clean,feed,play Ints(clean feed play)
s.add(6*clean (-1)*feed (-1)*play 0)
s.add(10*feed (-2) *play 72)
s.add((-1) *clean 2 *feed 4 *play 30)
if s.check() sat:print(s.model()) #打印计算结果键值对
else:print(s.check()) th4t_was_be4rly_a_chall3ngeflare-on.com
