Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. | Ted Kremenek | 2011-03-19 | 1 | -3/+3 |
* | Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in... | Ted Kremenek | 2011-02-23 | 1 | -0/+76 |