inBuf.seek(getFilePointer(pltSlot));
AbsoluteAddress trampolineDest = new AbsoluteAddress(inBuf.readDWORD());
//logger.debug("Trampoline destination is " + trampolineDest);
pltIdx = (int)getFilePointer(trampolineDest);
// Read the push instruction
instr = disasm.decodeInstruction(pltIdx);
X86Instruction pushSTOff = (X86Instruction)instr;
// The push instruction's parameter is an index into the symbol table
int symbolTableOff = ((Immediate)pushSTOff.getOperand1()).getNumber().intValue();
// Read function name from symbol table
//String functionName = elf.getSymbols()[symbolTableOff].toString();