Skip to main content
UFRIM²AG : Moodle
You are currently using guest access (
Log in
)
December 17th
Home
Courses
UGA
UFRIM²AG
Master Informatique
M2 CyberSecurity
Software Security
December 17th
Section outline
◄
December 10th
►
December 22nd - January 5th
Lab : static code analysis for security
Look at the
introduction slides
on Frama-C
Do the
following exercises
with Frama-C (using
these source files
)
◄
December 10th
Jump to...
Main course page
General information
September 24th
September 30th [beware, course on Tuesday morning (9.45 - 12.45 am)]
October 8th
October 15th
October 22nd
October 27th - November 3rd
November 5th
November 12th
November 18th
November 26th
December 3rd
December 10th
December 17th
December 22nd - January 5th
January 7th
►
December 22nd - January 5th