projects/linux·blob v4.3-rc7 · refs

129 lines · 3.1 KiB

1#!/bin/bash
2# (c) 2014, Sasha Levin <[email protected]>
3#set -x
4
5if [[ $# != 2 ]]; then
6 echo "Usage:"
7 echo " $0 [vmlinux] [base path]"
8 exit 1
9fi
10
11vmlinux=$1
12basepath=$2
13declare -A cache
14
15parse_symbol() {
16 # The structure of symbol at this point is:
17 # ([name]+[offset]/[total length])
18 #
19 # For example:
20 # do_basic_setup+0x9c/0xbf
21
22 # Remove the englobing parenthesis
23 symbol=${symbol#\(}
24 symbol=${symbol%\)}
25
26 # Strip the symbol name so that we could look it up
27 local name=${symbol%+*}
28
29 # Use 'nm vmlinux' to figure out the base address of said symbol.
30 # It's actually faster to call it every time than to load it
31 # all into bash.
32 if [[ "${cache[$name]+isset}" == "isset" ]]; then
33 local base_addr=${cache[$name]}
34 else
35 local base_addr=$(nm "$vmlinux" | grep -i ' t ' | awk "/ $name\$/ {print \$1}" | head -n1)
36 cache["$name"]="$base_addr"
37 fi
38 # Let's start doing the math to get the exact address into the
39 # symbol. First, strip out the symbol total length.
40 local expr=${symbol%/*}
41
42 # Now, replace the symbol name with the base address we found
43 # before.
44 expr=${expr/$name/0x$base_addr}
45
46 # Evaluate it to find the actual address
47 expr=$((expr))
48 local address=$(printf "%x\n" "$expr")
49
50 # Pass it to addr2line to get filename and line number
51 # Could get more than one result
52 if [[ "${cache[$address]+isset}" == "isset" ]]; then
53 local code=${cache[$address]}
54 else
55 local code=$(addr2line -i -e "$vmlinux" "$address")
56 cache[$address]=$code
57 fi
58
59 # addr2line doesn't return a proper error code if it fails, so
60 # we detect it using the value it prints so that we could preserve
61 # the offset/size into the function and bail out
62 if [[ $code == "??:0" ]]; then
63 return
64 fi
65
66 # Strip out the base of the path
67 code=${code//$basepath/""}
68
69 # In the case of inlines, move everything to same line
70 code=${code//$'\n'/' '}
71
72 # Replace old address with pretty line numbers
73 symbol="$name ($code)"
74}
75
76decode_code() {
77 local scripts=`dirname "${BASH_SOURCE[0]}"`
78
79 echo "$1" | $scripts/decodecode
80}
81
82handle_line() {
83 local words
84
85 # Tokenize
86 read -a words <<<"$1"
87
88 # Remove hex numbers. Do it ourselves until it happens in the
89 # kernel
90
91 # We need to know the index of the last element before we
92 # remove elements because arrays are sparse
93 local last=$(( ${#words[@]} - 1 ))
94
95 for i in "${!words[@]}"; do
96 # Remove the address
97 if [[ ${words[$i]} =~ \[\<([^]]+)\>\] ]]; then
98 unset words[$i]
99 fi
100
101 # Format timestamps with tabs
102 if [[ ${words[$i]} == \[ && ${words[$i+1]} == *\] ]]; then
103 unset words[$i]
104 words[$i+1]=$(printf "[%13s\n" "${words[$i+1]}")
105 fi
106 done
107
108 # The symbol is the last element, process it
109 symbol=${words[$last]}
110 unset words[$last]
111 parse_symbol # modifies $symbol
112
113 # Add up the line number to the symbol
114 echo "${words[@]}" "$symbol"
115}
116
117while read line; do
118 # Let's see if we have an address in the line
119 if [[ $line =~ \[\<([^]]+)\>\] ]]; then
120 # Translate address to line numbers
121 handle_line "$line"
122 # Is it a code line?
123 elif [[ $line == *Code:* ]]; then
124 decode_code "$line"
125 else
126 # Nothing special in this line, show it as is
127 echo "$line"
128 fi
129done