GitHub repository: Kafva/euf
Primary language: Python
Description: Impact assessment tool for dependency updates in C utilising CBMC based equivalence analysis