andrecostea / infer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from facebook/infer
A fork of Infer - static analyzer for Java, C, C++, and Objective-C - with updated domain for locks (from numerical to synthetic paths) for RacerD.
Home Page: http://fbinfer.com/
License: MIT License