Function at 0x519180
Capabilities:
Enumerate pe sections

Disassembly:
lea r12, [rsp - 0xa8]
cmp r12, qword [r14 + 0x10]
jbe 0x51959d
push rbp
mov rbp, rsp
sub rsp, 0x120
movzx ecx, byte [rbx + 0x2f]
shl rcx, 0x38
mov qword [rsp + 0x38], rcx
movzx edx, byte [rbx + 0x2e]
shl rdx, 0x30
mov qword [rsp + 0x30], rdx
movzx esi, byte [rbx + 0x2d]
shl rsi, 0x28
mov qword [rsp + 0x28], rsi
movzx edi, byte [rbx + 0x2c]
shl rdi, 0x20
mov qword [rsp + 0x20], rdi
movzx r8d, byte [rbx + 0x2b]
shl r8, 0x18
mov qword [rsp + 0x18], r8
movzx r9d, byte [rbx + 0x2a]
shl r9, 0x10
mov qword [rsp + 0x10], r9
movzx r10d, byte [rbx + 0x29]
shl r10, 8
mov qword [rsp + 8], r10
movzx r11d, byte [rbx + 0x28]
mov qword [rsp], r11
movzx r12d, byte [rbx + 0x27]
shl r12, 0x38
mov qword [rsp + 0x118], r12
movzx r13d, byte [rbx + 0x26]
shl r13, 0x30
mov qword [rsp + 0x110], r13
movzx r15d, byte [rbx + 0x25]
shl r15, 0x28
mov qword [rsp + 0x108], r15
movzx ecx, byte [rbx + 0x24]
shl rcx, 0x20
mov qword [rsp + 0x100], rcx
movzx edx, byte [rbx + 0x23]
shl rdx, 0x18
mov qword [rsp + 0xf8], rdx
movzx esi, byte [rbx + 0x22]
shl rsi, 0x10
mov qword [rsp + 0xf0], rsi
movzx edi, byte [rbx + 0x21]
shl rdi, 8
mov qword [rsp + 0xe8], rdi
movzx r8d, byte [rbx + 0x20]
mov qword [rsp + 0xe0], r8
movzx r9d, byte [rbx + 0x1f]
shl r9, 0x38
mov qword [rsp + 0xd8], r9
movzx r10d, byte [rbx + 0x1e]
shl r10, 0x30
mov qword [rsp + 0xd0], r10
movzx r11d, byte [rbx + 0x1d]
shl r11, 0x28
mov qword [rsp + 0xc8], r11
movzx r12d, byte [rbx + 0x1c]
shl r12, 0x20
mov qword [rsp + 0xc0], r12
movzx r13d, byte [rbx + 0x1b]
shl r13, 0x18
mov qword [rsp + 0xb8], r13
movzx r15d, byte [rbx + 0x1a]
shl r15, 0x10
mov qword [rsp + 0xb0], r15
movzx ecx, byte [rbx + 0x19]
shl rcx, 8
mov qword [rsp + 0xa8], rcx
movzx edx, byte [rbx + 0x18]
mov qword [rsp + 0xa0], rdx
movzx esi, byte [rbx + 0x17]
shl rsi, 0x38
mov qword [rsp + 0x98], rsi
movzx edi, byte [rbx + 0x16]
shl rdi, 0x30
mov qword [rsp + 0x90], rdi
movzx r8d, byte [rbx + 0x15]
shl r8, 0x28
mov qword [rsp + 0x88], r8
movzx r9d, byte [rbx + 0x14]
shl r9, 0x20
mov qword [rsp + 0x80], r9
movzx r10d, byte [rbx + 0x13]
shl r10, 0x18
mov qword [rsp + 0x78], r10
movzx r11d, byte [rbx + 0x12]
shl r11, 0x10
mov qword [rsp + 0x70], r11
movzx r12d, byte [rbx + 0x11]
shl r12, 8
mov qword [rsp + 0x68], r12
movzx r13d, byte [rbx + 0x10]
mov qword [rsp + 0x60], r13
movzx r15d, byte [rbx + 0xf]
shl r15, 0x38
mov qword [rsp + 0x58], r15
movzx ecx, byte [rbx + 0xe]
shl rcx, 0x30
mov qword [rsp + 0x50], rcx
movzx edx, byte [rbx + 0xd]
shl rdx, 0x28
mov qword [rsp + 0x48], rdx
movzx esi, byte [rbx + 0xc]
shl rsi, 0x20
mov qword [rsp + 0x40], rsi
movzx edi, byte [rbx + 0xb]
shl rdi, 0x18
movzx r8d, byte [rbx + 0xa]
shl r8, 0x10
movzx r9d, byte [rbx + 9]
shl r9, 8
movzx r10d, byte [rbx + 8]
movzx r11d, byte [rbx + 7]
shl r11, 0x38
movzx r12d, byte [rbx + 6]
shl r12, 0x30
movzx r13d, byte [rbx + 5]
shl r13, 0x28
movzx r15d, byte [rbx + 4]
shl r15, 0x20
movzx ecx, byte [rbx + 3]
shl rcx, 0x18
movzx edx, byte [rbx + 2]
shl rdx, 0x10
movzx esi, byte [rbx + 1]
shl rsi, 8
movzx ebx, byte [rbx]
add rbx, rsi
add rdx, rbx
add rcx, rdx
add rcx, r15
add rcx, r13
add rcx, r12
add rcx, r11
mov qword [rax], rcx
lea rcx, [r10 + r9]
add rcx, r8
add rcx, rdi
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 + 8], 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 + 0x10], 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 + 0x18], 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 + 0x20], rcx
mov rcx, qword [rsp + 8]
mov rdx, qword [rsp]
add rcx, rdx
mov rdx, qword [rsp + 0x10]
add rcx, rdx
mov rdx, qword [rsp + 0x18]
add rcx, rdx
mov rdx, qword [rsp + 0x20]
add rcx, rdx
mov rdx, qword [rsp + 0x28]
add rcx, rdx
mov rdx, qword [rsp + 0x30]
add rcx, rdx
mov rdx, qword [rsp + 0x38]
add rcx, rdx
mov qword [rax + 0x28], rcx
add rsp, 0x120
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]
jmp sym.crypto_internal_nistec_fiat.p384FromBytes