Method getVerifyResult

csight/src/csight/mc/MC.java:41–42 · view source on GitHub ↗

(List<ChannelId> cids)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

checkInvsRefineGFSMMethod · 0.45

verifyAndPrintMethod · 0.45

testBadScmInputMethod · 0.45

testSafeScmInputMethod · 0.45

testUnsafeScmInputLen1Method · 0.45

testUnsafeScmInputLen2Method · 0.45

no outgoing calls

verifyAndPrintMethod · 0.36

testBadScmInputMethod · 0.36

testSafeScmInputMethod · 0.36

testUnsafeScmInputLen1Method · 0.36

testUnsafeScmInputLen2Method · 0.36