replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[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
This commit is contained in:
Jordan Rose 2014-04-05 06:10:22 +00:00
parent f935b562b9
commit a32968fc10
1 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
clang/www/analyzer/open_projects.html
View File

@ -56,7 +56,7 @@ mailing list</a> to notify other members of the community.</p>
<li>Enhance CFG to model C++ temporaries properly.
<p>There is an existing implementation of this, but it's not complete and
is disabled in the analyzer.
<i>(Difficulty: Medium)</i></p>
<i>(Difficulty: Medium; current contact: Alex McCarthy)</i></p>
<li>Enhance CFG to model exception-handling properly.
<p>Currently exceptions are treated as "black holes", and exception-handling
@ -70,7 +70,7 @@ mailing list</a> to notify other members of the community.</p>
(<code>operator new</code>), then initialize the result with a constructor
call. The problem is discussed at length in
<a href="http://llvm.org/bugs/show_bug.cgi?id=12014">PR12014</a>.
<i>(Difficulty: Easy)</i></p>
<i>(Difficulty: Easy; current contact: Karthik Bhat)</i></p>
<li>Enhance CFG to model C++ <code>delete</code> more precisely.
<p>Similarly, the representation of <code>delete</code> does not include
@ -78,7 +78,14 @@ mailing list</a> to notify other members of the community.</p>
function (<code>operator delete</code>). One particular issue
(<tt>noreturn</tt> destructors) is discussed in
<a href="http://llvm.org/bugs/show_bug.cgi?id=15599">PR15599</a>
<i>(Difficulty: Easy)</i></p>
<i>(Difficulty: Easy; current contact: Karthik Bhat)</i></p>
<li>Implement a BitwiseConstraintManager to handle <a href="http://llvm.org/bugs/show_bug.cgi?id=3098">PR3098</a>.
<p>Constraints on the bits of an integer are not easily representable as
ranges. A bitwise constraint manager would model constraints such as "bit 32
is known to be 1". This would help code that made use of bitmasks</code>.
<i>(Difficulty: Medium)</i></p>
</li>
<li>Track type info through casts more precisely.
<p>The DynamicTypePropagation checker is in charge of inferring a region's
@ -107,14 +114,6 @@ mailing list</a> to notify other members of the community.</p>
display such paths in HTML output. <i>(Difficulty: Medium)</i> </p>
</li>
<li>Relate bugs to checkers / "bug types"
<p>We need to come up with an API which will relate bug reports
to the checkers that produce them and refactor the existing code to use the
new API. This would allow us to identify the checker from the bug report,
which paves the way for selective control of certain checks.
<i>(Difficulty: Easy-Medium)</i></p>
</li>
<li>Refactor path diagnostic generation in <a href="http://clang.llvm.org/doxygen/BugReporter_8cpp_source.html">BugReporter.cpp</a>.
<p>It would be great to have more code reuse between "Minimal" and
"Extensive" PathDiagnostic generation algorithms. One idea is to create an
@ -182,7 +181,7 @@ mailing list</a> to notify other members of the community.</p>
<p>Take a look at the
<a href="http://pages.cs.wisc.edu/~shanlu/paper/TSE-CPMiner.pdf">CP-Miner</a>
paper for inspiration.
<i>(Difficulty: Medium-Hard)</i></p>
<i>(Difficulty: Medium-Hard; current contacts: Per Viberg and Daniel Fahlgren)</i></p>
</li>
</ul>
</li>