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