知识要点:
Z3和tea
__int64 __fastcall main(int a1, char **a2, char **a3)
{
int i; // [rsp+8h] [rbp-68h]
int j; // [rsp+Ch] [rbp-64h]
__int64 v6[6]; // [rsp+10h] [rbp-60h] BYREF
__int64 v7[6]; // [rsp+40h] [rbp-30h] BYREF
v7[5] = __readfsqword(0x28u);
puts("Let us play a game?");
puts("you have six chances to input");
puts("Come on!");
memset(v6, 0, 40);
for ( i = 0; i <= 5; ++i )
{
printf("%s", "input: ");
a2 = (v6 + 4 * i);
__isoc99_scanf("%d", a2);
}
memset(v7, 0, 40);
for ( j = 0; j <= 2; ++j )
{
v0 = v6[j];
v1 = HIDWORD(v6[j]);
a2 = &key;
sub_400686(&v0, &key);
LODWORD(v7[j]) = v0;
HIDWORD(v7[j]) = v1;
}
if ( sub_400770(v7, a2) != 1 )
{
puts("NO NO NO~ ");
exit(0);
}
puts("Congratulation!\n");
puts("You seccess half\n");
puts("Do not forget to change input to hex and combine~\n");
puts("ByeBye");
return 0LL;
}
这段代码

本文介绍了使用Z3库解决线性方程组的C++代码,以及如何在Python中使用ctypes和libnum库解密tea加密算法。展示了加密和解密的过程以及关键变量的操作。
最低0.47元/天 解锁文章
697

被折叠的 条评论
为什么被折叠?



