GitHub repository: jsalzbergedu/blinkenlights
Primary language: Rust
Created: 2022-03-04T18:40:39Z
Description: Static Analyses for C99 based on the theory of Abstract Interpretation