aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
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
2012-09-22[analyzer] Suppress bugs whose paths go through the return of a null pointer.Jordan Rose
2012-09-22[analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose
2012-09-22[analyzer] Always allow BugReporterVisitors to see the bug path.Jordan Rose
2012-09-22[analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose
2012-09-22[analyzer] Look through OpaqueValueExprs when tracking a nil value.Jordan Rose
2012-09-22[analyzer] Better path notes for null pointers passed as arguments.Jordan Rose
2012-09-22Use llvm::getOrdinalSuffix to print ordinal numbers in diagnostics.Jordan Rose
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-09-22[analyzer] Check that a member expr is valid even when the result is an lvalue.Jordan Rose
2012-09-21Re-enable faux-bodies by default.Ted Kremenek
2012-09-21Revert r164364, "Flip "faux-bodies" in the analyzer on by default to flush ou...NAKAMURA Takumi
2012-09-21Flip "faux-bodies" in the analyzer on by default to flush out bugs.Ted Kremenek
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-20Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose
2012-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks
2012-09-13[analyzer] Don't reimplement an existing function.Anna Zaks
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-12[analyzer] Do not report use of undef on "return foo();" when the return type...Anna Zaks
2012-09-12[analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks
2012-09-12[analyzer] Fix another use of the address of a temporary, like r163402.Jordan Rose
2012-09-12[analyzer] Handle when the dynamic type is worse than the static type.Jordan Rose
2012-09-12Revert "[analyzer] Use the static type for a virtual call if the dynamic type...Jordan Rose
2012-09-12Fix regression where "looping back to the head of" PathDiagnosticEventsTed Kremenek
2012-09-12PR13811: Add a FunctionParmPackExpr node to handle references to functionRichard Smith
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 13:35:32 +0000