aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-11-05[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose
2012-11-03StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.NAKAMURA Takumi
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] Add some convenience accessors to CallEvent, and use them.Jordan Rose
2012-11-02[analyzer] isCLibraryFunction: check that the function is at TU-scope.Jordan Rose
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-10-31[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose
2012-10-31[analyzer]Don't invalidate const arguments when there is noAnna Zaks
2012-10-29[analyzer] New option to not suppress null return paths if an argument is null.Jordan Rose
2012-10-29[analyzer] Use the CallEnter node to get a value for tracked null arguments.Jordan Rose
2012-10-26Add comments for RemoveRedundantMsgs, rename it to removeRedundantMsgs() per ...Ted Kremenek
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-10-23[analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++.Jordan Rose
2012-10-23[analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval.Jordan Rose
2012-10-20[analyzer] Assume 'new' never returns NULL if it could throw an exception.Jordan Rose
2012-10-17[analyzer] When binding to a ParenExpr, bind to its inner expression instead.Jordan Rose
2012-10-17[analyzer] Create a temporary region when accessing a struct rvalue.Jordan Rose
2012-10-15[analyzer] Embed the analyzer version into the plist output.Anna Zaks
2012-10-13[analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose
2012-10-13[analyzer] Remove unneeded 'inlineCall' checker callback.Jordan Rose
2012-10-10Reapply "[analyzer] Treat fields of unions as having symbolic offsets."Jordan Rose
2012-10-10Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offs...Eric Christopher
2012-10-10[analyzer] Treat fields of unions as having symbolic offsets.Jordan Rose
2012-10-06[analyzer] Handle implicit statements used for end-of-path nodes' source locs.Jordan Rose
2012-10-03[analyzer] Adjust the return type of an inlined devirtualized method call.Jordan Rose
2012-10-03[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose
2012-10-03Teach getCXXRecordDeclForPointerType about references.Jordan Rose
2012-10-02Silence -Wunused-value warning.Ted Kremenek
2012-10-02Refactor clients of AnalyzerOptions::getBooleanOption() to haveTed Kremenek
2012-10-02Tweak AnalyzerOptions::getOptionAsInteger() to populate the stringTed Kremenek
2012-10-02Change AnalyzerOptions::mayInlineCXXMemberFunction to default populateTed Kremenek
2012-10-01[analyzer] Allow ObjC ivar lvalues where the base is nil.Jordan Rose
2012-10-01Revert "[analyzer] Check that a member expr is valid even when the result is ...Jordan Rose
2012-10-01Have AnalyzerOptions::getBooleanOption() stick the matching configTed Kremenek
2012-10-01Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correc...Jordan Rose
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-09-29Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose
2012-09-29Revert "[analyzer] Create a temp region when a method is called on a struct r...Jordan Rose
2012-09-29Revert "[analyzer] Handle inlined constructors for rvalue temporaries correct...Jordan Rose
2012-09-28[analyzer] Handle inlined constructors for rvalue temporaries correctly.Jordan Rose
2012-09-28[analyzer] Create a temp region when a method is called on a struct rvalue.Jordan Rose
2012-09-28[analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose
2012-09-26Revert "Use sep instead of ' '."Ted Kremenek
2012-09-26Use sep instead of ' '.Ted Kremenek
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-25Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose
2012-09-25[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.Jordan Rose
2012-09-24[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)Anna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 21:01:51 +0000