zaks.anna (Anna Zaks)
User

Projects

User does not belong to any projects.

User Details

User Since
Aug 23 2013, 11:08 AM (213 w, 20 h)

Recent Activity

Mon, Sep 18

zaks.anna accepted D37840: [Analyzer] Synthesize function body for call_once.

Please, commit. I think we can take further comments post-commit.

Mon, Sep 18, 7:47 PM

Fri, Sep 15

zaks.anna added a comment to D37908: [Analyzer] Check function name size before performing indexing.

Looks like I rushed into accepting. This needs a test case of cause!

Fri, Sep 15, 11:10 AM
zaks.anna accepted D37908: [Analyzer] Check function name size before performing indexing.
Fri, Sep 15, 10:59 AM

Thu, Sep 14

zaks.anna added a comment to D36690: [StaticAnalyzer] LoopWidening: Invalidate only the possibly changed regions.

Hi Peter,

Thu, Sep 14, 9:43 AM

Wed, Sep 13

zaks.anna accepted D37805: [analyzer] PthreadLock: add printState()..
Wed, Sep 13, 8:52 AM
zaks.anna added inline comments to D37806: [analyzer] PthreadLock: Fix return values of XNU lock functions..
Wed, Sep 13, 8:51 AM
zaks.anna accepted D37807: [analyzer] PthreadLock: Add the other XNU rwlock unlock functions..
Wed, Sep 13, 8:47 AM
zaks.anna added a comment to D37809: [analyzer] PthreadLock: Refactor, use PostCall API. NFC..

How about committing the refactor of the code without test modifications. And committing changes to the test separately?

Wed, Sep 13, 8:46 AM

Wed, Sep 6

zaks.anna accepted D37400: [StaticAnalyzer] Fix failures due to the iteration order of ExplodedNode.

Thank you!
Anna

Wed, Sep 6, 3:53 PM
zaks.anna added a comment to D37400: [StaticAnalyzer] Fix failures due to the iteration order of ExplodedNode.

Thanks for addressing the non-determinism!!!

Wed, Sep 6, 3:34 PM
zaks.anna updated subscribers of D37400: [StaticAnalyzer] Fix failures due to the iteration order of ExplodedNode.
Wed, Sep 6, 3:21 PM
zaks.anna accepted D37500: [CSA] Move AnalysisContext.h to AnalysisDeclContext.h.

Looks good.

Wed, Sep 6, 1:21 PM
zaks.anna accepted D37499: Move implementation into a cpp file.

Yes, please, commit.

Wed, Sep 6, 1:21 PM
zaks.anna added a reviewer for D37499: Move implementation into a cpp file: NoQ.
Wed, Sep 6, 10:06 AM

Mon, Aug 28

zaks.anna added a comment to D35450: [analyzer] Support generating and reasoning over more symbolic constraint types.

But I've never used the taint tracking mode, so I don't know what would be a reasonable default for MaxComp.

that one is very experimental anyway. I'd just keep the functional changes to tain out of this patch and use the current default that taint uses.

Mon, Aug 28, 11:37 AM
zaks.anna added a comment to D35110: [Analyzer] Constraint Manager Negates Difference.

Is this blocked on the same reasons as what was raised in https://reviews.llvm.org/D35109?

Mon, Aug 28, 11:32 AM

Sun, Aug 27

