TY  - RPRT
TI  - StaticFixer: From Static Analysis to Static Repair
AU  - Naman Jain
AU  - Shubham Gandhi
AU  - Atharv Sonwane
AU  - Aditya Kanade
AU  - Nagarajan Natarajan
AU  - Suresh Parthasarathy
AU  - Sriram Rajamani
AU  - Rahul Sharma
PY  - 2023
UR  - https://arxiv.org/abs/2307.12465
ID  - 2307.12465
ER  -