search

facebook / infer

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

Is it possible to add checkers for Java? #1312

Open impvd opened 4 years ago

impvd commented 4 years ago

Please make sure your issue is not addressed in the FAQ.

I'm not sure if it appropriate to ask here, let me know if I was wrong.

I've read other issue such as How to create a simple Intraprocedural Checker with Infer.AI #1225, and it mentioned that there's a adding checker tutorial

https://fbinfer.com/docs/adding-checkers.html

However, it seems that this link could not reach any more.

On the other part of the official site, there's a so called Infer : AL , it seems that we could write our linter for some languages:

For C/C++ and Objective-C languages, we provide a linters framework.

I was wondering if maybe we could do kind of that for Java? For example, if we detect some specific string pattern, we should got warning in fbinfer's message.

SolomonSun2010 commented 1 year ago

I think YES, https://github.com/facebook/infer/issues/1225 is a good issue. Infer : AL is deprecated, the TOPL maybe the future.