RE lab 10 - CodeQL Workshop

Download the materials from here. Follow along and document your progress and take screenshots for all the exercises to get the points.

• 1. Variables (variables dir):
  • ex0, ex1, ex2 (2p)
  • ex3, ex4, ex5, ex6 (2p)
• 2. Functions (functions dir):
  • ex0, ex1, ex2 (2p)
• 3. Predicates and typechecks (types dir):
  • ex0, ex1, ex2, ex4, ex5 (2p)
• 4. Quantifiers (quantifiers dir):
  • ex0, ex1 (2p)
• 5. Local DataFlow (dataflow dir):
  • ex0, ex1, ex2 (2p)
• 6. rabbitmq-c (testcase dir)
  • ex4 (4p)