This repository was archived by the owner on Nov 1, 2021. It is now read-only.

Commits

History for

Commits on Jan 13, 2017

[analyzer] Add LocationContext as a parameter to checkRegionChanges
AnnaZaks
committed

Commits on Sep 15, 2015

[analyzer] Restore behavior change introduced by r247657.
devincoughlin
committed
ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]
chapuni
committed
[analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.
devincoughlin
committed

Commits on Sep 14, 2015

[Static Analyzer] Relaxing a caching out related assert.
Xazax-hun
committed

Commits on Sep 8, 2015

[analyzer] Apply whitespace cleanups by Honggyu Kim.
tkremenek
committed

Commits on May 27, 2014

[C++11] Use 'nullptr'. StaticAnalyzer edition.
topperc
committed

Commits on Mar 2, 2014

[C++11] Replace llvm::tie with std::tie.
d0k
committed

Commits on Feb 20, 2013

Commits on Dec 6, 2012

[analyzer] Remove unused fields from ExprEngine.
jrose-apple
committed

Commits on Oct 1, 2012

[analyzer] Allow ObjC ivar lvalues where the base is nil.
jrose-apple
committed

Commits on Sep 22, 2012

[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.
jrose-apple
committed

Commits on Sep 13, 2012

Refactor logic in ExprEngine for detecting 'noreturn' methods
tkremenek
committed

Commits on Sep 8, 2012

[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
jrose-apple
committed

Commits on Sep 6, 2012

[analyzer] Don't crash if we cache out while evaluating an ObjC message.
jrose-apple
committed

Commits on Aug 22, 2012

Commits on Aug 20, 2012

[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
jrose-apple
committed

Commits on Jul 30, 2012

[analyzer] Only allow CallEvents to be created by CallEventManager.
jrose-apple
committed

Commits on Jul 26, 2012

Commits on Jul 19, 2012

[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
AnnaZaks
committed

Commits on Jun 22, 2012

[analyzer] Check for +raise:format: on subclasses of NSException as well.
jrose-apple
committed

Commits on Jun 11, 2012

[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.
jrose-apple
committed

Commits on Apr 6, 2012

Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
tkremenek
committed

Commits on Feb 18, 2012

Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/92411…
tkremenek
committed

Commits on Feb 17, 2012

Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
tkremenek
committed

Commits on Jan 28, 2012

StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers that don't care about the language don't have to pull in all the headers.
d0k
committed

Commits on Jan 26, 2012

Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
tkremenek
committed

Commits on Jan 6, 2012

[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
tkremenek
committed