Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ isZero
Method
isZero
ir/memory.cpp:390–392 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
388
}
389
390
expr Byte::isZero() const {
391
return expr::mkIf(isPtr(), ptr().isNull(), nonptrValue() == 0);
392
}
393
394
bool Byte::isAsmMode() const {
395
return m.isAsmMode();
Callers
12
refined
Method · 0.45
memory.cpp
File · 0.45
data_type
Method · 0.45
getBlockBaseAddress
Method · 0.45
isOfBlock
Method · 0.45
isInboundsOf
Method · 0.45
isDereferenceable
Method · 0.45
isBlockAlive
Method · 0.45
fninputRefined
Method · 0.45
pointer.cpp
File · 0.45
toSMT
Method · 0.45
toSMT
Method · 0.45
Calls
1
isNull
Method · 0.80
Tested by
no test coverage detected