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
/
ProgramState.h
Age
Commit message (
Expand
)
Author
2013-04-09
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
Jordan Rose
2013-04-02
[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...
Anna Zaks
2013-03-20
[analyzer] Invalidate regions indirectly accessible through const pointers.
Jordan Rose
2013-03-07
[analyzer] Clean up a few doc comments for ProgramState and CallEvent.
Jordan Rose
2013-03-02
[analyzer] Simple inline defensive checks suppression
Anna Zaks
2013-02-20
Include llvm::Optional in clang/Basic/LLVM.h
David Blaikie
2013-02-20
Replace SVal llvm::cast support to be well-defined.
David Blaikie
2013-01-16
[analyzer] Refactor: parameter rename.
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-06
[analyzer] Remove bindExprAndLocation, which does extra work for no gain.
Jordan Rose
2012-12-04
Sort #include lines for all files under include/...
Chandler Carruth
2012-10-13
[analyzer] Remove the "direct bindings only" Environment lookup.
Jordan Rose
2012-10-01
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
Jordan Rose
2012-09-25
Remove 'const' version of getBasicVals(), which is useless.
Ted Kremenek
2012-09-18
Mark unimplemented copy constructors and copy assignment operators with LLVM_...
Craig Topper
2012-09-09
Remove dead method ProgramState::MarshalState().
Ted Kremenek
2012-09-07
Remove ProgramState::getSymVal(). It was being misused by Checkers,
Ted Kremenek
2012-08-24
[analyzer] More fixups/rewording based on Jordan's feedback.
Anna Zaks
2012-08-24
[analyzer] Move DynamicTypeInfo out of the ProgramState.h
Anna Zaks
2012-08-22
[analyzer] Add more comments to CallEvent and RuntimeDefinition.
Anna Zaks
2012-08-22
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
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-15
[analyzer] Correctly devirtualize virtual method calls in destructors.
Jordan Rose
2012-08-10
[analyzer] Track if a region can be a subclass in the dynamic type info.
Anna Zaks
2012-08-09
[analyzer] Rename the function to better reflect what it actually does.
Anna Zaks
2012-08-08
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
Jordan Rose
2012-08-06
[analyzer] Add a checker to manage dynamic type propagation.
Anna Zaks
2012-08-03
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
Anna Zaks
2012-07-30
[analyzer] Very simple ObjC instance method inlining
Anna Zaks
2012-07-30
[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.
Jordan Rose
2012-07-26
[analyzer] Handle C++ member initializers and destructors.
Jordan Rose
2012-07-10
[analyzer] Use CallEvent for building inlined stack frames.
Jordan Rose
2012-07-02
[analyzer] Add a new abstraction over all types of calls: CallEvent
Jordan Rose
2012-06-20
[analyzer] Remove dead code.
Anna Zaks
2012-05-19
[analyzer] For locations, use isGLValue() instead of isLValue().
Anna Zaks
2012-04-10
[analyzer] + comments
Anna Zaks
2012-02-27
[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...
Ted Kremenek
2012-02-17
Have conjured symbols depend on LocationContext, to add context sensitivity f...
Ted Kremenek
2012-02-05
Basic: import OwningPtr<> into clang namespace
Dylan Noblesmith
2012-01-31
Reapply r149311 which I reverted by mistake.
Argyrios Kyrtzidis
2012-01-31
Revert r149311 which failed to compile.
Argyrios Kyrtzidis
2012-01-31
Convert ProgramStateRef to a smart pointer for managing the reference counts ...
Ted Kremenek
2012-01-30
[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.
Anna Zaks
2012-01-26
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2012-01-20
[analyzer] Skip casts when determining taint dependencies + pretty
Anna Zaks
2012-01-12
[analyzer] fix inlining's handling of mapping actual to formal arguments and ...
Ted Kremenek
2012-01-12
[analyzer] Rename Store::Retrieve() -> getBinding().
Anna Zaks
2012-01-07
[analyzer] Add basic format string vulnerability checking.
Anna Zaks
[next]