Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Don't emit an "Assuming x is <OP> y" if it's not a comparison op. | Jordan Rose | 2013-10-26 | 1 | -1083/+0 |
* | [analyzer] Enable the new edge algorithm by default. | Jordan Rose | 2013-06-03 | 1 | -1/+1 |
* | [analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create... | Anna Zaks | 2013-04-23 | 1 | -8/+8 |
* | [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a... | Ted Kremenek | 2013-02-26 | 1 | -6/+6 |
* | [analyzer] Plist: change the type of issue_hash from int to string. | Anna Zaks | 2013-01-08 | 1 | -6/+6 |
* | TrackConstraintBRVisitor and ConditionBRVisitor can emit similar | Ted Kremenek | 2012-10-25 | 1 | -242/+119 |
* | ParentMap: Restore the ability to update an existing map. | Jordan Rose | 2012-10-06 | 1 | -0/+1206 |