Logo
1.800.487.3217
info@roguewave.com
Need Support Click here
Skip to main content
  • Home
  • Support
  • Videos

Search

  1.  
  2.  
  3.  
  • C 和 C++ 检查器参考
    • 使用已释放的内存
      • CL.FFM.ASSIGN
      • CL.FFM.COPY
      • CL.SELF-ASSIGN
      • CL.SHALLOW.ASSIGN
      • CL.SHALLOW.COPY
      • LOCRET.ARG
      • LOCRET.GLOB
      • LOCRET.RET
      • UFM.DEREF.MIGHT
      • UFM.DEREF.MUST
      • UFM.FFM.MIGHT
      • UFM.FFM.MUST
      • UFM.RETURN.MIGHT
      • UFM.RETURN.MUST
      • UFM.USE.MIGHT
      • UFM.USE.MUST
    • 推荐禁用的API
      • SV.BANNED.RECOMMENDED.ALLOCA
      • SV.BANNED.RECOMMENDED.NUMERIC
      • SV.BANNED.RECOMMENDED.OEM
      • SV.BANNED.RECOMMENDED.PATH
      • SV.BANNED.RECOMMENDED.SCANF
      • SV.BANNED.RECOMMENDED.SPRINTF
      • SV.BANNED.RECOMMENDED.STRLEN
      • SV.BANNED.RECOMMENDED.TOKEN
      • SV.BANNED.RECOMMENDED.WINDOW
    • 必须禁用的API
      • SV.BANNED.REQUIRED.CONCAT
      • SV.BANNED.REQUIRED.COPY
      • SV.BANNED.REQUIRED.GETS
      • SV.BANNED.REQUIRED.ISBAD
      • SV.BANNED.REQUIRED.SPRINTF
    • 缓冲区溢出
      • ABV.ANY_SIZE_ARRAY
      • ABV.GENERAL
      • ABV.ITERATOR
      • ABV.MEMBER
      • ABV.STACK
      • ABV.TAINTED
      • ABV.UNICODE.BOUND_MAP
      • ABV.UNICODE.FAILED_MAP
      • ABV.UNICODE.NNTS_MAP
      • ABV.UNICODE.SELF_MAP
      • ABV.UNKNOWN_SIZE
      • NNTS.MIGHT
      • NNTS.MUST
      • NNTS.TAINTED
      • RABV.CHECK
      • RN.INDEX
      • SV.FMT_STR.BAD_SCAN_FORMAT
      • SV.STRBO.BOUND_COPY.OVERFLOW
      • SV.STRBO.BOUND_COPY.UNTERM
      • SV.STRBO.BOUND_SPRINTF
      • SV.STRBO.UNBOUND_COPY
      • SV.STRBO.UNBOUND_SPRINTF
      • SV.UNBOUND_STRING_INPUT.CIN
      • SV.UNBOUND_STRING_INPUT.FUNC
    • C/C++ 警告
      • CWARN.ALIGNMENT
      • CWARN.BITOP.SIZE
      • CWARN.COPY.NOASSIGN
      • CWARN.DTOR.NONVIRT.DELETE
      • CWARN.DTOR.NONVIRT.NOTEMPTY
      • CWARN.INCL.ABSOLUTE
      • CWARN.INCL.NO_INTERFACE
      • CWARN.MEM.NONPOD
      • CWARN.MEMBER.INIT.ORDER
      • CWARN.NOEFFECT.OUTOFRANGE
      • CWARN.NOEFFECT.SELF_ASSIGN
      • CWARN.NOEFFECT.UCMP.GE.MACRO
      • CWARN.NOEFFECT.UCMP.GE
      • CWARN.NOEFFECT.UCMP.LT.MACRO
      • CWARN.NOEFFECT.UCMP.LT
      • CWARN.NULLCHECK.FUNCNAME
      • CWARN.OVERRIDE.CONST
      • CWARN.PASSBYVALUE.ARG
      • CWARN.PASSBYVALUE.EXC
    • COM 缺陷
      • BSTR.CAST.C
      • BSTR.CAST.CPP
      • BSTR.FUNC.ALLOC
      • BSTR.FUNC.FREE
      • BSTR.FUNC.LEN
      • BSTR.FUNC.REALLOC
      • BSTR.IA.ASSIGN
      • BSTR.IA.INIT
      • BSTR.OPS.ARITHM
      • BSTR.OPS.COMP
      • BSTR.OPS.EQS
    • 计算的值从未使用
      • VA_UNUSED.GEN
      • VA_UNUSED.INIT
    • 并发问题
      • CONC.DL
      • CONC.NO_UNLOCK
      • CONC.SLEEP
    • DNS 欺骗
      • SV.BFC.USING_STRUCT
      • SV.USAGERULES.SPOOFING
    • 硬编码凭据
      • HCC
      • HCC.PWD
      • HCC.USER
    • 忽略返回值
      • SV.RVT.RETVAL_NOTTESTED
    • 错误的内存释放
      • CL.FMM
      • FMM.MIGHT
      • FMM.MUST
      • FNH.MIGHT
      • FNH.MUST
      • FUM.GEN.MIGHT
      • FUM.GEN.MUST
    • 错误的迭代使用
      • ITER.CONTAINER.MODIFIED
      • ITER.END.DEREF.MIGHT
      • ITER.END.DEREF.MUST
      • ITER.INAPPROPRIATE.MULTIPLE
      • ITER.INAPPROPRIATE
    • 除以零
      • DBZ.CONST
      • DBZ.CONST.CALL
      • DBZ.GENERAL
      • DBZ.ITERATOR
    • 本地化字符串
      • LS.CALL
      • LS.CALL.STRING
    • 最小权限问题
      • SV.LPP.CONST
      • SV.LPP.VAR
      • SV.SIP.CONST
      • SV.SIP.VAR
    • 内存泄漏
      • CL.MLK.VIRTUAL
      • CL.MLK.ASSIGN
      • CL.MLK
      • FREE.INCONSISTENT
      • MLK.MIGHT
      • MLK.MUST
      • MLK.RET.MIGHT
      • MLK.RET.MUST
    • 不匹配的返回值
      • CL.ASSIGN.NON_CONST_ARG
      • CL.ASSIGN.RETURN_CONST
      • CL.ASSIGN.VOID
      • FUNCRET.GEN
      • FUNCRET.IMPLICIT
      • RETVOID.GEN
      • RETVOID.IMPLICIT
      • VOIDRET
    • 空指针解引用
      • NPD.CHECK.CALL.MIGHT
      • NPD.CHECK.CALL.MUST
      • NPD.CHECK.MIGHT
      • NPD.CHECK.MUST
      • NPD.CONST.CALL
      • NPD.CONST.DEREF
      • NPD.FUNC.CALL.MIGHT
      • NPD.FUNC.CALL.MUST
      • NPD.FUNC.MIGHT
      • NPD.FUNC.MUST
      • NPD.GEN.CALL.MIGHT
      • NPD.GEN.CALL.MUST
      • NPD.GEN.MIGHT
      • NPD.GEN.MUST
      • RNPD.CALL
      • RNPD.DEREF
    • 解析警告
      • CWARN.BAD.PTR.ARITH
      • CWARN.BOOLOP.INC
      • CWARN.CAST.VIRTUAL_INHERITANCE
      • CWARN.CMPCHR.EOF
      • CWARN.CONSTCOND.DO
      • CWARN.CONSTCOND.IF
      • CWARN.CONSTCOND.SWITCH
      • CWARN.CONSTCOND.TERNARY
      • CWARN.CONSTCOND.WHILE
      • CWARN.EMPTY.LABEL
      • CWARN.EMPTY.TYPEDEF
      • CWARN.FUNCADDR
      • CWARN.HIDDEN.PARAM
      • CWARN.IMPLICITINT
      • CWARN.INLINE.NONFUNC
      • CWARN.MEMSET.SIZEOF.PTR
      • CWARN.PACKED.TYPEDEF
      • CWARN.RET.MAIN
      • CWARN.SIGNEDBIT
    • 管道劫持漏洞
      • SV.PIPE.CONST
      • SV.PIPE.VAR
    • 移植性问题
      • PORTING.BITFIELDS
      • PORTING.BSWAP.MACRO
      • PORTING.BYTEORDER.SIZE
      • PORTING.CAST.FLTPNT
      • PORTING.CAST.PTR.FLTPNT
      • PORTING.CAST.PTR.SIZE
      • PORTING.CAST.PTR
      • PORTING.CAST.SIZE
      • PORTING.CMPSPEC.EFFECTS.ASSIGNMENT
      • PORTING.CMPSPEC.TYPE.BOOL
      • PORTING.CMPSPEC.TYPE.LONGLONG
      • PORTING.MACRO.NUMTYPE
      • PORTING.OPTS
      • PORTING.PRAGMA.ALIGN
      • PORTING.PRAGMA.PACK
      • PORTING.SIGNED.CHAR
      • PORTING.STORAGE.STRUCT
      • PORTING.STRUCT.BOOL
      • PORTING.UNIONS
      • PORTING.UNSIGNEDCHAR.OVERFLOW.FALSE
      • PORTING.UNSIGNEDCHAR.OVERFLOW.TRUE
      • PORTING.UNSIGNEDCHAR.RELOP
      • PORTING.VAR.EFFECTS
    • 可能的DLL劫持漏洞
      • SV.DLLPRELOAD.NONABSOLUTE.DLL
      • SV.DLLPRELOAD.NONABSOLUTE.EXE
      • SV.DLLPRELOAD.SEARCHPATH
    • Print 函数格式错误
      • SV.FMT_STR.PRINT_FORMAT_MISMATCH.BAD
      • SV.FMT_STR.PRINT_FORMAT_MISMATCH.UNDESIRED
      • SV.FMT_STR.PRINT_IMPROP_LENGTH
      • SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW
      • SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY
      • SV.FMT_STR.UNKWN_FORMAT
    • 注册表操作问题
      • SV.BRM.HKEY_LOCAL_MACHINE
    • 资源控制问题
      • RH.LEAK
      • SV.INCORRECT_RESOURCE_HANDLING.URH
      • SV.INCORRECT_RESOURCE_HANDLING.WRONG_STATUS
    • Scan 函数格式错误
      • SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD
      • SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED
      • SV.FMT_STR.SCAN_IMPROP_LENGTH
      • SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW
      • SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY
      • SV.FMT_STR.UNKWN_FORMAT.SCAN
    • 预测执行问题
      • SPECTRE.VARIANT1
    • typedef类型检查器
      • STRONG.TYPE.ASSIGN
      • STRONG.TYPE.ASSIGN.ARG
      • STRONG.TYPE.ASSIGN.CONST
      • STRONG.TYPE.ASSIGN.INIT
      • STRONG.TYPE.ASSIGN.RETURN
      • STRONG.TYPE.ASSIGN.ZERO
      • STRONG.TYPE.EXTRACT
      • STRONG.TYPE.JOIN.CMP
      • STRONG.TYPE.JOIN.CONST
      • STRONG.TYPE.JOIN.EQ
      • STRONG.TYPE.JOIN.OTHER
      • STRONG.TYPE.JOIN.ZERO
    • 有问题的编码实践
      • ASSIGCOND.CALL
      • ASSIGCOND.GEN
      • BYTEORDER.HTON.SEND
      • BYTEORDER.HTON.WRITE
      • BYTEORDER.NTOH.READ
      • BYTEORDER.NTOH.RECV
      • EFFECT
      • INCONSISTENT.LABEL
      • INCORRECT.ALLOC_SIZE
      • LA_UNUSED
      • NUM.OVERFLOW
      • PRECISION.LOSS.CALL
      • PRECISION.LOSS
      • SEMICOL
      • SV.CODE_INJECTION.SHELL_EXEC
      • SV.FIU.PROCESS_VARIANTS
      • SV.FMTSTR.GENERIC
      • SV.TOCTOU.FILE_ACCESS
      • SV.USAGERULES.PERMISSIONS
      • SV.USAGERULES.PROCESS_VARIANTS
      • UNUSED.FUNC.WARN
    • 不必要或缺失的 include
      • HA.DUPLICATE
      • HA.OPTIMIZE
      • HA.UNUSED
    • 不可达代码
      • INFINITE_LOOP.GLOBAL
      • INFINITE_LOOP.LOCAL
      • INFINITE_LOOP.MACRO
      • INVARIANT_CONDITION.GEN
      • INVARIANT_CONDITION.UNREACH
      • UNREACH.GEN
      • UNREACH.SIZEOF
      • UNUSED.FUNC.GEN
      • UNREACH.RETURN
    • 无用的局部变量
      • LV_UNUSED.GEN
    • 未经验证的用户输入
      • SV.STR_PAR.UNDESIRED_STRING_PARAMETER
      • SV.TAINTED.ALLOC_SIZE
      • SV.TAINTED.BINOP
      • SV.TAINTED.CALL.BINOP
      • SV.TAINTED.CALL.DEREF
      • SV.TAINTED.CALL.INDEX_ACCESS
      • SV.TAINTED.CALL.LOOP_BOUND
      • SV.TAINTED.DEREF
      • SV.TAINTED.FMTSTR
      • SV.TAINTED.INDEX_ACCESS
      • SV.TAINTED.INJECTION
      • SV.TAINTED.LOOP_BOUND
      • SV.TAINTED.PATH_TRAVERSAL
      • SV.TAINTED.SECURITY_DECISION
    • 使用未初始化数据
      • UNINIT.CTOR.MIGHT
      • UNINIT.CTOR.MUST
      • UNINIT.HEAP.MIGHT
      • UNINIT.HEAP.MUST
      • UNINIT.STACK.ARRAY.MIGHT
      • UNINIT.STACK.ARRAY.MUST
      • UNINIT.STACK.ARRAY.PARTIAL.MUST
      • UNINIT.STACK.MIGHT
      • UNINIT.STACK.MUST
    • 弱加密
      • RCA
      • RCA.HASH.SALT.EMPTY
      • SV.PCC.CONST
      • SV.PCC.INVALID_TEMP_PATH
      • SV.PCC.MISSING_TEMP_CALLS.MUST
      • SV.PCC.MISSING_TEMP_FILENAME
      • SV.PCC.MODIFIED_BEFORE_CREATE
      • SV.WEAK_CRYPTO.WEAK_HASH
  • C# 检查器参考
    • CS.ASSIGN.SELF
    • CS.CMP.VAL.NULL
    • CS.CONSTCOND.DO
    • CS.CONSTCOND.IF
    • CS.CONSTCOND.SWITCH
    • CS.CONSTCOND.TERNARY
    • CS.CONSTCOND.WHILE
    • CS.CTOR.VIRTUAL
    • CS.EMPTY.CATCH
    • CS.FLOAT.EQCHECK
    • CS.FRACTION.LOSS
    • CS.HIDDEN.MEMBER.LOCAL.CLASS
    • CS.HIDDEN.MEMBER.LOCAL.STRUCT
    • CS.HIDDEN.MEMBER.PARAM.CLASS
    • CS.HIDDEN.MEMBER.PARAM.STRUCT
    • CS.IFACE.EMPTY
    • CS.LOOP.STR.CONCAT
    • CS.NPS
    • CS.NRE.CHECK.CALL.MIGHT
    • CS.NRE.CHECK.CALL.MUST
    • CS.NRE.CHECK.MIGHT
    • CS.NRE.CHECK.MUST
    • CS.NRE.CONST.CALL
    • CS.NRE.CONST.DEREF
    • CS.NRE.FUNC.CALL.MIGHT
    • CS.NRE.FUNC.CALL.MUST
    • CS.NRE.FUNC.MIGHT
    • CS.NRE.FUNC.MUST
    • CS.NRE.GEN.CALL.MIGHT
    • CS.NRE.GEN.CALL.MUST
    • CS.NRE.GEN.MIGHT
    • CS.NRE.GEN.MUST
    • CS.OVRD.EQUALS
    • CS.RCA
    • CS.RLK
    • CS.RNRE
    • CS.SQL.INJECT.LOCAL
    • CS.UNCHECKED.CAST
    • CS.UNCHECKED.LOOPITER.CAST
    • CS.WRONG.CAST
    • CS.WRONG.CAST.MIGHT
    • CS.WRONGSIG.CMPTO
    • CS.WRONGUSE.REFEQ
  • Java 检查器参考
    • ANDROID.LIFECYCLE.SV.FRAGMENTINJ
    • ANDROID.LIFECYCLE.SV.GETEXTRA
    • ANDROID.NPE
    • ANDROID.RLK.MEDIAPLAYER
    • ANDROID.RLK.MEDIARECORDER
    • ANDROID.RLK.SQLCON
    • ANDROID.RLK.SQLOBJ
    • ANDROID.UF.BITMAP
    • ANDROID.UF.CAMERA
    • ANDROID.UF.MEDIAPLAYER
    • ANDROID.UF.MEDIARECORDER
    • CMP.CLASS
    • CMPF.FLOAT
    • CMP.OBJ
    • CMP.STR
    • COV.CMP
    • ECC.EMPTY
    • EHC.EQ
    • EHC.HASH
    • ESCMP.EMPTYSTR
    • EXC.BROADTHROWS
    • FIN.EMPTY
    • FIN.NOSUPER
    • FSC.PRT
    • FSC.PRV
    • FSC.PUB
    • JD.BITCMP
    • JD.BITMASK
    • JD.BITR
    • JD.CALL.WRONGSTATIC
    • JD.CAST.COL
    • JD.CAST.KEY
    • JD.CAST.SUSP
    • JD.CAST.UPCAST
    • JD.CATCH
    • JD.CONCUR
    • JD.EQ.ARR
    • JD.EQ.UTA
    • JD.EQ.UTC
    • JD.FINRET
    • JD.IFBAD
    • JD.IFEMPTY
    • JD.INF.AREC
    • JD.INST.TRUE
    • JD.LIST.ADD
    • JD.LOCK
    • JD.LOCK.NOTIFY
    • JD.LOCK.SLEEP
    • JD.LOCK.WAIT
    • JD.METHOD.CBS
    • JD.NEXT
    • JD.OVER
    • JD.RC.EXPR.CHECK
    • JD.RC.EXPR.DEAD
    • JD.ST.POS
    • JD.SYNC.DCL
    • JD.SYNC.IN
    • JD.THREAD.RUN
    • JD.UMC.FINALIZE
    • JD.UMC.RUNFIN
    • JD.UMC.WAIT
    • JD.UNCAUGHT
    • JD.UN.MET
    • JD.UNMOD
    • JD.UN.PMET
    • JD.VNU
    • JD.VNU.NULL
    • MNA.CAP
    • MNA.CNS
    • MNA.SUS
    • NPE.COND
    • NPE.CONST
    • NPE.RET
    • NPE.RET.UTIL
    • NPE.STAT
    • REDUN.DEF
    • REDUN.EQ
    • REDUN.EQNULL
    • REDUN.FINAL
    • REDUN.NULL
    • REDUN.OP
    • RI.IGNOREDCALL
    • RI.IGNOREDNEW
    • RLK.AWT
    • RLK.FIELD
    • RLK.HIBERNATE
    • RLK.IMAGEIO
    • RLK.IN
    • RLK.JNDI
    • RLK.MAIL
    • RLK.MICRO
    • RLK.NIO
    • RLK.OUT
    • RLK.SOCK
    • RLK.SQLCON
    • RLK.SQLOBJ
    • RLK.SWT
    • RLK.ZIP
    • RNU.THIS
    • RR.IGNORED
    • RTC.CALL
    • STRCON.LOOP
    • SV.CLASSDEF.INJ
    • SV.CLASSLOADER.INJ
    • SV.CLEXT.CLLOADER
    • SV.CLEXT.POLICY
    • SV.CLLOADER
    • SV.CLONE.SUP
    • SV.CSRF.GET
    • SV.CSRF.ORIGIN
    • SV.CSRF.TOKEN
    • SV.DATA.BOUND
    • SV.DATA.DB
    • SV.DOS.ARRINDEX
    • SV.DOS.ARRSIZE
    • SV.DOS.TMPFILEDEL
    • SV.DOS.TMPFILEEXIT
    • SV.ECV
    • SV.EMAIL
    • SV.EXEC
    • SV.EXEC.DIR
    • SV.EXEC.ENV
    • SV.EXEC.LOCAL
    • SV.EXPOSE.FIELD
    • SV.EXPOSE.FIN
    • SV.EXPOSE.IFIELD
    • SV.EXPOSE.MUTABLEFIELD
    • SV.EXPOSE.RET
    • SV.EXPOSE.STORE
    • SV.HASH.NO_SALT
    • SV.HTTP_SPLIT
    • SV.IL.DEV
    • SV.IL.FILE
    • SV.INT_OVF
    • SV.LDAP
    • SV.LOG_FORGING
    • SV.PASSWD.HC
    • SV.PASSWD.HC.EMPTY
    • SV.PASSWD.PLAIN
    • SV.PATH
    • SV.PATH.INJ
    • SV.RANDOM
    • SV.SCRIPT
    • SV.SENSITIVE.DATA
    • SV.SENSITIVE.OBJ
    • SV.SERIAL.INON
    • SV.SERIAL.NON
    • SV.SERIAL.NOREAD
    • SV.SERIAL.NOWRITE
    • SV.SERIAL.SIG
    • SV.SHARED.VAR
    • SV.SOCKETS
    • SV.SQL
    • SV.SQL.DBSOURCE
    • SV.STRBUF.CLEAN
    • SV.STRUTS.NOTRESET
    • SV.STRUTS.NOTVALID
    • SV.STRUTS.PRIVATE
    • SV.STRUTS.RESETMET
    • SV.STRUTS.STATIC
    • SV.STRUTS.VALIDMET
    • SV.TAINT
    • SV.TAINT_NATIVE
    • SV.TMPFILE
    • SV.UMC.EXIT
    • SV.UMC.JDBC
    • SV.UMC.THREADS
    • SV.UMD.MAIN
    • SV.USE.POLICY
    • SV.WEAK.CRYPT
    • SV.XPATH
    • SV.XSS.DB
    • SV.XSS.REF
    • SYNCH.NESTED
    • SYNCH.NESTEDS
    • UC.BOOLB
    • UC.BOOLS
    • UC.STRS
    • UC.STRV
    • UF.IMAGEIO
    • UF.IN
    • UF.JNDI
    • UF.MAIL
    • UF.MICRO
    • UF.NIO
    • UF.OUT
    • UF.SOCK
    • UF.SQLCON
    • UF.SQLOBJ
    • UF.ZIP
    • UMC.EXIT
    • UMC.GC
    • UMC.SYSERR
    • UMC.SYSOUT
    • UMC.TOSTRING

   EN   JP   CN

