Thanks to visit codestin.com
Credit goes to github.com

Skip to content

tamzi/infer

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

About

A static analyzer for Java, C, C++, and Objective-C

License

Code of conduct

Contributing

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 52.1%
  • SMT 23.4%
  • Java 8.5%
  • C++ 5.4%
  • Standard ML 3.0%
  • C 2.2%
  • Other 5.4%