PVS-Studio Analysis Results


Date:Sat Jul 4 13:27:56 2020
PVS-Studio Version:7.08.39765.52
Command Line:plog-converter PVS-studio.log --srcRoot . --excludedCodes V011 --renderTypes fullhtml --output PVS-studio.html.d
Total Warnings (GA):52
Group Location Level Code Message
General Analysis stddef.h:62 Medium V677 Custom declaration of a standard 'size_t' type. The declaration from system header files should be used instead.
General Analysis stdarg.h:30 Medium V677 Custom declaration of a standard 'va_list' type. The declaration from system header files should be used instead.
General Analysis stddef.h:90 Medium V677 Custom declaration of a standard 'wchar_t' type. The declaration from system header files should be used instead.
General Analysis stddef.h:51 Medium V677 Custom declaration of a standard 'ptrdiff_t' type. The declaration from system header files should be used instead.
General Analysis typval_encode.c.h:393 Medium V785 Constant expression in switch statement.
General Analysis buffer.c:3086 Medium V681 The language standard does not define an order in which the 'bt_dontwrite' functions will be called during evaluation of arguments.
General Analysis stddef.h:132 Medium V677 Custom declaration of a standard 'wint_t' type. The declaration from system header files should be used instead.
General Analysis eval.c:5732 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis eval.c:5732 High V576 Incorrect format. Consider checking the fifth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis eval.c:6063 Medium V1051 Consider checking for misprints. It's possible that the 'trans_name' should be checked here.
General Analysis typval_encode.c.h:326 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis typval_encode.c.h:489 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis typval_encode.c.h:487 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis funcs.c:1775 High V547 Expression is always true.
General Analysis funcs.c:8038 Medium V560 A part of conditional expression is always true.
General Analysis typval.c:2601 High V547 Expression is always true.
General Analysis userfunc.c:3368 Medium V560 A part of conditional expression is always false: abort.
General Analysis ex_cmds.c:3556 High V1051 Consider checking for misprints. It's possible that the 'current_match.start.lnum' should be checked here.
General Analysis ex_cmds2.c:3068 Medium V507 Pointer to local array 'sourcing_name_buf' is stored outside the scope of this array. Such a pointer will become invalid.
General Analysis highlight.c:423 Medium V1051 Consider checking for misprints. It's possible that the 'cattrs.rgb_fg_color' should be checked here.
General Analysis highlight.c:441 Medium V1051 Consider checking for misprints. It's possible that the 'cattrs.rgb_fg_color' should be checked here.
General Analysis keymap.c:660 Medium V1051 Consider checking for misprints. It's possible that the 'key' should be checked here.
General Analysis marktree.c:167 High V512 A call of the 'memcpy' function will lead to underflow of the buffer 'z->key'.
General Analysis marktree.c:330 High V547 Expression 'adjustment == 1' is always false.
General Analysis marktree.c:438 High V547 Expression 'adjustment == 1' is always false.
General Analysis marktree.c:472 High V1028 Possible overflow. Consider casting operands of the 'y->n + 1' operator to the 'size_t' type, not the result.
General Analysis marktree.c:494 High V1028 Possible overflow. Consider casting operands of the 'y->n + 1' operator to the 'size_t' type, not the result.
General Analysis memline.c:1015 Medium V1048 The 'buf->b_ml.ml_stack_top' variable was assigned the same value.
General Analysis memline.c:1017 Medium V1048 The 'buf->b_ml.ml_stack_size' variable was assigned the same value.
General Analysis normal.c:3150 High V781 The value of the 'col' index is checked after it was used. Perhaps there is a mistake in program logic.
General Analysis input.c:436 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis quickfix.c:3801 Medium V557 Array overrun is possible. The value of 'len ++' index could reach 4094.
General Analysis quickfix.c:3802 Medium V557 Array overrun is possible. The value of 'len ++' index could reach 4095.
General Analysis regexp_nfa.c:6147 High V1051 Consider checking for misprints. It's possible that the 'pim->result' should be checked here.
General Analysis screen.c:3045 Medium V1051 Consider checking for misprints. It's possible that the 'vcol_sbr' should be checked here.
General Analysis screen.c:4606 Medium V1051 Consider checking for misprints. It's possible that the 'redraw_next' should be checked here.
General Analysis screen.c:5076 Medium V512 A call of the 'strcpy' function will lead to overflow of the buffer '(char *)(p + len)'.
General Analysis sha256.c:7 High V1042 This file is marked with copyleft license, which requires you to open the derived source code.
General Analysis shada.c:4117 Medium V1004 The 'buf' pointer was used unsafely after it was verified against nullptr. Check lines: 4110, 4117.
General Analysis spell.c:6016 High V781 The value of the 'i' index is checked after it was used. Perhaps there is a mistake in program logic.
General Analysis syntax.c:3363 Medium V1051 Consider checking for misprints. It's possible that the 'arg_end' should be checked here.
General Analysis syntax.c:3548 Medium V1051 Consider checking for misprints. It's possible that the 'arg_end' should be checked here.
General Analysis tag.c:1185 Medium V560 A part of conditional expression is always true: rettv.vval.v_special == kSpecialVarNull.
General Analysis input.c:540 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis input.c:552 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis tui.c:1111 Medium V751 Parameter 'cols' is not used inside function body.
General Analysis tui.c:1821 Medium V728 An excessive check can be simplified. The '||' operator is surrounded by opposite expressions '!screen_host_linuxvt' and 'screen_host_linuxvt'.
General Analysis tui.c:1839 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis tui.c:1875 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis tui.c:1897 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis rbuffer.c:10 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis rbuffer.c:18 Medium V1044 Loop break conditions do not depend on the number of iterations.