Klocwork 2019

Klocwork 检查器会检查您的源代码是否存在缺陷和潜在漏洞。 检查器会在最基本的级别提供用于驱动 Klocwork 分析的逻辑。 所有检查器参考页面均包含检查器可检测的漏洞或程序缺陷的描述，以及工作代码示例。

 

C/C++ 检查器

单个位置中的所有 C/C++ 检查器，包括用于检测以下内容的检查器：

  • 数组边界违规，
  • 空指针取消引用，
  • 无限循环。

 C/C++ 检查器参考

 

Java 检查器

我们的整个 Java 检查器套件，包括以下检查器类型：

  • 特定于 Android 的检查器，例如 ANDROID.NPE，
  • 标准 Java 缺陷检查器，例如未捕获的异常或多余的 if 语句。
Java 检查器参考
 

C# 检查器

我们所有的 C# 检查器，按照缺陷严重性列出。 所有检查器参考页面均包含用于描述检查器可检测的漏洞或缺陷的代码段。

C# 检查器参考
功能文档
  • Klocwork 2017 文档主页
  • Klocwork 2016 文档主页
  • Klocwork 10.x 文档主页
语言
  • 日本語
  • English

Company

  • Visit Rogue Wave.com
  • Company News
  • Privacy
  • FAQ
  • Contact Rogue Wave Support
  • For problems with this website contact support@roguewave.com
  • Phone support: 1.303.545.3205
  • US and Canada: 1.800.404.4767
  • Japan: +81 (0) 3 5211 7761

© Rogue Wave Software, Inc. All rights reserved.