Infer does have any rule description described by json?

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

Infer does have any rule description described by json? #1052

Open minshi123 opened 5 years ago

minshi123 commented 5 years ago

Hi, has Infer provided any documentation like this: https://rules.sonarsource.com/java (it also has local portable Json format ) Now we just can refer to this link: https://fbinfer.com/docs/checkers-bug-types.html#NULL_DEREFERENCE

So if I want to integrate Infer into our CI and want to let user know the detail about the Infer rules, we have to make it by ourselves now?

mbouaziz commented 5 years ago

Hi, unfortunately we don't have it, but that's something you can help us do. The source of https://fbinfer.com is in the gh-pages branch of the repository. We'll look at your pull requests!

minshi123 commented 5 years ago

Meanwhile, If I want to the whole rule list, I still can't find any good solution.. Now maybe I can checkout the source code or combine the checker manual and infer help document.... (Like DIVIDE_BY_ZERO, BUFFEROVERRUN* )

hmmmm... I think it would be a time-consuming progress. If I finish this task, I'll create a PR.