| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Return null pointer instead of 'false' (fixes clang warning). | Ted Kremenek | 2010-06-24 | 1 | -1/+1 |
| * | Add check for illegal whence argument of fseek. | Zhongxing Xu | 2010-06-24 | 1 | -3/+28 |
| * | Should return stateNotNull. | Zhongxing Xu | 2010-06-24 | 1 | -1/+1 |
| * | Let StreamChecker::CheckNullStream() return a GRState after successful check. | Zhongxing Xu | 2010-06-24 | 1 | -15/+16 |
| * | Add a bunch of stream APIs to SteamChecker. | Zhongxing Xu | 2010-06-22 | 1 | -22/+111 |
| * | Add null stream check for more APIs. | Zhongxing Xu | 2010-06-18 | 1 | -16/+70 |
| * | Typo. | Zhongxing Xu | 2010-06-16 | 1 | -1/+1 |
| * | Although arguments can not be undefined when we get here, they can still be | Zhongxing Xu | 2010-06-16 | 1 | -13/+15 |
| * | Cast earlier. We know we can get a DefinedSVal. | Zhongxing Xu | 2010-06-16 | 1 | -3/+3 |
| * | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu | 2010-06-16 | 1 | -0/+116 |
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|