search

spcl / perf-taint

Taint-based program analysis framework for empirical performance modeling.
BSD 3-Clause "New" or "Revised" License
5 stars 2 forks source link

Deletion of labels #28

Closed larissaschmid closed 3 years ago

larissaschmid commented 3 years ago

When one tainted variable is initialized based on another tainted variable, but they are not semantically dependent after that, it would be helpful to have the possibility to delete the corresponding label (stating their dependency on another).

mcopik commented 3 years ago

@julifan I pushed to master a fix to this issue.

See the unit test for details: https://github.com/spcl/perf-taint/blob/master/tests/unit/api/delete_label.cpp#L77