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 5 years ago: dsterba liked play with Coccinelle and lock checking
  • over 5 years ago: mhocko started play with Coccinelle and lock checking
  • over 5 years ago: mhocko originated play with Coccinelle and lock checking

  • Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!