Dlaczego nie można włączyć wszystkich środków do dezynfekcji?

Question

ma różne środki dezynfekujące, które można włączyć, aby złapać problemy w czasie wykonywania.
Istnieje jednak kilka środków odkażających, których nie mogę używać razem. Dlaczego?

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' 

To nie jest wielka sprawa, ale gdy uruchomię moich testów jednostkowych, to trwa dłużej niż powinno, bo mam utworzyć wiele plików binarnych dla tych samych testów i uruchomić każdy z nich oddzielnie.

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

Myślę, że problemem jest to, że Asan i MSAN zarówno chcą kontrolować sterty i obie chcą zarezerwować dużą ilość pamięci do wykorzystania jako „pamięć cienia”, który śledzi przydziałów i ich użycie pamięci program używa.

Nie mogą one być jednocześnie aktywne, ponieważ próbują śledzić pamięć używaną przez inny środek dezynfekujący (który może nie wydawać się "bezpieczny" zgodnie z zasadami, które sprawdza sanityzer).

Spowodowałoby to również zwariowane zużycie pamięci, ponieważ oba środki odkażające przeznaczałyby dodatkową pamięć do śledzenia każdego bajtu używanego przez program.

Może teoretycznie można je przeprojektować tak, by dzieliły wspólne ramy, aby mogły współpracować i nie kolidować, ale prawdopodobnie istnieją bardzo dobre praktyczne powody, dla których byłoby to trudne lub szkodziło wydajności.