Shac: A framework for writing and running static analysis checksgithub.com/shac-project3 pointsdannyrosen3 years ago