zaks.anna added a comment to D36708: [analyzer] Fix Bug34144-[MallocChecker] MallocChecker::MallocUpdateRefState(): Assertion `Sym' failed..

Hi MTC,

Sun, Aug 27, 1:40 AM
zaks.anna added a comment to D26737: [analyzer] Make it possible to analyze functions even if they were inlined.

Ping?

Sun, Aug 27, 1:27 AM
zaks.anna resigned from D27753: [analyzer] alpha.security.DirtyScalar Checker.
Sun, Aug 27, 1:24 AM
zaks.anna added a comment to D33729: [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection Static Analyzer checker.

Ping... While extending isCalled is not a must, this should not crash on the sample ObjC code.

Sun, Aug 27, 1:16 AM
zaks.anna added inline comments to D35450: [analyzer] Support generating and reasoning over more symbolic constraint types.
Sun, Aug 27, 1:03 AM
zaks.anna added inline comments to D37103: [StaticAnalyzer] LoopUnrolling fixes.
Sun, Aug 27, 12:54 AM
zaks.anna added a comment to D36737: [analyzer] Store design discussions in docs/analyzer for future use..

I think we should have these is .rst format as this is what the rest of the documentation predominantly uses. (Note, the formatting can be very basic, it's the format that I care about.)

Sun, Aug 27, 12:37 AM

Fri, Aug 25

zaks.anna added inline comments to D35450: [analyzer] Support generating and reasoning over more symbolic constraint types.
Fri, Aug 25, 9:44 AM

Aug 20 2017

zaks.anna added inline comments to D27918: [analyzer] OStreamChecker.
Aug 20 2017, 3:05 PM

Aug 10 2017

zaks.anna added a reviewer for D36564: [analyzer] Fix SimpleSValBuilder::simplifySVal: dcoughlin.
Aug 10 2017, 12:57 PM

Aug 9 2017

zaks.anna added a comment to D35109: [Analyzer] SValBuilder Comparison Rearrangement.

What do you suggest? Should we widen the type of the difference, or abandon this patch and revert back to the local solution I originally used in the iterator checker?

Aug 9 2017, 10:41 PM

Aug 1 2017

zaks.anna added a comment to D36067: [analyzer] Create infrastructure for organizing and declaring analyzer configs..
I tried to keep this as a minimal starting example because this currently blocks @yamaguchi 's GSoC project for bash completion. There we want to complete the values for -analyzer-config and we currently don't have a good way to get a complete list of available configs from the driver :).
Aug 1 2017, 2:31 PM

Jul 31 2017

zaks.anna added a reviewer for D36067: [analyzer] Create infrastructure for organizing and declaring analyzer configs.: dcoughlin.
Jul 31 2017, 8:33 AM

Jul 20 2017

zaks.anna added a reviewer for D35110: [Analyzer] Constraint Manager Negates Difference: dcoughlin.
Jul 20 2017, 9:22 AM
zaks.anna added a reviewer for D35109: [Analyzer] SValBuilder Comparison Rearrangement: dcoughlin.
Jul 20 2017, 9:22 AM

Jun 28 2017

zaks.anna added a comment to D34508: [Analyzer] Bug Reporter Visitor to Display Values of Variables - PRELIMINARY!.

I agree that we should not print the values of all variables. The users will be overwhelmed with the huge amount of information. It is very valuable to highlight just the right information. (I believe even the current diagnostics often produce too much info and highlighting the more important notes would be very valuable.) However, the examples you presented are very compelling. Are there ways we could highlight the same information without printing values of all variables?

Jun 28 2017, 6:51 PM

Jun 27 2017

zaks.anna added inline comments to D34260: [StaticAnalyzer] Completely unrolling specific loops with known bound option .
Jun 27 2017, 6:17 PM

Jun 26 2017

zaks.anna added a reviewer for D34508: [Analyzer] Bug Reporter Visitor to Display Values of Variables - PRELIMINARY!: zaks.anna.
Jun 26 2017, 11:07 PM
zaks.anna added a comment to D16403: Add scope information to CFG for If/While/For/Do/Compound/CXXRangeFor statements.

@dcoughlin As a reviewer of both patches - could you tell us what's the difference between them? And how are we going to resolve this issue?

Jun 26 2017, 1:52 PM · Restricted Project
zaks.anna accepted D34631: [tsan] Add missing include directory for test unittests.
Jun 26 2017, 1:47 PM
zaks.anna added inline comments to D33729: [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection Static Analyzer checker.
Jun 26 2017, 11:13 AM

Jun 22 2017

zaks.anna added a comment to D34102: [analyzer] Add portability package for the checkers..

This just supports the statement that this particular check should not go under unix. I understand that it will be inconsistent with the name of the malloc checker, which we probably should not change as people might be relying on the package names. I think it's better to have inconsistency than having checks applicable to windows in a package named portability.unix. If there will be checks that need to be in portability and only used for unix, we could create that sub-package later on.

Jun 22 2017, 10:28 AM

Jun 20 2017

zaks.anna added a comment to D34266: Static Analyzer - Localizability Checker: New Localizable APIs for macOS High Sierra & iOS 11.

Hmm, should there be new tests that demonstrate that we cover the new APIs?

Unless we use a new registration mechanism for some of these APIs, I'd be fine without adding a test for every API that has localization constraints.

Jun 20 2017, 1:32 PM
zaks.anna added a comment to D34260: [StaticAnalyzer] Completely unrolling specific loops with known bound option .

The problem here is not in ScopeContext - it isn't going to be a huge patch. The problem is CFG-related mostly - there are many corner cases. We'll also need some help with
fixing Objective-C checkers (RetainCount, for example).

Jun 20 2017, 1:28 PM
zaks.anna added a comment to D34277: [analyzer] Bump default performance thresholds?.

In particular, there are patches to generate more symbolic expressions, that could also degrade the performance (but fix some fixmes along the way).

Jun 20 2017, 9:17 AM

Jun 17 2017

zaks.anna updated subscribers of D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation.
Jun 17 2017, 12:07 AM
zaks.anna added inline comments to D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation.
Jun 17 2017, 12:04 AM

Jun 16 2017

zaks.anna accepted D30406: [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output.

LGTM. Thank you!

Jun 16 2017, 10:48 PM
zaks.anna added a comment to D34102: [analyzer] Add portability package for the checkers..

eg. checkers for portability across linux/bsd should be off on windows by default, checkers for non-portable C++ APIs should be off in plain C code, etc

Is the checker you are moving to portability off and not useful on Windows?

Jun 16 2017, 10:37 PM
zaks.anna updated subscribers of D34266: Static Analyzer - Localizability Checker: New Localizable APIs for macOS High Sierra & iOS 11.
Jun 16 2017, 10:33 PM
zaks.anna accepted D34266: Static Analyzer - Localizability Checker: New Localizable APIs for macOS High Sierra & iOS 11.

Thanks! Do you have commit access?

Jun 16 2017, 10:32 PM
zaks.anna accepted D34277: [analyzer] Bump default performance thresholds?.

Once Artem gives more details about the codebase he tested on, I think it would be fine to commit this. We can revert/address concerns later if @a.sidorin or anyone else raises concerns based on further testing on their codebases. @a.sidorin, would this work for you?

Jun 16 2017, 12:13 PM
zaks.anna added a comment to D34277: [analyzer] Bump default performance thresholds?.

Maybe we should introduce another UMK_* for deeper analysis instead?

The difference here is not substantial enough to warrant a new level. The general motivation for bumping these numbers is that we've set the timeouts many years ago and the hardware improved quite a bit since then.

Jun 16 2017, 12:08 PM
zaks.anna added inline comments to D33645: [analyzer] Add missing documentation for static analyzer checkers.
Jun 16 2017, 11:01 AM

Jun 15 2017

zaks.anna added a comment to D30691: [analyzer] Support for naive cross translational unit analysis.

-(Anna) Scan-build-py integration of the functionality is nearly finished (see https://github.com/rizsotto/scan-build/issues/83) (--ctu switch performs both analysis phases at once). This I think could go in a different patch, but until we could keep the ctu-build.py and ctu-analyze.py scripts. Do you agree?

Jun 15 2017, 11:19 AM

Jun 14 2017

zaks.anna added a comment to D33729: [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection Static Analyzer checker.

Looks good overall, but we should try and extend isCalled if possible.

Jun 14 2017, 5:03 PM
zaks.anna added inline comments to D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation.
Jun 14 2017, 4:09 PM
zaks.anna added a comment to D31320: [analyzer] Teach CloneDetection about Qt Meta-Object Compiler.

Should this revision be "abandoned" or is the plan to iterate on it?

Jun 14 2017, 3:47 PM
zaks.anna accepted D31029: [analyzer] Fix logical not for pointers with different bit width.

Looks good with a nit!

Jun 14 2017, 3:16 PM
zaks.anna added a comment to D33645: [analyzer] Add missing documentation for static analyzer checkers.

Great cleanup! Some comments below.

Jun 14 2017, 3:10 PM
zaks.anna added a comment to D27753: [analyzer] alpha.security.DirtyScalar Checker.

This generally sounds good. Definitely do submit these changes in small pieces! See http://llvm.org/docs/DeveloperPolicy.html#incremental-development for rationale.

Jun 14 2017, 11:18 AM
zaks.anna added inline comments to D34102: [analyzer] Add portability package for the checkers..
Jun 14 2017, 11:16 AM

Jun 12 2017

zaks.anna added inline comments to D34102: [analyzer] Add portability package for the checkers..
Jun 12 2017, 8:31 AM

Jun 5 2017

zaks.anna accepted D33828: [analyzer] Don't crash when the code tries to construct an Objective-C object in AllocaRegion..
Jun 5 2017, 9:14 AM

Jun 1 2017

zaks.anna added a comment to D30295: [analyzer] clarify undef shift result when shift count is negative or exceeds the bit width.

These are great additions!

Jun 1 2017, 11:02 PM

May 31 2017

zaks.anna accepted D33671: [analyzer] In plist alternate mode, don't add weird control flow pieces from ObjC property declarations to uses..
May 31 2017, 10:34 AM

May 23 2017

zaks.anna added a comment to D33427: Disable postdominator coverage optimizations.

LGTM. Thank you!

May 23 2017, 2:32 PM

May 22 2017

zaks.anna added a comment to D33427: Disable postdominator coverage optimizations.

Is it possible to add a regression test that demonstrates the IR pattern this diff is fixing?

May 22 2017, 11:07 PM

May 17 2017

zaks.anna added a comment to D32437: [analyzer] Nullability: fix a crash when adding notes inside a synthesized property accessor..

Thanks! A couple of minor comments below.

May 17 2017, 10:44 AM
zaks.anna added inline comments to D33191: [analyzer] ObjCGenerics: account for __kindof specifiers met along a chain of casts..
May 17 2017, 8:59 AM

May 16 2017

zaks.anna accepted D33263: [scan-build] Patch to scan-build tool to support "--target=<value>" flag.

Looks good. Thank you!
Do you have commit access or should we commit?

May 16 2017, 5:21 PM

May 10 2017

zaks.anna added a comment to D32449: Modifying PthreadLockChecker.cpp to reduce false positives..

Thank you for the patch! Could you please re-submit the patch with context? Instructions on how to do that can be found here:
http://llvm.org/docs/Phabricator.html

May 10 2017, 6:32 PM

May 9 2017

zaks.anna added a comment to D32437: [analyzer] Nullability: fix a crash when adding notes inside a synthesized property accessor..

That wouldn't work this way because we'd have the completely redundant "calling property accessor" piece before that, and "returning..." after that.

May 9 2017, 11:45 PM
zaks.anna added a comment to D31029: [analyzer] Fix logical not for pointers with different bit width.

Sorry for the delay!!!

May 9 2017, 11:37 PM
zaks.anna accepted D32179: [StaticAnalyzer] Move inline counter increaser to inlineCall function.

I am fine to land this without a test. @szepet, Do you have commit access or should we commit on your behalf?

May 9 2017, 11:24 PM
zaks.anna accepted D32437: [analyzer] Nullability: fix a crash when adding notes inside a synthesized property accessor..

These new "extra notes" of mine might be useful (we could put them at property declaration), i could add them if everybody likes this idea.

What are these? Is there a PR?

May 9 2017, 11:22 PM

May 1 2017

zaks.anna accepted D32702: [analyzer] Fix 'Memory Error' bugtype capitalization..

Thanks!

May 1 2017, 9:31 AM

Apr 28 2017

zaks.anna added inline comments to D32291: [analyzer] Implement handling array subscript into null pointer, improve null dereference checks for array subscripts.
Apr 28 2017, 6:45 PM
zaks.anna accepted D31650: [Analyzer] Detect when function pointer is freed.
Apr 28 2017, 10:11 AM
zaks.anna added a comment to D32179: [StaticAnalyzer] Move inline counter increaser to inlineCall function.

Looks good to me as well. Thanks!

Apr 28 2017, 12:04 AM

Apr 19 2017

zaks.anna added a comment to D30691: [analyzer] Support for naive cross translational unit analysis.

I agree that scan-build or scan-build-py integration is an important issue to resolve here. What I envision is that users will just call scan-build and pass -whole-project as an option to it. Everything else will happen automagically:)

Apr 19 2017, 10:59 PM
zaks.anna added a comment to D31975: [Analyzer] Iterator Checkers.

@baloghadamsoftware Thanks for working on this!

Apr 19 2017, 12:19 PM

Apr 13 2017

zaks.anna added a comment to D31982: [analyzer] Improve suppression for inlined defensive checks when operator& is involved..

Thanks!!!

Apr 13 2017, 9:52 AM

Apr 7 2017

zaks.anna added inline comments to D30295: [analyzer] clarify undef shift result when shift count is negative or exceeds the bit width.
Apr 7 2017, 1:16 PM

Apr 5 2017

zaks.anna added a comment to D30771: [analyzer] Teach the MallocChecker about Glib API for two arguments.

Hi Leslie,

Apr 5 2017, 9:39 PM

Mar 16 2017

zaks.anna added a comment to D31029: [analyzer] Fix logical not for pointers with different bit width.

Are there other cases where makeNull would need to be replaced?

Mar 16 2017, 5:26 PM

Mar 11 2017

zaks.anna added a comment to D30798: [analyzer] Turn suppress-c++-stdlib on by default .

Correct, this will suppress some valid warnings that occur due to user errors and valid warnings coming from the standard library.

Mar 11 2017, 10:17 AM
zaks.anna accepted D30762: [ubsan] Add a nullability sanitizer.
Mar 11 2017, 9:51 AM
zaks.anna added a comment to D30593: Add correct "-isystem"/"-isysroot" warning handling to static analysis' BugReporter..

Thank you!

Mar 11 2017, 9:49 AM

Mar 9 2017

zaks.anna added inline comments to D30762: [ubsan] Add a nullability sanitizer.
Mar 9 2017, 9:16 PM
zaks.anna added a comment to D30798: [analyzer] Turn suppress-c++-stdlib on by default .

I've committed the change, but would very much appreciate community feedback here if if there is any!

Mar 9 2017, 4:45 PM
zaks.anna added a comment to D30593: Add correct "-isystem"/"-isysroot" warning handling to static analysis' BugReporter..

We are going to turn this off by default, see https://reviews.llvm.org/D30798.

Mar 9 2017, 4:42 PM
zaks.anna created D30798: [analyzer] Turn suppress-c++-stdlib on by default .
Mar 9 2017, 4:39 PM
zaks.anna added inline comments to D30762: [ubsan] Add a nullability sanitizer.
Mar 9 2017, 10:02 AM

Mar 8 2017

zaks.anna added a comment to D27753: [analyzer] alpha.security.DirtyScalar Checker.

All this leads to the need of several types of taintednesses (string taintedness, array taintedness, general bound check taintedness) because the cleansing can only take down one type of taintedness at a time. That would be the only way for a checker to be able to access that the taintedness type specific to the checker is still there or was already cleansed by the central logic. For me it shows that cleansing rules belong to specific checkers and cannot be efficiently generalized even in case of a single int type.

Mar 8 2017, 5:44 PM
zaks.anna closed D22862: [analyzer] Fix for PR15623: eliminate unwanted ProgramState checker data propagation..
Mar 8 2017, 1:40 PM
zaks.anna accepted D22862: [analyzer] Fix for PR15623: eliminate unwanted ProgramState checker data propagation..

Thi has been committed in r290505.

Mar 8 2017, 1:40 PM

Mar 7 2017

zaks.anna added a comment to D28445: [Analyzer] Extend taint propagation and checking.

Do you have commit access or should we commit on your behalf?

Mar 7 2017, 2:01 PM

Mar 6 2017

zaks.anna requested changes to D30489: [analyzer] catch out of bounds for VLA.

Following Gabor's suggestion, we should investigate if ArrayBoundCheckerV2 supports this. If not it's possible that we are hitting the Constraint Solver limitations.

Mar 6 2017, 10:19 AM
zaks.anna added a comment to D27092: Add RecursionChecker for finding infinite recursion.

This is waiting for a resolution on a CallEvent API patch as described in https://reviews.llvm.org/D27091.

Mar 6 2017, 9:58 AM

Mar 3 2017

zaks.anna accepted D28297: [StaticAnalyzer] Fix crash in CastToStructChecker.

Thanks. looks good.

Mar 3 2017, 9:50 AM

Mar 2 2017

zaks.anna added a comment to D30406: [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output.
I’ve added the single file output option but I would like to keep the multi-file option default

This sounds good to me! I agree that this is a very useful addition.

Mar 2 2017, 4:37 PM

Mar 1 2017

zaks.anna accepted D28348: [analyzer] Taught the analyzer about Glib API to check Memory-leak.

I am not clear why need to calculate the precise allocated size?

The information generated by this checker is used for array bounds checking. For example, see https://reviews.llvm.org/D24307

Mar 1 2017, 2:01 PM
zaks.anna added inline comments to D30157: [analyzer] Improve valist check.
Mar 1 2017, 1:36 PM