a-hamza-r
Graduate Computer Science student at FSU Area of interest: Formal Methods, Program Analysis, Software Verification, Compilers
a-hamza-r's Stars
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
Graduate Computer Science student at FSU Area of interest: Formal Methods, Program Analysis, Software Verification, Compilers
A static analyzer for Java, C, C++, and Objective-C