[PATCH] D53024: [analyzer][www] Add more open projects

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

@Szelethus I take it this is mostly formed from @NoQ email? Language could use polishing in quite a few places, could I just commandeer this revision and try to fix it?



================
Comment at: www/analyzer/open_projects.html:29
+    <li>Implement a dataflow flamework.
+    <p><!-- TODO: Explain. -->
+    <i> (Difficulty: Hard) </i></p>
----------------
NoQ wrote:
> @george.karpenkov your turn here.
Let's just skip it.
I suspect the explanation would not benefit here, because a large body of assumed knowledge would be required to take on the project.


================
Comment at: www/analyzer/open_projects.html:314
+    bound the value of the resulting expression. Bonus points for handling masks
+    followed by shifts, e.g. <code>($sym & 0b1100) >> 2</code>.
     <i>(Difficulty: Easy)</i></p>
----------------
This is handled by Z3 invalidation, I'm not sure it's worth it spending much effort here in the long run.


https://reviews.llvm.org/D53024