Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/R-Fuzz/symsan
/ empty
Method
empty
include/task.h:86–88 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
84
using input_t = std::pair<uint32_t, uint8_t>;
85
86
inline bool empty() const {
87
return constraints_.empty();
88
}
89
90
inline size_t size() const {
91
return constraints_.size();
Callers
15
construct_task
Method · 0.45
find_roots
Method · 0.45
runImpl
Method · 0.45
handleUCSanCall
Method · 0.45
hoistBoundsChecks
Method · 0.45
diTypeToC
Function · 0.45
gatherInnermost
Function · 0.45
collectGlobals
Function · 0.45
run
Method · 0.45
loadTypeTable
Method · 0.45
emitTypeTable
Method · 0.45
emitMemoryAccessSummaries
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected