index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
clang
/
StaticAnalyzer
/
Core
/
PathSensitive
/
ExprEngine.h
Age
Commit message (
Expand
)
Author
2013-03-29
Add static analyzer support for conditionally executing static initializers.
Ted Kremenek
2013-03-28
[analyzer] Add support for escape of const pointers and use it to allow “ne...
Anna Zaks
2013-03-26
[analyzer] Change inlining policy to inline small functions when reanalyzing ...
Anna Zaks
2013-03-16
[analyzer] Model trivial copy/move assignment operators with a bind as well.
Jordan Rose
2013-03-16
[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.
Jordan Rose
2013-02-22
[analyzer] Place all inlining policy checks into one palce
Anna Zaks
2013-02-22
[analyzer] Make sure a materialized temporary matches its bindings.
Jordan Rose
2013-02-20
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-02-15
Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."
Jordan Rose
2013-02-02
Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."
Jordan Rose
2013-02-01
Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."
Jordan Rose
2013-01-31
Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."
Jordan Rose
2013-01-30
[analyzer] Model trivial copy/move ctors with an aggregate bind.
Jordan Rose
2013-01-14
[analyzer] Add ProgramStatePartialTrait<const void *>.
Jordan Rose
2013-01-03
[analyzer] Rename callback EndPath -> EndFunction
Anna Zaks
2012-12-21
[analyzer] Address Jordan's nitpicks as per code review of r170625.
Anna Zaks
2012-12-20
[analyzer] Add the pointer escaped callback.
Anna Zaks
2012-12-07
[analyzer] Optimization heuristic: do not reanalyze every ObjC method as
Anna Zaks
2012-12-06
[analyzer] Remove unused fields from ExprEngine.
Jordan Rose
2012-12-04
Sort #include lines for all files under include/...
Chandler Carruth
2012-11-15
[analyzer] Mark symbol values as dead in the environment.
Jordan Rose
2012-11-03
[analyzer] Run remove dead on end of path.
Anna Zaks
2012-11-03
[analyzer] Refactor: Remove Pred from NodeBuilderContext.
Anna Zaks
2012-11-02
[analyzer] Convert some of the harder cases over to ProgramStateTrait macros.
Jordan Rose
2012-09-25
Remove 'const' version of getBasicVals(), which is useless.
Ted Kremenek
2012-09-13
Refactor logic in ExprEngine for detecting 'noreturn' methods
Ted Kremenek
2012-09-10
[analyzer] Do not count calls to small functions when computing stack
Anna Zaks
2012-09-06
[analyzer] Don't attempt to devirtualize calls to base class destructors.
Jordan Rose
2012-08-30
[analyzer] Refactor the logic that determines if a functions should be
Anna Zaks
2012-08-30
Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.
Ted Kremenek
2012-08-25
[analyzer] Use the common evalBind infrastructure for initializers.
Jordan Rose
2012-08-25
[ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.
Chad Rosier
2012-08-22
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
Ted Kremenek
2012-08-13
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
Jordan Rose
2012-08-09
[analyzer] Bifurcate the path with dynamic dispatch.
Anna Zaks
2012-07-30
[analyzer] Only allow CallEvents to be created by CallEventManager.
Jordan Rose
2012-07-30
[analyzer] Remove declaration of refactored evalObjCMessage method.
Jordan Rose
2012-07-26
[analyzer] Handle base class initializers and destructors.
Jordan Rose
2012-07-26
[analyzer] Inline ObjC class methods.
Anna Zaks
2012-07-25
Remove ExprEngine::MarkBranch(), as it is no longer needed.
Ted Kremenek
2012-07-19
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
Anna Zaks
2012-07-18
[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.
Jordan Rose
2012-07-02
[analyzer] Use CallEvent for inlining and call default-evaluation.
Jordan Rose
2012-07-02
[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.
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-11
Etch out the code path for MS-style inline assembly.
Chad Rosier
2012-06-01
static analyzer: add inlining support for directly called blocks.
Ted Kremenek
2012-04-20
[analyzer] Run remove dead bindings right before leaving a function.
Anna Zaks
2012-04-12
[analyzer] PCH deserialization optimization.
Anna Zaks
[next]