Function at 0x513680
Capabilities:
Enumerate pe sections
Resolve function by parsing pe exports

Disassembly:
lea r12, [rsp - 0x128]
cmp r12, qword [r14 + 0x10]
jbe 0x513c82
push rbp
mov rbp, rsp
sub rsp, 0x1a0
mov qword [rsp + 0x1b0], rax
mov qword [rsp + 0x1b8], rbx
movzx ecx, byte [rbx + 0x40]
mov qword [rsp + 0x198], rcx
movzx edx, byte [rbx + 0x3f]
shl rdx, 0x38
mov qword [rsp + 0x190], rdx
movzx esi, byte [rbx + 0x3e]
shl rsi, 0x30
mov qword [rsp + 0x188], rsi
movzx edi, byte [rbx + 0x3d]
shl rdi, 0x28
mov qword [rsp + 0x180], rdi
movzx r8d, byte [rbx + 0x3c]
shl r8, 0x20
mov qword [rsp + 0x178], r8
movzx r9d, byte [rbx + 0x3b]
shl r9, 0x18
mov qword [rsp + 0x170], r9
movzx r10d, byte [rbx + 0x3a]
shl r10, 0x10
mov qword [rsp + 0x168], r10
movzx r11d, byte [rbx + 0x39]
shl r11, 8
mov qword [rsp + 0x160], r11
movzx r12d, byte [rbx + 0x38]
mov qword [rsp + 0x158], r12
movzx r13d, byte [rbx + 0x37]
shl r13, 0x38
mov qword [rsp + 0x150], r13
movzx r15d, byte [rbx + 0x36]
shl r15, 0x30
mov qword [rsp + 0x148], r15
movzx ecx, byte [rbx + 0x35]
shl rcx, 0x28
mov qword [rsp + 0x140], rcx
movzx eax, byte [rbx + 0x34]
shl rax, 0x20
mov qword [rsp + 0x138], rax
movzx edx, byte [rbx + 0x33]
shl rdx, 0x18
mov qword [rsp + 0x130], rdx
movzx esi, byte [rbx + 0x32]
shl rsi, 0x10
mov qword [rsp + 0x128], rsi
movzx edi, byte [rbx + 0x31]
shl rdi, 8
mov qword [rsp + 0x120], rdi
movzx r8d, byte [rbx + 0x30]
mov qword [rsp + 0x118], r8
movzx r9d, byte [rbx + 0x2f]
shl r9, 0x38
mov qword [rsp + 0x110], r9
movzx r10d, byte [rbx + 0x2e]
shl r10, 0x30
mov qword [rsp + 0x108], r10
movzx r11d, byte [rbx + 0x2d]
shl r11, 0x28
mov qword [rsp + 0x100], r11
movzx r12d, byte [rbx + 0x2c]
shl r12, 0x20
mov qword [rsp + 0xf8], r12
movzx r13d, byte [rbx + 0x2b]
shl r13, 0x18
mov qword [rsp + 0xf0], r13
movzx r15d, byte [rbx + 0x2a]
shl r15, 0x10
mov qword [rsp + 0xe8], r15
movzx ecx, byte [rbx + 0x29]
shl rcx, 8
mov qword [rsp + 0xe0], rcx
movzx eax, byte [rbx + 0x28]
mov qword [rsp + 0xd8], rax
movzx edx, byte [rbx + 0x27]
shl rdx, 0x38
mov qword [rsp + 0xd0], rdx
movzx esi, byte [rbx + 0x26]
shl rsi, 0x30
mov qword [rsp + 0xc8], rsi
movzx edi, byte [rbx + 0x25]
shl rdi, 0x28
mov qword [rsp + 0xc0], rdi
movzx r8d, byte [rbx + 0x24]
shl r8, 0x20
mov qword [rsp + 0xb8], r8
movzx r9d, byte [rbx + 0x23]
shl r9, 0x18
mov qword [rsp + 0xb0], r9
movzx r10d, byte [rbx + 0x22]
shl r10, 0x10
mov qword [rsp + 0xa8], r10
movzx r11d, byte [rbx + 0x21]
shl r11, 8
mov qword [rsp + 0xa0], r11
movzx r12d, byte [rbx + 0x20]
mov qword [rsp + 0x98], r12
movzx r13d, byte [rbx + 0x1f]
shl r13, 0x38
mov qword [rsp + 0x90], r13
movzx r15d, byte [rbx + 0x1e]
shl r15, 0x30
mov qword [rsp + 0x88], r15
movzx eax, byte [rbx + 0x1d]
shl rax, 0x28
mov qword [rsp + 0x80], rax
movzx ecx, byte [rbx + 0x1c]
shl rcx, 0x20
mov qword [rsp + 0x78], rcx
movzx edx, byte [rbx + 0x1b]
shl rdx, 0x18
mov qword [rsp + 0x70], rdx
movzx esi, byte [rbx + 0x1a]
shl rsi, 0x10
mov qword [rsp + 0x68], rsi
movzx edi, byte [rbx + 0x19]
shl rdi, 8
mov qword [rsp + 0x60], rdi
movzx r8d, byte [rbx + 0x18]
mov qword [rsp + 0x58], r8
movzx r9d, byte [rbx + 0x17]
shl r9, 0x38
mov qword [rsp + 0x50], r9
movzx r10d, byte [rbx + 0x16]
shl r10, 0x30
mov qword [rsp + 0x48], r10
movzx r11d, byte [rbx + 0x15]
shl r11, 0x28
mov qword [rsp + 0x40], r11
movzx r12d, byte [rbx + 0x14]
shl r12, 0x20
mov qword [rsp + 0x38], r12
movzx r13d, byte [rbx + 0x13]
shl r13, 0x18
mov qword [rsp + 0x30], r13
movzx r15d, byte [rbx + 0x12]
shl r15, 0x10
mov qword [rsp + 0x28], r15
movzx eax, byte [rbx + 0x11]
shl rax, 8
mov qword [rsp + 0x20], rax
movzx ecx, byte [rbx + 0x10]
mov qword [rsp + 0x18], rcx
movzx edx, byte [rbx + 0xf]
shl rdx, 0x38
mov qword [rsp + 0x10], rdx
movzx esi, byte [rbx + 0xe]
shl rsi, 0x30
mov qword [rsp + 8], rsi
movzx edi, byte [rbx + 0xd]
shl rdi, 0x28
mov qword [rsp], rdi
movzx r8d, byte [rbx + 0xc]
shl r8, 0x20
movzx r9d, byte [rbx + 0xb]
shl r9, 0x18
movzx r10d, byte [rbx + 0xa]
shl r10, 0x10
movzx r11d, byte [rbx + 9]
shl r11, 8
movzx r12d, byte [rbx + 8]
movzx r13d, byte [rbx + 7]
shl r13, 0x38
movzx r15d, byte [rbx + 6]
shl r15, 0x30
movzx eax, byte [rbx + 5]
shl rax, 0x28
movzx ecx, byte [rbx + 4]
shl rcx, 0x20
movzx edx, byte [rbx + 3]
shl rdx, 0x18
movzx esi, byte [rbx + 2]
shl rsi, 0x10
movzx edi, byte [rbx + 1]
shl rdi, 8
movzx ebx, byte [rbx]
add rbx, rdi
add rbx, rsi
add rdx, rbx
add rcx, rdx
add rax, rcx
add rax, r15
add rax, r13
lea rcx, [r12 + r11]
add rcx, r10
add rcx, r9
add rcx, r8
mov rdx, qword [rsp]
add rcx, rdx
mov rdx, qword [rsp + 8]
add rcx, rdx
mov rdx, qword [rsp + 0x10]
add rcx, rdx
mov rdx, qword [rsp + 0x20]
mov rbx, qword [rsp + 0x18]
add rdx, rbx
mov rbx, qword [rsp + 0x28]
add rdx, rbx
mov rbx, qword [rsp + 0x30]
add rdx, rbx
mov rbx, qword [rsp + 0x38]
add rdx, rbx
mov rbx, qword [rsp + 0x40]
add rdx, rbx
mov rbx, qword [rsp + 0x48]
add rdx, rbx
mov rbx, qword [rsp + 0x50]
add rdx, rbx
mov rbx, qword [rsp + 0x60]
mov rsi, qword [rsp + 0x58]
add rbx, rsi
mov rsi, qword [rsp + 0x68]
add rbx, rsi
mov rsi, qword [rsp + 0x70]
add rbx, rsi
mov rsi, qword [rsp + 0x78]
add rbx, rsi
mov rsi, qword [rsp + 0x80]
add rbx, rsi
mov rsi, qword [rsp + 0x88]
add rbx, rsi
mov rsi, qword [rsp + 0x90]
add rbx, rsi
mov rsi, qword [rsp + 0xa0]
mov rdi, qword [rsp + 0x98]
add rsi, rdi
mov rdi, qword [rsp + 0xa8]
add rsi, rdi
mov rdi, qword [rsp + 0xb0]
add rsi, rdi
mov rdi, qword [rsp + 0xb8]
add rsi, rdi
mov rdi, qword [rsp + 0xc0]
add rsi, rdi
mov rdi, qword [rsp + 0xc8]
add rsi, rdi
mov rdi, qword [rsp + 0xd0]
add rsi, rdi
mov rdi, qword [rsp + 0xe0]
mov r8, qword [rsp + 0xd8]
add rdi, r8
mov r8, qword [rsp + 0xe8]
add rdi, r8
mov r8, qword [rsp + 0xf0]
add rdi, r8
mov r8, qword [rsp + 0xf8]
add rdi, r8
mov r8, qword [rsp + 0x100]
add rdi, r8
mov r8, qword [rsp + 0x108]
add rdi, r8
mov r8, qword [rsp + 0x110]
add rdi, r8
mov r8, qword [rsp + 0x120]
mov r9, qword [rsp + 0x118]
add r8, r9
mov r9, qword [rsp + 0x128]
add r8, r9
mov r9, qword [rsp + 0x130]
add r8, r9
mov r9, qword [rsp + 0x138]
add r8, r9
mov r9, qword [rsp + 0x140]
add r8, r9
mov r9, qword [rsp + 0x148]
add r8, r9
mov r9, qword [rsp + 0x150]
add r8, r9
mov r9, qword [rsp + 0x160]
mov r10, qword [rsp + 0x158]
add r9, r10
mov r10, qword [rsp + 0x168]
add r9, r10
mov r10, qword [rsp + 0x170]
add r9, r10
mov r10, qword [rsp + 0x178]
add r9, r10
mov r10, qword [rsp + 0x180]
add r9, r10
mov r10, qword [rsp + 0x188]
add r9, r10
mov r10, qword [rsp + 0x190]
add r9, r10
mov r10, qword [rsp + 0x1b8]
movzx r10d, byte [r10 + 0x41]
mov r11, qword [rsp + 0x1b0]
mov qword [r11], rax
mov qword [r11 + 8], rcx
mov qword [r11 + 0x10], rdx
mov qword [r11 + 0x18], rbx
mov qword [r11 + 0x20], rsi
mov qword [r11 + 0x28], rdi
mov qword [r11 + 0x30], r8
mov qword [r11 + 0x38], r9
shl r10, 8
mov rax, qword [rsp + 0x198]
add rax, r10
mov qword [r11 + 0x40], rax
add rsp, 0x1a0
pop rbp
ret
mov qword [rsp + 8], rax
mov qword [rsp + 0x10], rbx
call sym.runtime.morestack_noctxt.abi0
mov rax, qword [rsp + 8]
mov rbx, qword [rsp + 0x10]
nop dword [rax + rax]
jmp sym.crypto_internal_nistec_fiat.p521FromBytes