We had a quick course of Coccinelle during the last Labs conference. The tool is really great and I would like to explore possibility of checking lock invariants for particular functions. Julia was really prompt and implemented something that should help but I didn't get to it since the conference.

Looking for hackers with the skills:

Nothing? Add some keywords!

This project is part of:

Hack Week 11

Activity

  • over 6 years ago: dsterba liked this project.
  • over 6 years ago: mhocko started this project.
  • over 6 years ago: mhocko originated this project.

  • Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!