SolidiFI-benchmark

SolidiFI-benchmark copied to clipboard

Various of the reentrancy bugs injected in this dataset are also detectable as a different bug class. For example, several of the reentrancy bugs are detected by MAIAN, an analysis...

f0rki

Most of the injected bug patterns for reentrancy are not exploitable, or are even effectively dead code. This seems like a major drawback of this dataset when trying to evaluate...

f0rki

Fix IO/ERROR

2

When running inspection.py script I get IO/ERROR because two folders were missing. I fixed it.

nveloso

Hi, I have a question on validity of injected overflow bugs. It seems that, some parts that are marked as injected overflow bugs are not actually bugs (i.e., they are...

sunbeomso