DynamoRIO/drmemory

add ability to specify the warning text in a suppression

Open

#947 geöffnet am 28. Nov. 2014

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)C (289 Forks)auto 404
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

Contributor Guide