| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) ↵ | Ted Kremenek | 2010-09-07 | 1 | -17/+12 |
| | | | | | | | and simplify surrounding checking logic. llvm-svn: 113282 | ||||
| * | "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment | Chris Lattner | 2010-09-03 | 1 | -2/+2 |
| | | | | | | | | | | should probably be removed if it has no purpose, but I just #if'd it out in case it's usefulIdempotentOperationChecker::isTruncationExtensionAssignment should probably be removed if it has no purpose, but I just #if'd it out in case it's useful llvm-svn: 112949 | ||||
| * | Remove bogus assertions. | Ted Kremenek | 2010-09-03 | 1 | -10/+12 |
| | | | | | llvm-svn: 112931 | ||||
| * | Detabify. | Eli Friedman | 2010-08-22 | 1 | -16/+16 |
| | | | | | llvm-svn: 111768 | ||||
| * | Don't assert on a file stream if its state is not tracked. Fix pr7831. | Zhongxing Xu | 2010-08-05 | 1 | -1/+4 |
| | | | | | llvm-svn: 110392 | ||||
| * | Add FILE* leak check to StreamChecker. Patch by Lei Zhang. | Zhongxing Xu | 2010-07-23 | 1 | -3/+78 |
| | | | | | llvm-svn: 109225 | ||||
| * | This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. | Zhongxing Xu | 2010-07-22 | 1 | -7/+25 |
| | | | | | llvm-svn: 109106 | ||||
| * | Add double close check to StreamChecker. Patch by Lei Zhang. | Zhongxing Xu | 2010-07-19 | 1 | -4/+87 |
| | | | | | llvm-svn: 108669 | ||||
| * | 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 |
|