summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/ptr-arith.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Improve pointer arithmetic checker.Gabor Horvath2016-02-231-2/+2
* [analyzer] A fix for substraction of an integer from a pointer.Gabor Horvath2015-09-181-0/+17
* PR16074, implement warnings to catch pointer to boolean true and pointer toRichard Trieu2014-02-261-2/+2
* [analyzer] Use a more generic MemRegion.getAsOffset to evaluate bin operators...Anna Zaks2013-05-281-0/+16
* [analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.Jordan Rose2013-03-231-0/+44
* [analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose2013-03-231-0/+57
* [analyzer] Use SymExprs to represent '<loc> - <loc>' and '<loc> == <loc>'.Jordan Rose2013-03-231-0/+12
* Fix analyzer tests.Ted Kremenek2012-08-241-2/+2
* Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek2012-08-161-3/+3
* [analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-168/+49
* Teach SimpleSValBuilder that (in the absence of more information) stack memor...Ted Kremenek2012-03-051-1/+1
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis2011-02-241-2/+2
* [analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis2011-02-151-2/+2
* Pointers casted as integers still count as locations to SimpleSValuator, so d...Jordy Rose2010-06-301-0/+5
* Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...Jordy Rose2010-06-281-0/+221
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-2/+2
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-2/+2
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-2/+2
* Add test case for PointerSubChecker.Zhongxing Xu2009-11-101-0/+5
* Refine PointerSubChecker: compare the base region instead of the original Zhongxing Xu2009-11-101-0/+5
* update test case.Zhongxing Xu2009-11-091-1/+1
* Add check for pointer arithmetic on non-array variables.Zhongxing Xu2009-11-091-0/+9
* Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu2009-11-091-0/+5
* Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. ThisZhongxing Xu2009-11-091-0/+5
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-1/+1
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-1/+0
* Clean up builtin lists, add a few new builtins. (I re-sorted the Eli Friedman2009-06-041-1/+1
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-3/+3
* Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek2009-03-131-1/+3
* Add comments to test case.Zhongxing Xu2009-03-121-0/+3
* This test case checks if we get the right rvalue type of a TypedViewRegion.Zhongxing Xu2009-03-111-0/+15
* Fix crash when LHS of pointer arithmetic is not ElementRegion.Zhongxing Xu2009-03-111-0/+7
* Add test case for pointer arithmetic.Zhongxing Xu2009-03-031-0/+7
OpenPOWER on IntegriCloud