// File: /workspace/github_c_makefile_star2_O0/buptlxb[P]xRay/src/taint_block.cpp
// Function: TaintBlock::TaintBlock(BasicBlock*)
TaintBlock::TaintBlock(BasicBlock *bb)
{
    if (bb->isVisited())
        return;
    bb->setVisited(true);
    bBlocks.push_back(bb);
    const vector<DISASM> &insts = bb->getInsts();
    for (BasicBlock::ConstRevDisasmIter iter = insts.rbegin(); iter != insts.rend(); iter++) {

//        printf("%s (%d %d %d) (%d %d %d) (%d %d %d)\n", iter->CompleteInstr, iter->Argument1.ArgType, iter->Argument1.ArgSize, iter->Argument1.ArgPosition, iter->Argument2.ArgType, iter->Argument2.ArgSize, iter->Argument2.ArgPosition, iter->Argument3.ArgType, iter->Argument3.ArgSize, iter->Argument3.ArgPosition);
        if (IS_WRITE_GPR(iter->Argument1)) {
            define.insert(iter->Argument1);
        } else if (IS_READ_GPR(iter->Argument1)) {
            use.insert(iter->Argument1);
        }

        if (IS_WRITE_GPR(iter->Argument2)) {
            define.insert(iter->Argument2);
        } else if (IS_READ_GPR(iter->Argument2)) {
            use.insert(iter->Argument2);
        }

        if (IS_WRITE_GPR(iter->Argument3)) {
            define.insert(iter->Argument3);
        } else if (IS_READ_GPR(iter->Argument3)) {
            use.insert(iter->Argument3);
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
movq %rdi, %rax
movq %rax, -0xe0(%rbp)
callq 0x8f90
movq -0xb8(%rbp), %rdi
addq $0x18, %rdi
movq %rdi, -0xd8(%rbp)
callq 0x140b0
movq -0xb8(%rbp), %rdi
addq $0x30, %rdi
movq %rdi, -0xd0(%rbp)
callq 0x140b0
movq -0xb8(%rbp), %rdi
addq $0x48, %rdi
movq %rdi, -0xc8(%rbp)
callq 0x140d0
movq -0xb8(%rbp), %rdi
addq $0x78, %rdi
movq %rdi, -0xc0(%rbp)
callq 0x140f0
movq -0xb8(%rbp), %rdi
addq $0xa8, %rdi
movq %rdi, -0xb0(%rbp)
callq 0x140f0
movq -0x10(%rbp), %rdi
callq 0xf7a0
movb %al, -0xa1(%rbp)
jmp 0x134f4
movb -0xa1(%rbp), %al
testb $0x1, %al
jne 0x13500
jmp 0x1355e
jmp 0x13a44
movq -0xb0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
callq 0x142d0
movq -0xc0(%rbp), %rdi
callq 0x142d0
movq -0xc8(%rbp), %rdi
callq 0x142f0
movq -0xd0(%rbp), %rdi
callq 0x14310
movq -0xd8(%rbp), %rdi
callq 0x14310
movq -0xb8(%rbp), %rdi
callq 0x9020
jmp 0x13a4d
movq -0x10(%rbp), %rdi
movl $0x1, %esi
callq 0x14110
jmp 0x1356e
movq -0xe0(%rbp), %rdi
leaq -0x10(%rbp), %rsi
callq 0x91c0
jmp 0x13580
movq -0x10(%rbp), %rdi
callq 0x9720
movq %rax, -0xe8(%rbp)
jmp 0x13592
movq -0xe8(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rsi
leaq -0x30(%rbp), %rdi
callq 0x14130
movq -0x28(%rbp), %rsi
leaq -0x38(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0x141b0
movq -0xf8(%rbp), %rsi
leaq -0x30(%rbp), %rdi
callq 0x14180
movb %al, -0xe9(%rbp)
jmp 0x135d6
movb -0xe9(%rbp), %al
testb $0x1, %al
jne 0x135e5
jmp 0x13a44
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x100(%rbp)
jmp 0x135f7
movq -0x100(%rbp), %rax
cmpl $0x2, 0xe8(%rax)
jne 0x1369c
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x108(%rbp)
jmp 0x1361d
movq -0x108(%rbp), %rax
movl 0xdc(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x1369c
movq -0xe0(%rbp), %rax
addq $0xa8, %rax
movq %rax, -0x118(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x110(%rbp)
jmp 0x1365a
movq -0x118(%rbp), %rdi
movq -0x110(%rbp), %rsi
addq $0x9c, %rsi
callq 0x14240
movb %dl, -0x121(%rbp)
movq %rax, -0x120(%rbp)
jmp 0x13683
movb -0x121(%rbp), %al
movq -0x120(%rbp), %rcx
movq %rcx, -0x48(%rbp)
movb %al, -0x40(%rbp)
jmp 0x1374e
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x130(%rbp)
jmp 0x136ae
movq -0x130(%rbp), %rax
cmpl $0x1, 0xe8(%rax)
jne 0x1374c
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x138(%rbp)
jmp 0x136d4
movq -0x138(%rbp), %rax
movl 0xdc(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x1374c
movq -0xe0(%rbp), %rax
addq $0x78, %rax
movq %rax, -0x148(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x140(%rbp)
jmp 0x1370f
movq -0x148(%rbp), %rdi
movq -0x140(%rbp), %rsi
addq $0x9c, %rsi
callq 0x14240
movb %dl, -0x151(%rbp)
movq %rax, -0x150(%rbp)
jmp 0x13738
movb -0x151(%rbp), %al
movq -0x150(%rbp), %rcx
movq %rcx, -0x58(%rbp)
movb %al, -0x50(%rbp)
jmp 0x1374e
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x160(%rbp)
jmp 0x13760
movq -0x160(%rbp), %rax
cmpl $0x2, 0x150(%rax)
jne 0x13805
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x168(%rbp)
jmp 0x13786
movq -0x168(%rbp), %rax
movl 0x144(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x13805
movq -0xe0(%rbp), %rax
addq $0xa8, %rax
movq %rax, -0x178(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x170(%rbp)
jmp 0x137c3
movq -0x178(%rbp), %rdi
movq -0x170(%rbp), %rsi
addq $0x104, %rsi            # imm = 0x104
callq 0x14240
movb %dl, -0x181(%rbp)
movq %rax, -0x180(%rbp)
jmp 0x137ec
movb -0x181(%rbp), %al
movq -0x180(%rbp), %rcx
movq %rcx, -0x68(%rbp)
movb %al, -0x60(%rbp)
jmp 0x138b7
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x190(%rbp)
jmp 0x13817
movq -0x190(%rbp), %rax
cmpl $0x1, 0x150(%rax)
jne 0x138b5
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x198(%rbp)
jmp 0x1383d
movq -0x198(%rbp), %rax
movl 0x144(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x138b5
movq -0xe0(%rbp), %rax
addq $0x78, %rax
movq %rax, -0x1a8(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1a0(%rbp)
jmp 0x13878
movq -0x1a8(%rbp), %rdi
movq -0x1a0(%rbp), %rsi
addq $0x104, %rsi            # imm = 0x104
callq 0x14240
movb %dl, -0x1b1(%rbp)
movq %rax, -0x1b0(%rbp)
jmp 0x138a1
movb -0x1b1(%rbp), %al
movq -0x1b0(%rbp), %rcx
movq %rcx, -0x78(%rbp)
movb %al, -0x70(%rbp)
jmp 0x138b7
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1c0(%rbp)
jmp 0x138c9
movq -0x1c0(%rbp), %rax
cmpl $0x2, 0x1b8(%rax)
jne 0x13971
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1c8(%rbp)
jmp 0x138ef
movq -0x1c8(%rbp), %rax
movl 0x1ac(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x13971
movq -0xe0(%rbp), %rax
addq $0xa8, %rax
movq %rax, -0x1d8(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1d0(%rbp)
jmp 0x1392c
movq -0x1d8(%rbp), %rdi
movq -0x1d0(%rbp), %rsi
addq $0x16c, %rsi            # imm = 0x16C
callq 0x14240
movb %dl, -0x1e1(%rbp)
movq %rax, -0x1e0(%rbp)
jmp 0x13955
movb -0x1e1(%rbp), %al
movq -0x1e0(%rbp), %rcx
movq %rcx, -0x88(%rbp)
movb %al, -0x80(%rbp)
jmp 0x13a29
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1f0(%rbp)
jmp 0x13983
movq -0x1f0(%rbp), %rax
cmpl $0x1, 0x1b8(%rax)
jne 0x13a27
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x1f8(%rbp)
jmp 0x139a9
movq -0x1f8(%rbp), %rax
movl 0x1ac(%rax), %eax
andl $0x20000, %eax          # imm = 0x20000
cmpl $0x0, %eax
je 0x13a27
movq -0xe0(%rbp), %rax
addq $0x78, %rax
movq %rax, -0x208(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14200
movq %rax, -0x200(%rbp)
jmp 0x139e4
movq -0x208(%rbp), %rdi
movq -0x200(%rbp), %rsi
addq $0x16c, %rsi            # imm = 0x16C
callq 0x14240
movb %dl, -0x211(%rbp)
movq %rax, -0x210(%rbp)
jmp 0x13a0d
movb -0x211(%rbp), %al
movq -0x210(%rbp), %rcx
movq %rcx, -0x98(%rbp)
movb %al, -0x90(%rbp)
jmp 0x13a29
jmp 0x13a2b
leaq -0xa0(%rbp), %rdi
leaq -0x30(%rbp), %rsi
xorl %edx, %edx
callq 0x14290
jmp 0x13a3f
jmp 0x135aa
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
movq -0x18(%rbp), %rdi
callq 0x8320
nopw %cs:(%rax,%rax)