test.d/kprobe/kprobe_syntax_errors.tc

0001 #!/bin/sh
0002 # SPDX-License-Identifier: GPL-2.0
0003 # description: Kprobe event parser error log check
0004 # requires: kprobe_events error_log
0005
0006 check_error() { # command-with-error-pos-by-^
0007     ftrace_errlog_check 'trace_kprobe' "$1" 'kprobe_events'
0008 }
0009
0010 if grep -q 'r\[maxactive\]' README; then
0011 check_error 'p^100 vfs_read'            # MAXACT_NO_KPROBE
0012 check_error 'r^1a111 vfs_read'          # BAD_MAXACT
0013 check_error 'r^100000 vfs_read'         # MAXACT_TOO_BIG
0014 fi
0015
0016 check_error 'p ^non_exist_func'         # BAD_PROBE_ADDR (enoent)
0017 check_error 'p ^hoge-fuga'              # BAD_PROBE_ADDR (bad syntax)
0018 check_error 'p ^hoge+1000-1000'         # BAD_PROBE_ADDR (bad syntax)
0019 check_error 'r ^vfs_read+10'            # BAD_RETPROBE
0020 check_error 'p:^/bar vfs_read'          # NO_GROUP_NAME
0021 check_error 'p:^12345678901234567890123456789012345678901234567890123456789012345/bar vfs_read' # GROUP_TOO_LONG
0022
0023 check_error 'p:^foo.1/bar vfs_read'     # BAD_GROUP_NAME
0024 check_error 'p:^ vfs_read'              # NO_EVENT_NAME
0025 check_error 'p:foo/^12345678901234567890123456789012345678901234567890123456789012345 vfs_read' # EVENT_TOO_LONG
0026 check_error 'p:foo/^bar.1 vfs_read'     # BAD_EVENT_NAME
0027
0028 check_error 'p vfs_read ^$retval'       # RETVAL_ON_PROBE
0029 check_error 'p vfs_read ^$stack10000'   # BAD_STACK_NUM
0030
0031 if grep -q '$arg<N>' README; then
0032 check_error 'p vfs_read ^$arg10000'     # BAD_ARG_NUM
0033 fi
0034
0035 check_error 'p vfs_read ^$none_var'     # BAD_VAR
0036
0037 check_error 'p vfs_read ^%none_reg'     # BAD_REG_NAME
0038 check_error 'p vfs_read ^@12345678abcde'        # BAD_MEM_ADDR
0039 check_error 'p vfs_read ^@+10'          # FILE_ON_KPROBE
0040
0041 grep -q "imm-value" README && \
0042 check_error 'p vfs_read arg1=\^x'       # BAD_IMM
0043 grep -q "imm-string" README && \
0044 check_error 'p vfs_read arg1=\"abcd^'   # IMMSTR_NO_CLOSE
0045
0046 check_error 'p vfs_read ^+0@0)'         # DEREF_NEED_BRACE
0047 check_error 'p vfs_read ^+0ab1(@0)'     # BAD_DEREF_OFFS
0048 check_error 'p vfs_read +0(+0(@0^)'     # DEREF_OPEN_BRACE
0049
0050 if grep -A1 "fetcharg:" README | grep -q '\$comm' ; then
0051 check_error 'p vfs_read +0(^$comm)'     # COMM_CANT_DEREF
0052 fi
0053
0054 check_error 'p vfs_read ^&1'            # BAD_FETCH_ARG
0055
0056
0057 # We've introduced this limitation with array support
0058 if grep -q ' <type>\\\[<array-size>\\\]' README; then
0059 check_error 'p vfs_read +0(^+0(+0(+0(+0(+0(+0(+0(+0(+0(+0(+0(+0(+0(@0))))))))))))))'    # TOO_MANY_OPS?
0060 check_error 'p vfs_read +0(@11):u8[10^'         # ARRAY_NO_CLOSE
0061 check_error 'p vfs_read +0(@11):u8[10]^a'       # BAD_ARRAY_SUFFIX
0062 check_error 'p vfs_read +0(@11):u8[^10a]'       # BAD_ARRAY_NUM
0063 check_error 'p vfs_read +0(@11):u8[^256]'       # ARRAY_TOO_BIG
0064 fi
0065
0066 check_error 'p vfs_read @11:^unknown_type'      # BAD_TYPE
0067 check_error 'p vfs_read $stack0:^string'        # BAD_STRING
0068 check_error 'p vfs_read @11:^b10@a/16'          # BAD_BITFIELD
0069
0070 check_error 'p vfs_read ^arg123456789012345678901234567890=@11' # ARG_NAME_TOO_LOG
0071 check_error 'p vfs_read ^=@11'                  # NO_ARG_NAME
0072 check_error 'p vfs_read ^var.1=@11'             # BAD_ARG_NAME
0073 check_error 'p vfs_read var1=@11 ^var1=@12'     # USED_ARG_NAME
0074 check_error 'p vfs_read ^+1234567(+1234567(+1234567(+1234567(+1234567(+1234567(@1234))))))'     # ARG_TOO_LONG
0075 check_error 'p vfs_read arg1=^'                 # NO_ARG_BODY
0076
0077 # instruction boundary check is valid on x86 (at this moment)
0078 case $(uname -m) in
0079   x86_64|i[3456]86)
0080     echo 'p vfs_read' > kprobe_events
0081     if grep -q FTRACE ../kprobes/list ; then
0082         check_error 'p ^vfs_read+3'             # BAD_INSN_BNDRY (only if function-tracer is enabled)
0083     fi
0084     ;;
0085 esac
0086
0087 # multiprobe errors
0088 if grep -q "Create/append/" README && grep -q "imm-value" README; then
0089 echo "p:kprobes/testevent $FUNCTION_FORK" > kprobe_events
0090 check_error '^r:kprobes/testevent do_exit'      # DIFF_PROBE_TYPE
0091
0092 # Explicitly use printf "%s" to not interpret \1
0093 printf "%s" "p:kprobes/testevent $FUNCTION_FORK abcd=\\1" > kprobe_events
0094 check_error "p:kprobes/testevent $FUNCTION_FORK ^bcd=\\1"       # DIFF_ARG_TYPE
0095 check_error "p:kprobes/testevent $FUNCTION_FORK ^abcd=\\1:u8"   # DIFF_ARG_TYPE
0096 check_error "p:kprobes/testevent $FUNCTION_FORK ^abcd=\\\"foo\"" # DIFF_ARG_TYPE
0097 check_error "^p:kprobes/testevent $FUNCTION_FORK abcd=\\1"      # SAME_PROBE
0098 fi
0099
0100 # %return suffix errors
0101 if grep -q "place (kretprobe): .*%return.*" README; then
0102 check_error 'p vfs_read^%hoge'          # BAD_ADDR_SUFFIX
0103 check_error 'p ^vfs_read+10%return'     # BAD_RETPROBE
0104 fi
0105
0106 exit 0