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
Age
Commit message (
Expand
)
Author
2012-08-20
[analyzer] Add comments to ExplodedNode::NodeGroup.
Jordan Rose
2012-08-20
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
Jordan Rose
2012-08-20
[analyzer] The result of && or || is always a 1 or 0.
Jordan Rose
2012-08-18
[analyzer] Treat C++ 'throw' as a sink.
Jordan Rose
2012-08-18
[analyzer] Treat @throw as a sink (stop processing).
Jordan Rose
2012-08-18
[analyzer] Use PointerUnion to implement ExplodedNode::NodeGroup.
Jordan Rose
2012-08-16
Remove #if 0 that has been around for a long time.
Ted Kremenek
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-16
Store SourceManager pointer on PrintingPolicy in the case where we're dumping,
Richard Smith
2012-08-16
[analyzer] Look through all casts when trying to track constraints.
Jordan Rose
2012-08-15
[analyzer] Even if we are not inlining a virtual call, still invalidate!
Jordan Rose
2012-08-15
[analyzer] Correctly devirtualize virtual method calls in constructors.
Jordan Rose
2012-08-15
[analyzer] Don't try to devirtualize if the class is incomplete.
Jordan Rose
2012-08-15
[analyzer] Only adjust the type of 'this' when we devirtualize a method call.
Jordan Rose
2012-08-15
[analyzer] Don't inline dynamic-dispatch methods unless -analyzer-ipa=dynamic.
Jordan Rose
2012-08-15
[analyzer] Correctly devirtualize virtual method calls in destructors.
Jordan Rose
2012-08-15
[analyzer] A base class needs a complete definition to provide offsets.
Jordan Rose
2012-08-14
[analyzer]Assume that the properties cannot be overridden when dot
Anna Zaks
2012-08-14
Do NOT use inline functions with LLVM_ATTRIBUTE_USED.
Benjamin Kramer
2012-08-13
[analyzer] Look up DynamicTypeInfo by region instead of symbol.
Jordan Rose
2012-08-13
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
Jordan Rose
2012-08-13
[analyzer] Be more careful when downcasting for devirtualization.
Jordan Rose
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
[analyzer] Strip CXXBaseObjectRegions when devirtualizing method calls.
Jordan Rose
2012-08-10
[analyzer] Try to devirtualize even if the static callee has no definition.
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-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-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] Clarify the values in Dyn. Dispatch Bifurcation map.
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] Track malloc'd regions stored in structs.
Jordan Rose
2012-08-08
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
Jordan Rose
2012-08-07
[analyzer] Address Jordan's review of DynamicTypePropagation.
Anna Zaks
2012-08-06
[analyzer] Add a checker to manage dynamic type propagation.
Anna Zaks
2012-08-03
[analyzer] Update initializer assertion for delegating constructors.
Jordan Rose
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] Provide useful PathDiagnosticLocations for CallEnter/Exit events.
Jordan Rose
2012-08-03
[analyzer] FindLastStoreBRVisitor was not actually finding stores.
Jordan Rose
[prev]
[next]