diff options
author | Lorenzo Martignoni <martignlo@google.com> | 2014-11-20 10:01:08 +0000 |
---|---|---|
committer | Lorenzo Martignoni <martignlo@google.com> | 2014-11-20 10:01:08 +0000 |
commit | 0e38f28170cdd253cb5e1a6049cade671a87cc84 (patch) | |
tree | 841c9ab63d3395711b79ef9f86381b5156e5c2a0 /include | |
parent | d62165f7c1661a7a4c13b094d82fc3325573365b (diff) |
[DFSan] Add flag to dump the labels when the program terminates.
Differential Revision: http://reviews.llvm.org/D6306
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@222425 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
-rw-r--r-- | include/sanitizer/dfsan_interface.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/sanitizer/dfsan_interface.h b/include/sanitizer/dfsan_interface.h index bcd4ae002..79dbf2f36 100644 --- a/include/sanitizer/dfsan_interface.h +++ b/include/sanitizer/dfsan_interface.h @@ -85,6 +85,12 @@ size_t dfsan_get_label_count(void); /// callback executes. Pass in NULL to remove any callback. void dfsan_set_write_callback(dfsan_write_callback_t labeled_write_callback); +/// Writes the labels currently used by the program to the given file +/// descriptor. The lines of the output have the following format: +/// +/// <label> <parent label 1> <parent label 2> <label description if any> +void dfsan_dump_labels(int fd); + #ifdef __cplusplus } // extern "C" |