search

statycc / pymwp

A static analyzer of variable value growth for C programs.
https://statycc.github.io/pymwp/
GNU General Public License v3.0
4 stars 1 forks source link

Compute matrix #86

Closed nkrusch closed 2 years ago

nkrusch commented 2 years ago

This PR adds an argument that computes the matrix even if failure is detected.