Age | Commit message (Expand) | Author |
---|---|---|
2013-02-26 | [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a... | Ted Kremenek |
2013-01-24 | [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". | Anna Zaks |
2013-01-08 | [analyzer] Plist: change the type of issue_hash from int to string. | Anna Zaks |
2012-10-25 | TrackConstraintBRVisitor and ConditionBRVisitor can emit similar | Ted Kremenek |
2012-09-08 | Attempt (again) to stabilize the order of the emission of diagnostics | Ted Kremenek |
2012-09-07 | Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoring | Ted Kremenek |
2012-08-16 | [analyzer] Look through all casts when trying to track constraints. | Jordan Rose |
2012-08-06 | [analyzer] Add plist output checks for all four "path notes" tests. | Jordan Rose |
2012-08-03 | [analyzer] When a symbol is null, we should track its constraints. | Jordan Rose |
2012-08-03 | [analyzer] Track null/uninitialized C++ objects used in method calls. | Jordan Rose |