Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Author

Dominik Harmim Ing.
Brno University of Technology, Faculty of Information Technology

Supervisor

Tomáš Vojnar Prof. Ing. Ph.D.

About the project

Year

2021

Share