Searched refs:TSRFactory (Results 1 – 2 of 2) sorted by relevance
729 SavedRegs ? *SavedRegs : stateMgr->TSRFactory.getEmptyMap(); in addPartialTaint()731 Regs = stateMgr->TSRFactory.add(Regs, SubRegion, Kind); in addPartialTaint()
503 TaintedSubRegions::Factory TSRFactory; variable