Function at 0x51a160
Capabilities:
Enumerate pe sections

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