search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.89k stars 2.01k forks source link

Any plans to support new programming languages/models (e.g., OpenMP and OpenCL) #1156

Open milladgit opened 4 years ago

milladgit commented 4 years ago

Are there any plans to support different programming models in Infer?

In particular, I am asking for directive-based programming models like OpenMP and heterogeneous computing frameworks like OpenCL and CUDA.

It would be great to integrate these languages/"programming models" into Infer.

jvillard commented 4 years ago

To answer your question there are no current plans to support these frameworks in infer. I'm not really familiar with these so I wonder what kind of bugs would be interesting to catch there.

We would of course welcome contributions that add support for these.

milladgit commented 4 years ago

We can check whether the "output" variables of a kernel function are really used and set within the kernel or not.

Or, correct placement of barriers within conditional statements would be a really good catch.

Finding data race when multiple threads are accessing the same address would be another good scenario for Infer. The data race problem, particularly, is really important and helpful (but, very hard to implement, I assume).