Searched defs:StateNonZeroSize (Results 1 – 1 of 1) sorted by relevance
1707 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local2230 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local