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

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