Section outline

◄December 22nd - January 5th
►January 6th

    • Lab : static code analysis for security
      1. Look at the introduction slides on Frama-C
      2. Do the following exercises with Frama-C (using these source files)
◄December 22nd - January 5th
►January 6th