Newer
Older
#!/bin/bash
read line
echo $line;
while read line
do
COMMAND=$(echo "$line" | cut -d ':' -f 1 | cut -d '(' -f 1 | xargs )
ADDRESS=$(echo "$line" | cut -d '[' -f 2 | cut -d ';' -f 1 | cut -d ']' -f 1 | xargs )
LINE_DESC=$(addr2line -e "$COMMAND" "$ADDRESS")
echo ' '"$COMMAND"' : '"$LINE_DESC"
done