QL training: C++ variant analysis slide deck #1966
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
This looks useful. There's already a single slide on the Guards library in the deck on control flow, which could be removed as part of this. The GVN and HashCons libraries are obvious candidates to go in this deck in the future. |
rdmarsh2
reviewed
Oct 9, 2019
| - ``GuardCondition`` represents an expression in the program that is a condition. | ||
| - The ``GuardCondition.controls(BasicBlock, boolean)`` predicate represents the set of basic blocks controlled by each guard | ||
| condition, and includes whether they are controlled in the true case or false case. |
There was a problem hiding this comment.
You might also mention ensuresEq and ensuresLt here.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@jf205 I've now created a draft slide deck for "C++ variant analysis", based on some of the ideas we discussed previously. There are two aims: (1) provide some guidance on the variant analysis process and (2) provide some information on useful libraries for C/C++. In particular, (2) is designed to provide information on libraries needed to do the glibc CTF (https://semmle.com/ctf/segv) which aren't already covered in the existing training decks.
I may extend both parts in the future, but I'm first planning to test this out on a training course next Wednesday. Any suggestions before then welcome!