3 ms·
Yes, and in fact this can even be done incrementally and efficiently these days. One example is the open source tool Infer, which we run on very large bodies o
by bos 8y ago
Yes, and in fact this can even be done incrementally and efficiently these days.
One example is the open source tool Infer, which we run on very large bodies of native and Java code at Facebook. http://fbinfer.com http://fbinfer.com
- gnufx 8y agoDoes Infer actually provide anything for C which you don't get from the clang analyzer, for instance? That wasn't clear when I tried it a while ago.