[C++] Support for `std::async` and `std::thread`

Are there any plans to support `std::thread` and `std::async`? I noticed that taint analysis does track through such calls. Are there any plans to do so in the future and is there a way to model around this?

A issue não nomeia arquivos nem testes; comece localizando a modelagem da análise de taint em C++ para std::thread e std::async. Esclareça o escopo de suporte pretendido e a abordagem de modelagem antes de identificar um teste de regressão adequado e os critérios de conclusão.

Escrita pelo modelo de indexação a partir do texto da issue.