#!/bin/bash
if [[ $# < 1 ]]; then
  echo >&2 "Usage: $0 id [name1 [name2 ...]]"
  exit 2
fi
id=$1
shift 1
if [[ $# == 0 ]]; then
  names="__libc_start_main_ret system dup2 read write str_bin_sh"
else
  names="$@"
fi
for info in db/*; do
  if [[ -d $info ]] && [[ -e $info/$id.symbols ]]; then
    echo "${info}/${id}.symbols:"
    for name in $names; do
      offset=`cat ${info}/${id}.symbols | grep "^$name " | cut -d' ' -f2`
      echo "offset_${name} = 0x${offset}"
    done
  fi
done