harmim / vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

https://github.com/harmim/infer

Geek Repo

Github PK Tool