harmim / vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

https://github.com/harmim/infer

Geek Repo

Github PK Tool