Commits · e499345e342b6e441565fe053dde7d74ab51e18f · Roger Ferrer / llvm-epi · GitLab

Apr 20, 2012
- [analyzer] Run remove dead bindings right before leaving a function. · 7e53bd6f
  Anna Zaks authored Apr 20, 2012
  7e53bd6f
Apr 19, 2012
- Implements boxed expressions for Objective-C. <rdar://problem/10194391 > · 0caa3947
  Patrick Beard authored Apr 19, 2012
  0caa3947
Apr 17, 2012
- Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG... · 92e27e09
  Ted Kremenek authored Apr 17, 2012
  92e27e09
Apr 16, 2012
- [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991 ). · 51244c22
  Anna Zaks authored Apr 16, 2012
  51244c22
Apr 14, 2012
- Add an AttributedStmt type to represent a statement with C++11 attributes · c202b280
  Richard Smith authored Apr 14, 2012
  c202b280
Apr 13, 2012
- Remove the unused, unmaintained, incomplete 'Index' library. · 0481c8f2
  Douglas Gregor authored Apr 13, 2012
  0481c8f2
- [analyzer] PCH deserialization optimization. · 8e078528
  Anna Zaks authored Apr 12, 2012
  8e078528
Apr 12, 2012
- [analyzer] dynamic_cast Simplify null value generation. · f36a6f54
  Anna Zaks authored Apr 11, 2012
  f36a6f54
Apr 11, 2012
- [analyzer] Don't crash even when the system functions are redefined. · b508d29b
  Anna Zaks authored Apr 10, 2012
  b508d29b
Apr 10, 2012
- [analyzer] dynamic_cast: Better model cast from a reference. · 02ecae92
  Anna Zaks authored Apr 10, 2012
  02ecae92
- [analyzer] Add support for C++ dynamic_cast. · 3bc6809e
  Anna Zaks authored Apr 10, 2012
  3bc6809e
Apr 07, 2012
- Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that... · a85f38ba
  Ted Kremenek authored Apr 06, 2012
  a85f38ba
Apr 06, 2012
- [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. · c0230d7a
  Jordy Rose authored Apr 06, 2012
  c0230d7a
Apr 05, 2012
- Require that all static analyzer issues have a category. As part of this change, · b45d198b
  Ted Kremenek authored Apr 05, 2012
  b45d198b
- Handle symbolicating a reference in an initializer expression that we don't understand. · 34ac1cf3
  Ted Kremenek authored Apr 05, 2012
  34ac1cf3
- Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex... · 00fa5968
  Ted Kremenek authored Apr 05, 2012
  00fa5968
- [analyzer] Move stats calculation out of AnalysisConsumer destructor. · 8382e454
  Anna Zaks authored Apr 05, 2012
  8382e454
- [analyzer] Change warding in a path diagnostic: · 67c83d24
  Anna Zaks authored Apr 05, 2012
  67c83d24
- [analyzer] Remove redundant if statement (pointed out by Ted). · e70eea02
  Anna Zaks authored Apr 05, 2012
  e70eea02
Apr 04, 2012
- Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. · dc53f009
  Ted Kremenek authored Apr 04, 2012
  dc53f009
- Include the "issue context" (e.g. function or method) where a static analyzer... · 5a10f08b
  Ted Kremenek authored Apr 04, 2012
  5a10f08b
- Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagnostics emitted to the · 56458cab
  Ted Kremenek authored Apr 04, 2012
  56458cab
Apr 03, 2012
- [analyzer] Record the basic blocks covered by the analyzes run. · cc24e45e
  Anna Zaks authored Apr 03, 2012
  cc24e45e
- Fix another false positive in RegionStore involving doing loads from symbolic... · b75f4e5e
  Ted Kremenek authored Apr 03, 2012
  b75f4e5e
Apr 02, 2012
- Fix potential null dereference in the static analyzer when inlining a call... · 3b008eec
  Ted Kremenek authored Apr 02, 2012
  3b008eec
Apr 01, 2012
- Analyzer: Store BugReports directly in a ilist instead of adding another layer... · ac19edd2
  Benjamin Kramer authored Apr 01, 2012
  ac19edd2
Mar 30, 2012
- [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. · 90ab9bfa
  Anna Zaks authored Mar 30, 2012
  90ab9bfa
- [analyzer] Do not inline functions which previously reached max block · 54fd4a07
  Anna Zaks authored Mar 30, 2012
  54fd4a07
Mar 28, 2012
- [analyzer] Enable retry exhausted without inlining by default. · 72eee39d
  Anna Zaks authored Mar 28, 2012
  72eee39d
- [analyser] Stats checker: do not mark a node as exhausted if we will · 850d2dea
  Anna Zaks authored Mar 28, 2012
  850d2dea
- [analyzer] Refactor: Use Decl when determining if the Block belongs to · 8293bae8
  Anna Zaks authored Mar 28, 2012
  8293bae8
- Fix suspicious comparison reported by PVS-Studio! · 41daf12e
  Ted Kremenek authored Mar 28, 2012
  41daf12e
Mar 27, 2012
- [analyzer] Add an option to re-analyze a dead-end path without inlining. · 5b3939fa
  Anna Zaks authored Mar 27, 2012
  5b3939fa
- [analyzer] Stats checker: minor interprocedural tweaks. · dc36e616
  Anna Zaks authored Mar 27, 2012
  dc36e616
- [analyzer] Stats: Only count the number of times we run path sensitive · 23df6bb1
  Anna Zaks authored Mar 27, 2012
  23df6bb1
- Change RetainCountChecker to eagerly "escape" retained objects when they are · e9a5bcf1
  Ted Kremenek authored Mar 27, 2012
  e9a5bcf1
Mar 26, 2012
- [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. · a651c409
  Anna Zaks authored Mar 26, 2012
  a651c409
Mar 24, 2012
- [analyzer] Tighten up the realloc() failure path note generation...make sure... · 21ff76e9
  Jordy Rose authored Mar 24, 2012
  21ff76e9
- [analyzer] Restart path diagnostic generation if any of the visitors change... · 43a9af73
  Jordy Rose authored Mar 24, 2012
  43a9af73
- [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able... · f78877e9
  Jordy Rose authored Mar 24, 2012
  f78877e9