Function at 0x4027f0
Capabilities:
Terminate process

Disassembly:
push ebp
mov ebp, esp
push 0xffffffffffffffff
push 0x4080fd
mov eax, dword fs:[0]
push eax
sub esp, 0x24
mov eax, dword [0x40c00c]
xor eax, ebp
mov dword [ebp - 0x10], eax
push ebx
push esi
push edi
push eax
lea eax, [ebp - 0xc]
mov dword fs:[0], eax
mov dword [ebp - 0x24], edx
mov esi, ecx
mov edi, dword [ebp + 0xc]
xorps xmm0, xmm0
movq qword [ebp - 0x1c], xmm0
mov dword [ebp - 0x14], 0
mov dword [ebp - 0x1c], 0
mov dword [ebp - 0x18], 0
mov dword [ebp - 0x14], 0
xor eax, eax
mov dword [ebp - 4], 0
xor ecx, ecx
mov dword [ebp - 0x28], eax
mov eax, dword [esi + 0x100004]
xor bl, bl
mov byte [ebp - 0x1d], 0
mov dword [ebp - 0x2c], ecx
mov dword [ebp - 0x30], ecx
cmp eax, dword [esi + 0x100008]
jge 0x402a26
test edi, edi
je 0x40287e
cmp dword [edi], ecx
je 0x40287e
mov dword [edi + 4], ecx
mov ecx, esi
call fcn.00401520
cmp eax, 0xffffffff
je 0x402a26
nop
mov ecx, esi
call fcn.00402b00
mov ecx, esi
call fcn.00401520
cmp byte [ebp + 8], 0
je 0x40293b
cmp eax, 0x65
jne 0x4028bf
mov edx, 0x409964
call fcn.00402b90
test al, al
jne 0x402a15
mov ecx, esi
call fcn.00402c20
mov dl, byte [ebp - 0x1d]
mov ecx, esi
call fcn.00401520
cmp eax, 0xffffffff
jne 0x402890
test dl, dl
je 0x402a15
mov eax, dword [ebp - 0x24]
mov ecx, dword [ebp - 0x2c]
mov esi, dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
cmp ecx, dword [eax + 0x190]
je 0x402906
push str.WARNING__DIMACS_header_mismatch:_wrong_number_of_variables._n
push 2
call esi
add esp, 4
push eax
call fcn.004014d0
add esp, 8
mov eax, dword [ebp - 0x28]
cmp eax, dword [ebp - 0x30]
je 0x402923
push str.WARNING__DIMACS_header_mismatch:_wrong_number_of_clauses._n
push 2
call esi
add esp, 4
push eax
call fcn.004014d0
add esp, 8
mov eax, dword [ebp - 0x1c]
test eax, eax
je 0x402934
push eax
call dword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
add esp, 4
mov al, 1
jmp 0x402a28
cmp eax, 0x70
jne 0x4029e3
mov edx, 0x409968
mov ecx, esi
call fcn.00402b90
test al, al
je 0x4029b3
mov ecx, esi
call fcn.00401520
cmp eax, 0x63
jne 0x40298c
mov edx, 0x40996c
call fcn.00402b90
test al, al
je 0x40298c
mov ecx, esi
call fcn.00402d00
mov ecx, esi
mov dword [ebp - 0x2c], eax
call fcn.00402d00
mov dl, 1
mov dword [ebp - 0x30], eax
mov byte [ebp - 0x1d], dl
jmp 0x4028c9
test edi, edi
je 0x4029b3
mov ecx, esi
call fcn.00401520
cmp eax, 0x69
jne 0x4029b3
mov edx, str.inccnf
call fcn.00402b90
test al, al
movzx ebx, bl
mov eax, 1
cmovne ebx, eax
mov dl, byte [ebp - 0x1d]
test dl, dl
jne 0x4028c9
test bl, bl
jne 0x4028c9
mov ecx, esi
call fcn.00401520
push eax
push str.PARSE_ERROR__Unexpected_char:__c_n
call fcn.004014f0
add esp, 8
push 3
call dword [sym.imp.api_ms_win_crt_runtime_l1_1_0.dll_exit]
test edi, edi
je 0x4029f7
mov ecx, esi
call fcn.00401520
cmp eax, 0x61
je 0x402a85
mov ecx, esi
call fcn.00401520
cmp eax, 0x65
jne 0x402a44
mov edx, 0x409964
call fcn.00402b90
test al, al
je 0x4028c6
mov eax, dword [ebp - 0x1c]
test eax, eax
je 0x402a26
push eax
call dword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
add esp, 4
xor al, al
mov ecx, dword [ebp - 0xc]
mov dword fs:[0], ecx
pop ecx
pop edi
pop esi
pop ebx
mov ecx, dword [ebp - 0x10]
xor ecx, ebp
call fcn.00407238
mov esp, ebp
pop ebp
ret
call fcn.00401520
cmp eax, 0x63
je 0x4028bf
mov ecx, esi
call fcn.00401520
cmp eax, 0x70
je 0x4028bf
mov edx, dword [ebp - 0x24]
lea eax, [ebp - 0x1c]
inc dword [ebp - 0x28]
push eax
call fcn.00402eb0
mov ecx, dword [ebp - 0x24]
lea eax, [ebp - 0x1c]
add esp, 4
push eax
call fcn.00404050
jmp 0x4028c6
inc dword [esi + 0x100004]
mov eax, dword [esi + 0x100004]
cmp eax, dword [esi + 0x100008]
jl 0x402adb
push dword [esi]
lea eax, [esi + 4]
mov dword [esi + 0x100004], 0
push 0x100000
push eax
call dword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fgets]
mov ecx, eax
add esp, 0xc
test ecx, ecx
je 0x402ad1
lea edx, [ecx + 1]
mov al, byte [ecx]
inc ecx
test al, al
jne 0x402ac0
sub ecx, edx
mov dword [esi + 0x100008], ecx
jmp 0x402adb
mov dword [esi + 0x100008], 0
mov ecx, esi
call fcn.00402b00
mov edx, dword [ebp - 0x24]
mov ecx, esi
push edi
call fcn.00402eb0
add esp, 4
jmp 0x402923