[www] Remove implemented Clang SA projects

[kbobyrev]

Summary

Two Clang Static Analyzer entries on the Open Projects page are implemented during GSoC 2018: A checker for dangling string pointers in C++ and Using the Z3 SMT Solver to Validate Bugs Reported by the Clang Static Analyzer. This patch removes both projects mentions.

[kbobyrev]

Remove empty Clang SA section for now.

[asl]

LGTM

www/trunk/OpenProjects.html

<li><a href="#replace_binary_utilities">Command line replacements for GNU Binutils</a></li>
     <li>
         <b>Packaging</b>
         <ul>
             <li><a href="#apt">Integrate libc++ and OpenMP in apt.llvm.org</a>
             </li>
             <li><a href="#apt-obs">Move the apt.llvm.org CI to OBS</a>
             </li>
         </ul>
     </li>
     <li>
-        <b>Clang Static Analyzer</b>
-        <ul>
-            <li><a href="#analyzer-std-string-checker">Create a checker for dangling string pointers in C++</a>
-            </li>
-            <li><a href="#analyzer-z3-smt">Integrate with Z3 SMT solver to reduce false positives</a>
-            </li>
-        </ul>
-   </li>
-    <li>
       <b>Clang Tools Extra</b>
       <ul>
           <li><a href="#doc-html-generator">Implement an HTML generator for clang-doc</a>
           </li>
       </ul>
    </li>
    </ul>
   </li>
<div class="www_text">
   <p><b>Expectation:</b> The student must have demonstrated some experience with Debian/Ubuntu packaging. Debian maintains a list of <a href="https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=newcomer">good first bugs</a>. Please mention any packaging related contribution in the GSoC application.</p>
 
   <p><b>Confirmed Mentor:</b> <a href="mailto:[e-mail]">Sylvestre Ledru</a></p>
 
 </div>
 
 <!-- *********************************************************************** -->
 <div class="www_subsection">
-  <a>Clang Static Analyzer</a>
-</div>
-<!-- *********************************************************************** -->
-
-<!-- *********************************************************************** -->
-<div class="www_subsubsection">
-  <a name="analyzer-std-string-checker">Create a checker for dangling string pointers in C++.</a>
-</div>
-<!-- *********************************************************************** -->
-
-<div class="www_text">
-  <p><b>Description of the project: </b>
-    The C++ std::string class provides a c_str() method that returns a raw pointer to a string's inner character buffer. When a std::string is destroyed, the character buffer is deallocated. A common bug is to access a dangling raw pointer to the buffer after string deallocation. These "use after free" bugs can cause crashes or other unexpected behavior.
-    <br />
-    This project will add a new checker to the static analyzer to find when a dangling inner string pointer is used. This will help find bugs not only with std::string and c_str() but also with LLVM's StringRef class and the new C++17 std::string_view.
-  </p>
-  <p><b>Confirmed Mentor:</b> Artem Dergachev</p>
-  <p><b>Desirable skills:</b> Intermediate knowledge of C++.</p>
-</div>
-
-<!-- *********************************************************************** -->
-<div class="www_subsubsection">
-  <a name="analyzer-z3-smt">Integrate with Z3 SMT solver to reduce false positives.</a>
-</div>
-<!-- *********************************************************************** -->
-
-<div class="www_text">
-  <p><b>Description of the project: </b>
-    The static analyzer finds bugs by exploring many possible paths through a program. To reduce false positives, it uses a very fast but imprecise custom constraint manager to rule out infeasible paths that cannot actually be executed at run time.
-    <br />
-    This project will extend the analyzer to use the <a href="https://github.com/Z3Prover/z3/wiki">Z3 SMT solver</a> to rule out additional infeasible paths by postprocessing bug reports. This will help the analyzer reduce false positives when the path involves complicated branches that the built-in constraint manager cannot reason about.
-  </p>
-  <p><b>Confirmed Mentor:</b> George Karpenkov</p>
-  <p><b>Desirable skills:</b> Intermediate knowledge of C++ and basic familiarity with the capabilities SMT solvers</p>
-</div>
-
-<!-- *********************************************************************** -->
-<div class="www_subsection">
   <a>Clang Tools Extra</a>
 </div>
 <!-- *********************************************************************** -->
 
 <!-- *********************************************************************** -->
 <div class="www_subsubsection">
   <a name="doc-html-generator">Implement an HTML generator for clang-doc.</a>
 </div>