[PATCH] D27092: Add RecursionChecker for finding infinite recursion

[Krzysztof Wiśniewski via cfe-commits]

k-wisniewski created this revision.
k-wisniewski added reviewers: zaks.anna, dcoughlin, NoQ, a.sidorin.
k-wisniewski added a subscriber: cfe-commits.
Herald added a subscriber: mgorny.

This patch adds RecursionChecker for finding infinite recursion. I have refactored the checker quite thoroughly since the last time I posted it - it should now support ObjC methods as well. I have fixed several issues pointed out in the previous version too. My plan for now is to have it tested on some real code bases to check how useful it is in practice and evaluate its performance. I will also implement some heurestics to eliminate excesive false positives/negatives and evaluate them.

BTW. as I'm a complete newbie in Objective-C - could you please help me with some interesting unit test cases for this checker?
Thanks in advance!


https://reviews.llvm.org/D27092

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/RecursionChecker.cpp
  test/Analysis/misc-ps-region-store.cpp
  test/Analysis/recursion.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D27092.79209.patch
Type: text/x-patch
Size: 15956 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161124/c2e13f4e/attachment-0001.bin>