Clone this repo:

Branches

  1. d2c9fe5 add initial cocci instrumentation demo by Luis R. Rodriguez · 12 months ago master
  2. 1fe7b2f add pthread_mutex_protects_3() -- semantic helper by Luis R. Rodriguez · 12 months ago
  3. ee6dadf try to fix eating by Luis R. Rodriguez · 12 months ago
  4. 9938112 change rules by Luis R. Rodriguez · 12 months ago
  5. 61ec5f5 remove mutex locks by Luis R. Rodriguez · 12 months ago
  6. 0c81b9b add initial demo pthread party by Luis R. Rodriguez · 12 months ago