hub / github.com/Tencent/TscanCode / checkModuloAlwaysTrueFalse

Method checkModuloAlwaysTrueFalse

trunk/lib/checkcondition.cpp:971–999 · view source on GitHub ↗

----------------------------------------------------------------------------- Detect "(var % val1) > val2" where val2 is >= val1. -----------------------------------------------------------------------------

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

runSimplifiedChecksFunction · 0.80

Calls 5

isEnabledMethod · 0.80

sizeMethod · 0.80

astOperand1Method · 0.80

astOperand2Method · 0.80

strMethod · 0.45

Tested by

no test coverage detected