dhekir
- Karma
- 243
- Created
- September 19, 2012 (13y ago)
- Submissions
- 0
-
I'm teaching some high-school teens (~15 years old) about privacy, but they seem to completely disregard the issue, giving away their data without worry. I'd like to shake them up a bit, show them something creatively…
- Detecting undefined behavior in C programs with CompCert (compcert.inria.fr)