MCPcopy Create free account
hub / github.com/Tencent/TscanCode / AddPreCond

Method AddPreCond

trunk/lib/checktscnullpointer2.cpp:7075–7093  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

HandleArrayDefMethod · 0.80
HanldeDotOperatorMethod · 0.80
HandleSelfOperatorMethod · 0.80
CheckFuncCallToUpdateVarStatusMethod · 0.80
CastIfCondDerefedToPreCondMethod · 0.80
CastIfCondToPreCondMethod · 0.80
IfCondEndMethod · 0.80
HandleAlwaysTrueCondMethod · 0.80
HandleRetParamRelationMethod · 0.80
HandleAssignMethod · 0.80
HandleFuncParamAssignMethod · 0.80
HandleFuncParamMethod · 0.80

Calls 2

IsCertainMethod · 0.80
IsInitVarMethod · 0.80

Tested by

no test coverage detected