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 mad skills in:

Nothing? Add some keywords!

This project is part of:

Hack Week 11

Activity

  • over 4 years ago: dsterba liked play with Coccinelle and lock checking
  • over 4 years ago: mhocko started play with Coccinelle and lock checking
  • over 4 years ago: mhocko originated play with Coccinelle and lock checking
  • Show History

    Comments

    Be the first to comment!

    Similar Projects

    This project is one of its kind!