Warum können alle Sanitizer nicht durch Klon aktiviert werden?

Question

Clang hat verschiedene Sanitizer, die eingeschaltet werden können, um Probleme zur Laufzeit zu erfassen.
Allerdings gibt es einige Desinfektionsmittel, die ich nicht zusammen verwenden kann. Warum das?

clang++-3.9 -std=c++1z -g -fsanitize=memory -fsanitize=address -o main main.cpp                     1 
clang: error: invalid argument '-fsanitize=address' not allowed with '-fsanitize=memory' 

Es ist keine große Sache, aber wenn ich meine Unit-Tests laufen, dauert es länger, als es sollte, weil ich jeden von ihnen getrennt mehrere Binärdateien für den gleichen Tests erstellen müssen, und ausführen.

clang++-3.9 -std=c++1z -g -fsanitize=address -o test1 test.cpp 
clang++-3.9 -std=c++1z -g -fsanitize=memory -fsanitize=undefined -o test2 test.cpp 

Answer 1

Ich denke, das Problem ist, dass Asan und MSAN beide wollen den Haufen kontrollieren, und beide wollen eine große Menge an Speicher reservieren als „Schattenspeicher“ verwendet werden, die die Zuweisungen und die Verwendung der Speicher verfolgt Ihre Programm verwendet.

Sie können nicht beide aktiv sein, da sie versuchen würden, den Speicher zu verfolgen, der von dem anderen Desinfektionsmittel verwendet wird (was gemäß den Regeln, die der Desinfizierer überprüft, nicht "sicher" zu sein scheint).

Es würde auch in verrückten Speicherverbrauch führen, weil beide Desinfektoren zusätzlichen Speicher zuweisen würden, um jedes Byte zu verfolgen, das Ihr Programm verwendet.

Vielleicht in der Theorie könnte sie neu entwickelt werden, um einen gemeinsamen Rahmen zu teilen, so dass sie zusammenarbeiten können und nicht zusammenstoßen, aber es gibt wahrscheinlich sehr gute praktische Gründe, warum das schwierig wäre, oder Leistung zu verletzen.