Method SetConj

trunk/lib/checktscnullpointer2.h:398–398 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

SpecialHandleForCondMethod · 0.80

ExtractCondFromTokenMethod · 0.80

ExpandIfCondWithEqualCond_RecursivelyMethod · 0.80

MergeTwoIfCondMethod · 0.80

ExtractEqualCondMethod · 0.80

ExtractDerefedEqualCondMethod · 0.80

CreateConjNodeMethod · 0.80

DeepCopyMethod · 0.80

no outgoing calls

no test coverage detected