Searched refs:ProgramStateTrait (Results 1 – 11 of 11) sorted by relevance
55 template <typename T> struct ProgramStateTrait { struct414 typename ProgramStateTrait<T>::data_type416 return ProgramStateTrait<T>::MakeData(FindGDM(ProgramStateTrait<T>::GDMIndex())); in get()420 typename ProgramStateTrait<T>::lookup_type423 return ProgramStateTrait<T>::Lookup(ProgramStateTrait<T>::MakeData(d), key); in get()446 set(typename ProgramStateTrait<T>::key_type K,451 set(typename ProgramStateTrait<T>::key_type K,458 return ProgramStateTrait<T>::Contains(ProgramStateTrait<T>::MakeData(d), key); in contains()632 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Set(st->get<T>(), K, V, C))); in set()640 ProgramStateTrait<T>::MakeVoidPtr(ProgramStateTrait<T>::Add(st->get<T>(), K, C))); in add()[all …]
35 template<> struct ProgramStateTrait<TaintMap>47 template<> struct ProgramStateTrait<DerivedSymTaint>
37 struct ProgramStateTrait<DynamicTypeMap>
42 struct ProgramStateTrait<Name> \57 struct ProgramStateTrait<Type> \
132 struct ProgramStateTrait<ConstraintRange>
833 struct ProgramStateTrait<ReplayWithoutInlining> :
15 void *ProgramStateTrait<TaintMap>::GDMIndex() { in GDMIndex()20 void *ProgramStateTrait<DerivedSymTaint>::GDMIndex() { in GDMIndex()
80 void *ProgramStateTrait<DynamicTypeMap>::GDMIndex() { in GDMIndex()
203 void *ProgramStateTrait<ConstraintRange>::GDMIndex() { in GDMIndex()
3112 void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() { in GDMIndex()
57 struct ProgramStateTrait<mpi::RequestMap>