DynamoRIO/drmemory
Auf GitHub ansehenadd ability to specify the warning text in a suppression
Open
#947 geöffnet am 28. Nov. 2014
Component-SuppressionMigratedPriority-MediumType-FeatureUsabilityhelp wanted
Repository-Metriken
- Stars
- (2.727 Stars)
- PR-Merge-Metriken
- (PR-Metriken ausstehend)
Beschreibung
From bruen...@google.com on July 20, 2012 08:31:43
today warnings can only be suppressed by specifying the callstack. we keep adding more types of warnings (all the GDI checks are warnings), making this problematic. this feature is about adding a warning suppression label= field or something.
Original issue: http://code.google.com/p/drmemory/issues/detail?id=947