hub / github.com/cseagle/blc / discoverConditionalZero

Method discoverConditionalZero

condexe.cc:809–834 · view source on GitHub ↗

\brief Verify that CBRANCH boolean expression is either (\b vn == 0) or (\b vn != 0) Modify \b zeroPathIsTrue so that if it is \b true, then: A \b vn value equal to zero, causes execution to flow to where the output of MULTIEQUAL is set to zero. \param vn is the given Varnode \return \b true if the boolean expression has a matching form

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

checkSingleMethod · 0.80

Calls 7

isWrittenMethod · 0.80

codeMethod · 0.80

isBooleanFlipMethod · 0.80

getInMethod · 0.45

getDefMethod · 0.45

isConstantMethod · 0.45

getOffsetMethod · 0.45

Tested by

no test coverage detected