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

capture index #126

Closed nkrusch closed 2 months ago

nkrusch commented 2 months ago

Fix: Index is needed to calculate choices, but was not preserved by result following analysis run. This is an issue for cases where we want to do further computation on the relation and choices.