k-wisniewski updated this revision to Diff 79213.
k-wisniewski added a comment.
I have added method for getting Objective-C message receivers (as it is related
somewhat). This might however be broken for super calls as @NoQ told me as I
was writing this comment. @dcoughlin - yes, there are case
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
k-wisniewski created this revision.
k-wisniewski added reviewers: NoQ, zaks.anna, dcoughlin, a.sidorin.
k-wisniewski added subscribers: cfe-commits, NoQ.
his patch adds getArgsSVal method to ProgramState that allows the user to
obtain SVals of argumetns used in a call that created the given Stack
k-wisniewski created this revision.
k-wisniewski added reviewers: zaks.anna, dcoughlin, NoQ, a.sidorin.
k-wisniewski added subscribers: cfe-commits, zaks.anna.
This patch adds LocationContext to checkRegionChanges. This patch has been
distilled out from other changes that I'll add separately. Fol
k-wisniewski updated this revision to Diff 78249.
k-wisniewski added a comment.
Removed a line that leaked from another diff - thanks Anna!
https://reviews.llvm.org/D26759
Files:
include/clang/StaticAnalyzer/Core/Checker.h
include/clang/StaticAnalyzer/Core/CheckerManager.h
include/clang/S
k-wisniewski created this revision.
k-wisniewski added reviewers: a.sidorin, zaks.anna, NoQ, dcoughlin.
k-wisniewski added subscribers: cfe-commits, NoQ.
Artem Dergachev (@NoQ ) helped me correctly handle C++ method calls in my
RecursionChecker (that finds infnite recursion) and this is the metho
k-wisniewski created this revision.
k-wisniewski added reviewers: NoQ, dcoughlin, zaks.anna, a.sidorin.
k-wisniewski added a subscriber: cfe-commits.
Hi!
I've noticed that check::RegionChanges::wantsRegionChangeUpdate is no longer
used - as far as the discussion went it has been unused at least
k-wisniewski created this revision.
k-wisniewski added reviewers: a.sidorin, NoQ, dcoughlin, zaks.anna.
k-wisniewski added a subscriber: cfe-commits.
This patch adds getArgsSVal method to ProgramState that allows the user to
obtain SVals of argumetns used in a call that created the given StackFra
k-wisniewski added a comment.
Hi again!
Thanks for review! I'll upload updated version of this patch today in the
evening/tomorrow. As Anna suggested I'll split it into two parts - one
regarding extraction of argument SVals for StackFrameCtx and another one adding
LocationContext to check::Reg
k-wisniewski added a comment.
@a.sidorin
Thank you for your review! I'll upload the new patch this evening that will
include fixes for the things you pointed out. Can I also add you as a reviewer?
Also: Can you have a look at my other patch that I have linked in the
description? Thanks in adva
k-wisniewski created this revision.
k-wisniewski added reviewers: zaks.anna, dcoughlin, dergachev.a.
k-wisniewski added a subscriber: cfe-commits.
Herald added a subscriber: mgorny.
This is the very first version of a checker that aims to find cases of infinite
recursion. It relies on Add Locati
k-wisniewski created this revision.
k-wisniewski added reviewers: dergachev.a, dcoughlin, zaks.anna.
k-wisniewski added a subscriber: cfe-commits.
Hi,
I've been working on a checker that uses RegionChanges interface and needed to
access to LocationContext. Another change is an easy way to obtai
12 matches
Mail list logo
