crash 0518
zzz9328fb opened this issue · comments
expression X_00 = { {"X_00"}, 1 };
expression X_01 = { {"X_01"}, 1 };
expression X_02 = { {"X_02"}, 1 };
expression X_03 = { {"X_03"}, 1 };
expression X_04 = { {"X_04"}, 1 };
expression X_05 = { {"X_05"}, 1 };
expression X_06 = { {"X_06"}, 1 };
expression X_07 = { {"X_07"}, 1 };
expression X_08 = { {"X_08"}, 1 };
expression X_09 = { {"X_09"}, 1 };
expression X_0A = { {"X_0A"}, 1 };
expression X_0B = { {"X_0B"}, 1 };
expression a = ((X_0B & X_00) | (X_0A & X_01));
expression b = ((((X_0A & X_00) | (X_09 & X_01)) & ((((X_09 & X_00) | (X_08 & X_01)) & ((((X_08 & X_00) | (X_07 & X_01)) & ((((X_07 | X_06) & ((((X_01 & X_00) & (X_05 | (X_04 & (X_00 & X_06)))) & (X_03 | ((X_03 | X_02) & (X_00 & X_04)))) | ((X_01 & X_04) & (X_05 & X_00)))) | ((X_01 & X_05) & (X_06 & X_00))) | ((X_07 & X_00) & (X_06 & X_01)))) | ((X_08 & X_00) & (X_07 & X_01)))) | ((X_09 & X_00) & (X_08 & X_01)))) | ((X_0A & X_00) & (X_09 & X_01)));
expression c = a & b;
log("c = %s\n", c.to_string());
Outputs c = (((X_0B&X_00)|(X_0A&X_01))&((((X_0A&X_00)|(X_09&X_01))&((((X_09&X_00)|(X_08&X_01))&((((X_08&X_00)|(X_07&X_01))&((((X_07|X_06)&((((X_01&X_00)&(X_05|(X_04&(X_00&X_06))))&(X_03|((X_03|X_02)&(X_00&X_04))))|((X_01&X_04)&(X_05&X_00))))|((X_01&X_05)&(X_06&X_00)))|((X_07&X_00)&(X_06&X_01))))|((X_08&X_00)&(X_07&X_01))))|((X_09&X_00)&(X_08&X_01))))|((X_0A&X_00)&(X_09&X_01))))
Change your stack depth with #pragma comment(linker, "/STACK:<>")
Does not seem to simplify well though, but I really don't recommend solving 12-unknown-variable boolean expressions with VTIL. 😛
Outputs
c = (((X_0B&X_00)|(X_0A&X_01))&((((X_0A&X_00)|(X_09&X_01))&((((X_09&X_00)|(X_08&X_01))&((((X_08&X_00)|(X_07&X_01))&((((X_07|X_06)&((((X_01&X_00)&(X_05|(X_04&(X_00&X_06))))&(X_03|((X_03|X_02)&(X_00&X_04))))|((X_01&X_04)&(X_05&X_00))))|((X_01&X_05)&(X_06&X_00)))|((X_07&X_00)&(X_06&X_01))))|((X_08&X_00)&(X_07&X_01))))|((X_09&X_00)&(X_08&X_01))))|((X_0A&X_00)&(X_09&X_01))))Change your stack depth with
#pragma comment(linker, "/STACK:<>")Does not seem to simplify well though, but I really don't recommend solving 12-unknown-variable boolean expressions with VTIL. 😛
12 are too few.
Just like amd x64 : rax,rcx,rdx,rbx,rbp,rsi,rdi,r8,r9,r10,r11,r12,r13,r15,r16.
Do not consider memory variables，there are at least 15 registers.
Total number of possible variables != Average number of variables an expression depends on. Eitherway changing the stack depth will work fine for your case, if it does not simplify something let me know and I'll check it out.