Name: instrumented_libraries | |
URL: n/a | |
Version: 0 | |
Security Critical: no | |
License: n/a | |
License File: NOT_SHIPPED | |
Description: | |
Scripts which can download and build several third party libraries | |
using different instrumentation tools (MemorySanitizer, etc.). |