Home | History | Annotate | Download | only in Checkers

Lines Matching refs:get_context

2088   CStringLengthTy::Factory &F = state->get_context<CStringLength>();
2140   CStringLengthTy::Factory &F = state->get_context<CStringLength>();