-
1.elf
其加密的过程是 123456789101112v1 = -85; v2 = 0; for ( i = 0; i <= 39; ++i ) { for ( j = 0; j <= 50; ++j ) { v1 ^= j ^ v2 ^ 0x5F; s[i] ^= s[(i + 1) % 40]; s[i] ^= v1... -
pythonz3
基本变量类型其分为整型(Int)，实型(Real)和向量(BitVec) 整形(int)不是c中具有上下限的整形而是数学意义上的整数 创建方式 Int(name, ctx=None)，创建一个整数变量，name是名字 Ints (names, ctx=None)，创建多个整数变量，names是空格分隔名字 IntVal (val, ctx=None)，创建一个...