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
This project is one of its kind!