search

facebook / infer

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

Ceedling Plugin? #1054

Open kykrueger opened 5 years ago

kykrueger commented 5 years ago

Hello,

I really like the tool, but it doesn't integrate well with one of my favourite tools, ceedling. The problem is on ceedling's end, as they do not support having a static analyzer run as a part of the unit tests, but I'd like to make a plugin so that I can run infer as a rake command for ceedling.

Is there anything I should know about licensing with respect to trying to package infer to run as a plugin for ceedling?

jvillard commented 5 years ago

Infer is published under the MIT License. Besides Infer itself, as we note in the README, "Enabling Java support may require you to download and install components licensed under the GPL.". Let us know if you have a more concrete question.

I'd like to make a plugin so that I can run infer as a rake command for ceedling

That sounds awesome, please keep up posted :)

kykrueger commented 5 years ago

@jvillard Great! I just saw this now. I'll have to start planning with the guys who created the ceedling project. It might be a slow process since they don't yet have any documentation about how to write plugins for their tools, but they have a few that I will be trying to use as an example. I'll leave this issue open to keep your guys up to date.