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

dfsan crash on some NAS-C benchmarks #2

Open mcopik opened 4 years ago

mcopik commented 4 years ago

Some of the NAS-C benchmarks (I don't recall which one) crash because dfsan runs into an infinite recursion when creating labels.