index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
RegionStore.cpp
Age
Commit message (
Expand
)
Author
2012-12-06
[analyzer] Aggressively cut back on the canonicalization in RegionStore.
Jordan Rose
2012-12-06
Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...
Ted Kremenek
2012-12-01
Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...
Benjamin Kramer
2012-11-28
Remove workaround in RegionStore in r168741 since it is handled more generall...
Ted Kremenek
2012-11-27
Provide stop-gap solution to crash reported in PR 14436.
Ted Kremenek
2012-11-10
[analyzer] When invalidating symbolic offset regions, take fields into account.
Jordan Rose
2012-11-03
[analyzer] Run remove dead on end of path.
Anna Zaks
2012-10-03
[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.
Jordan Rose
2012-10-03
Teach getCXXRecordDeclForPointerType about references.
Jordan Rose
2012-09-26
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-08
[analyzer] Symbolic regions are live if any subregions are live.
Jordan Rose
2012-09-06
Dont cast away const needlessly. Found by gcc48 -Wcast-qual.
Roman Divacky
2012-09-05
[analyzer] Clean up a couple uses of getPointeeType().
Jordan Rose
2012-09-05
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
Jordan Rose
2012-09-01
[analyzer] Treat all struct values as regions (even rvalues).
Jordan Rose
2012-08-22
Fix an assortment of doxygen comment issues found by -Wdocumentation.
Ted Kremenek
2012-08-22
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
Ted Kremenek
2012-08-22
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
Ted Kremenek
2012-08-22
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
Ted Kremenek
2012-08-22
Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' and
Ted Kremenek
2012-08-22
Consilidate SmallPtrSet count() followed by insert() into a single insert().
Ted Kremenek
2012-08-13
[analyzer] Handle dynamic_casts that turn out to be upcasts.
Jordan Rose
2012-08-13
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
Jordan Rose
2012-08-10
Fix a couple of pedantic gcc warnings.
Benjamin Kramer
2012-08-09
[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.
Jordan Rose
2012-08-09
[analyzer] Cluster bindings in RegionStore by base region.
Jordan Rose
2012-08-09
[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.
Jordan Rose
2012-08-08
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
Jordan Rose
2012-07-26
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
Jordan Rose
2012-07-18
Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling refe...
Ted Kremenek
2012-07-10
[analyzer] Use CallEvent for building inlined stack frames.
Jordan Rose
2012-07-06
[analyzer] Be careful about LazyCompoundVals, which may be for the first field.
Jordan Rose
2012-07-02
[analyzer] Add a new abstraction over all types of calls: CallEvent
Jordan Rose
2012-06-22
Implement initial static analysis inlining support for C++ methods.
Ted Kremenek
2012-06-16
[analyzer] Return an UnknownVal when we try to get the binding for a VLA.
Jordan Rose
2012-06-12
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
Jordan Rose
2012-06-11
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
Jordan Rose
2012-06-06
Revert Decl's iterators back to pointer value_type rather than reference valu...
David Blaikie
2012-06-01
static analyzer: add inlining support for directly called blocks.
Ted Kremenek
2012-05-10
Include line that was meant to be in my last commit.
Ted Kremenek
2012-05-10
Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)...
Ted Kremenek
2012-05-09
[analyzer] Simplify r156446, as per Ted's review.
Anna Zaks
2012-05-08
[analyzer] We currently do not fully support CompoundLiterals in
Anna Zaks
2012-05-08
Having RegionStore lower field bindings to raw offsets, just like ElementRegi...
Ted Kremenek
2012-05-08
When creating lazy bindings in RegionStore, propagate existing lazy bindings ...
Ted Kremenek
2012-05-08
Include address of Store in graphviz output of ExplodedGraph.
Ted Kremenek
2012-05-04
Explicitly model capturing variables for blocks in the static analyzer. Fixe...
Ted Kremenek
2012-04-30
Remove the ref/value inconsistency in filter_decl_iterator.
David Blaikie
2012-04-26
[analyzer] check lazy bindings in RegionStore first before looking for defaul...
Ted Kremenek
2012-04-10
[analyzer] dynamic_cast: Better model cast from a reference.
Anna Zaks
[prev]
[next]