[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?

El issue no menciona archivos ni pruebas; empieza por localizar el modelado del análisis de taint en C++ para std::thread y std::async. Aclara el alcance de soporte previsto y el enfoque de modelado antes de identificar una prueba de regresión adecuada y los criterios de finalización.

Escrito por el modelo de indexación a partir del texto del issue.