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
Age
Commit message (
Expand
)
Author
2012-08-16
Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<Source...
Ted Kremenek
2012-08-16
Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...
Ted Kremenek
2012-08-15
[analyzer] Doxygen comments in ObjCMethodCall.
Jordan Rose
2012-08-15
[analyzer] Correctly devirtualize virtual method calls in destructors.
Jordan Rose
2012-08-14
Changing an enumeration to a const int to fix MSVC compiler warnings.
Aaron Ballman
2012-08-14
Do NOT use inline functions with LLVM_ATTRIBUTE_USED.
Benjamin Kramer
2012-08-14
[analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.
Anna Zaks
2012-08-13
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
Jordan Rose
2012-08-13
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
Jordan Rose
2012-08-10
[analyzer] Remove unused StoreManager::CastResult class.
Jordan Rose
2012-08-10
[analyzer] Track if a region can be a subclass in the dynamic type info.
Anna Zaks
2012-08-10
[analyzer] Optimize dynamic dispatch bifurcation by detecting the cases
Anna Zaks
2012-08-09
[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.
Jordan Rose
2012-08-09
[analyzer] Devirtualize StoreManager::evalDerivedToBase(SVal, CastExpr)
Jordan Rose
2012-08-09
[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.
Jordan Rose
2012-08-09
[analyzer] Rename the function to better reflect what it actually does.
Anna Zaks
2012-08-09
[analyzer] Improve readability of the dyn. dispatch bifurcation patch
Anna Zaks
2012-08-09
Unbreak the build.
Anna Zaks
2012-08-09
[analyzer] Bifurcate the path with dynamic dispatch.
Anna Zaks
2012-08-08
[analyzer] Clean up the printing of FieldRegions for leaks.
Jordan Rose
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] When a symbol is null, we should track its constraints.
Jordan Rose
2012-08-03
[analyzer] Flatten path diagnostics for text output like we do for HTML.
Jordan Rose
2012-08-03
[analyzer] Track null/uninitialized C++ objects used in method calls.
Jordan Rose
2012-08-03
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
Anna Zaks
2012-07-31
[analyzer] Turn -cfg-add-initializers on by default, and remove the flag.
Jordan Rose
2012-07-31
[analyzer] Let CallEvent decide what goes in an inital stack frame.
Jordan Rose
2012-07-30
[analyzer] Perform post-call checks for all inlined calls.
Jordan Rose
2012-07-30
[analyzer] Very simple ObjC instance method inlining
Anna Zaks
2012-07-30
[analyzer] Add -analyzer-ipa=dynamic option for inlining dynamically
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-30
[analyzer] Introduce a CallEventManager to keep a pool of CallEvents.
Jordan Rose
2012-07-27
[analyzer] Address Jordan's and Fariborz's review of r160768.
Anna Zaks
2012-07-26
[analyzer] CallEvent is no longer a value object.
Jordan Rose
2012-07-26
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
Jordan Rose
2012-07-26
[analyzer] Handle C++ member initializers and destructors.
Jordan Rose
2012-07-26
[analyzer] Handle base class initializers and destructors.
Jordan Rose
2012-07-26
[analyzer] Show paths for destructor calls.
Jordan Rose
2012-07-26
[analyzer] Inline ObjC class methods.
Anna Zaks
2012-07-25
Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...
Ted Kremenek
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-19
Silence GCC warnings.
Richard Smith
2012-07-18
[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.
Jordan Rose
2012-07-18
[analyzer] Rename addExtraInvalidatedRegions to get...Regions
Jordan Rose
2012-07-18
[analyzer] Make CallEvent a value object.
Jordan Rose
2012-07-18
[analyzer] Remove obsolete ObjCPropRef SVal kind.
Jordan Rose
2012-07-18
[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.
Jordan Rose
[next]