CISCN 2020 线上初赛 z3 WP
IDA打开后核心代码如下: int __cdecl main ( int argc , const char * * argv , const char * * envp ) { int v4 ; // [rsp+20h] [rbp-60h] int v5 ; // [rsp+24h] [rbp-5Ch] int v6 ; // [rsp+28h] [rbp-58h] int v7 ; // [rsp+2Ch] [rbp-54h] int v8 ; // [rsp+30h] [rbp-50h] int v9 ; // [rsp+34h] [rbp-4Ch] int v10 ; // [rsp+38h] [rbp-48h] int v11 ; // [rsp+3Ch] [rbp-44h] int v12 ; // [rsp+40h] [rbp-40h] int v13 ; // [rsp+44h] [rbp-3Ch] int v14 ; // [rsp+48h] [rbp-38h] int v15 ; // [rsp+4Ch] [rbp-34h] int v16 ; // [rsp+50h] [rbp-30h] int v17 ; // [rsp+54h] [rbp-2Ch] int v18 ; // [rsp+58h] [rbp-28h] int v19 ; // [rsp+5Ch