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

Incorrect handing of recursive calls. #12

Closed mcopik closed 2 years ago

mcopik commented 4 years ago

In Kripke and relearn benchmarks we found that recursive functions are not properly intrumented. That needs to be fixed.

mcopik commented 2 years ago

The fix has been committed to branch dev.