Tanya Lattner
4a08e931b6
Update mailing list references to lists.llvm.org
...
llvm-svn: 244000
2015-08-05 03:55:23 +00:00
Daniel Marjamaki
3f4062902a
Update contact person in Open Projects webpage for copy-paste detection. From Per Viberg to Daniel Marjamäki.
...
llvm-svn: 220905
2014-10-30 12:44:33 +00:00
Jordan Rose
a32968fc10
[analyzer] Update Open Projects page with BitwiseConstraintManager.
...
Also, add the names of people most recently working on particular projects,
and remove "relate bugs and checkers" (thanks, Alex!).
llvm-svn: 205666
2014-04-05 06:10:22 +00:00
Jordan Rose
60619a639b
[analyzer] Assume that strings are no longer than SIZE_MAX/4.
...
This keeps the analyzer from making silly assumptions, like thinking
strlen(foo)+1 could wrap around to 0. This fixes PR16558.
Patch by Karthik Bhat!
llvm-svn: 188680
2013-08-19 16:27:34 +00:00
Jordan Rose
7964ab5a43
[analyzer] Update Open Projects and Potential Checkers pages.
...
- va_list checker (PR16811 and PR16812)
- Model floating-point values
- Bound bitwise masking operations (PR16615)
- Bound C string length (PR16558 and others)
llvm-svn: 188127
2013-08-10 01:24:35 +00:00
Jordan Rose
406503a0f9
[analyzer] Merge C++ status page into Open Projects.
...
Also, add a few random extra open projects.
Most of C++ support is done; we don't need the status page anymore. We're
hoping that the C++-related open projects are the only major pieces of
functionality we don't model at this point.
llvm-svn: 179659
2013-04-17 00:57:39 +00:00
Jordan Rose
4e225c0646
[analyzer] Open Projects: grammar, phrasing, formatting
...
llvm-svn: 179658
2013-04-17 00:57:24 +00:00
Anna Zaks
4082c43d06
[analyzer] Add Open Projects page to the analyzer website
...
llvm-svn: 179631
2013-04-16 21:37:04 +00:00