├── Dockerfile ├── LICENSE ├── README.md ├── __pycache__ └── inject_file.cpython-38.pyc ├── bug_types.conf ├── bugs ├── Overflow-Underflow │ └── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 33.txt │ │ ├── 34.txt │ │ ├── 35.txt │ │ ├── 36.txt │ │ ├── 37.txt │ │ ├── 38.txt │ │ ├── 39.txt │ │ ├── 4.txt │ │ ├── 40.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt ├── Re-entrancy │ └── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 33.txt │ │ ├── 34.txt │ │ ├── 35.txt │ │ ├── 36.txt │ │ ├── 37.txt │ │ ├── 38.txt │ │ ├── 39.txt │ │ ├── 4.txt │ │ ├── 40.txt │ │ ├── 41.txt │ │ ├── 42.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt ├── TOD │ └── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 33.txt │ │ ├── 34.txt │ │ ├── 35.txt │ │ ├── 36.txt │ │ ├── 37.txt │ │ ├── 38.txt │ │ ├── 39.txt │ │ ├── 4.txt │ │ ├── 40.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt ├── Timestamp-Dependency │ ├── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 33.txt │ │ ├── 34.txt │ │ ├── 35.txt │ │ ├── 36.txt │ │ ├── 37.txt │ │ ├── 38.txt │ │ ├── 39.txt │ │ ├── 4.txt │ │ ├── 40.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt │ └── ts │ │ ├── 1.txt │ │ ├── 2.txt │ │ ├── 3.txt │ │ ├── 4.txt │ │ └── 5.txt ├── Unchecked-Send │ └── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 4.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt ├── Unhandled-Exceptions │ └── tf │ │ ├── 1.txt │ │ ├── 10.txt │ │ ├── 11.txt │ │ ├── 12.txt │ │ ├── 13.txt │ │ ├── 14.txt │ │ ├── 15.txt │ │ ├── 16.txt │ │ ├── 17.txt │ │ ├── 18.txt │ │ ├── 19.txt │ │ ├── 2.txt │ │ ├── 20.txt │ │ ├── 21.txt │ │ ├── 22.txt │ │ ├── 23.txt │ │ ├── 24.txt │ │ ├── 25.txt │ │ ├── 26.txt │ │ ├── 27.txt │ │ ├── 28.txt │ │ ├── 29.txt │ │ ├── 3.txt │ │ ├── 30.txt │ │ ├── 31.txt │ │ ├── 32.txt │ │ ├── 33.txt │ │ ├── 34.txt │ │ ├── 35.txt │ │ ├── 36.txt │ │ ├── 37.txt │ │ ├── 38.txt │ │ ├── 39.txt │ │ ├── 4.txt │ │ ├── 40.txt │ │ ├── 41.txt │ │ ├── 42.txt │ │ ├── 43.txt │ │ ├── 44.txt │ │ ├── 45.txt │ │ ├── 46.txt │ │ ├── 47.txt │ │ ├── 48.txt │ │ ├── 5.txt │ │ ├── 6.txt │ │ ├── 7.txt │ │ ├── 8.txt │ │ └── 9.txt └── tx-origin │ └── tf │ ├── 1.txt │ ├── 10.txt │ ├── 11.txt │ ├── 12.txt │ ├── 13.txt │ ├── 14.txt │ ├── 15.txt │ ├── 16.txt │ ├── 17.txt │ ├── 18.txt │ ├── 19.txt │ ├── 2.txt │ ├── 20.txt │ ├── 21.txt │ ├── 22.txt │ ├── 23.txt │ ├── 24.txt │ ├── 25.txt │ ├── 26.txt │ ├── 27.txt │ ├── 28.txt │ ├── 29.txt │ ├── 3.txt │ ├── 30.txt │ ├── 31.txt │ ├── 32.txt │ ├── 33.txt │ ├── 34.txt │ ├── 35.txt │ ├── 36.txt │ ├── 37.txt │ ├── 38.txt │ ├── 39.txt │ ├── 4.txt │ ├── 40.txt │ ├── 5.txt │ ├── 6.txt │ ├── 7.txt │ ├── 8.txt │ └── 9.txt ├── code_trans.conf ├── contracts ├── 1.sol ├── 10.sol ├── 11.sol ├── 12.sol ├── 13.sol ├── 14.sol ├── 15.sol ├── 16.sol ├── 17.sol ├── 18.sol ├── 19.sol ├── 2.sol ├── 20.sol ├── 21.sol ├── 22.sol ├── 23.sol ├── 24.sol ├── 25.sol ├── 26.sol ├── 27.sol ├── 28.sol ├── 29.sol ├── 3.sol ├── 30.sol ├── 31.sol ├── 32.sol ├── 33.sol ├── 34.sol ├── 35.sol ├── 36.sol ├── 37.sol ├── 38.sol ├── 39.sol ├── 4.json ├── 4.sol ├── 40.sol ├── 41.sol ├── 42.sol ├── 43.sol ├── 44.sol ├── 45.sol ├── 46.sol ├── 47.sol ├── 48.sol ├── 49.sol ├── 5.sol ├── 50.sol ├── 6.sol ├── 7.sol ├── 8.sol └── 9.sol ├── evaluator.py ├── inject_file.py ├── inspection.py ├── performance.py ├── requirements.txt ├── sec_methods.conf ├── setup.py ├── solidifi.egg-info ├── PKG-INFO ├── SOURCES.txt ├── dependency_links.txt ├── entry_points.txt ├── requires.txt └── top_level.txt └── solidifi.py /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/README.md -------------------------------------------------------------------------------- /__pycache__/inject_file.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/__pycache__/inject_file.cpython-38.pyc -------------------------------------------------------------------------------- /bug_types.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bug_types.conf -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/1.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/10.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/11.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/12.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/13.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/14.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/15.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/16.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/17.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/18.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/19.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/2.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/20.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/21.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/22.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/23.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/24.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/25.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/26.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/27.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/28.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/29.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/3.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/30.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/31.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/32.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/33.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/34.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/35.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/36.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/37.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/38.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/39.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/4.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/40.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/5.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/6.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/7.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/8.txt -------------------------------------------------------------------------------- /bugs/Overflow-Underflow/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Overflow-Underflow/tf/9.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/1.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/10.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/11.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/12.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/13.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/14.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/15.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/16.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/17.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/18.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/19.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/2.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/20.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/21.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/22.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/23.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/24.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/25.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/26.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/27.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/28.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/29.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/3.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/30.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/31.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/32.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/33.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/34.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/35.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/36.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/37.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/38.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/39.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/4.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/40.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/41.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/41.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/42.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/42.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/5.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/6.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/7.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/8.txt -------------------------------------------------------------------------------- /bugs/Re-entrancy/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Re-entrancy/tf/9.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/1.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/10.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/11.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/12.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/13.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/14.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/15.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/16.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/17.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/18.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/19.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/2.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/20.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/21.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/22.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/23.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/24.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/25.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/26.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/27.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/28.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/29.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/3.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/30.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/31.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/32.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/33.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/34.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/35.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/36.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/37.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/38.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/39.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/4.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/40.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/5.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/6.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/7.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/8.txt -------------------------------------------------------------------------------- /bugs/TOD/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/TOD/tf/9.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/1.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/10.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/11.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/12.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/13.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/14.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/15.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/16.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/17.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/18.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/19.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/2.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/20.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/21.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/22.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/23.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/24.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/25.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/26.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/27.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/28.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/29.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/3.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/30.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/31.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/32.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/33.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/34.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/35.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/36.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/37.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/38.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/39.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/4.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/40.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/5.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/6.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/7.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/8.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Timestamp-Dependency/tf/9.txt -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/ts/1.txt: -------------------------------------------------------------------------------- 1 | uint256 bugv_tmstmp1 = block.timestamp; 2 | -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/ts/2.txt: -------------------------------------------------------------------------------- 1 | uint256 bugv_tmstmp2 = block.timestamp; 2 | -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/ts/3.txt: -------------------------------------------------------------------------------- 1 | uint256 bugv_tmstmp3 = block.timestamp; 2 | -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/ts/4.txt: -------------------------------------------------------------------------------- 1 | uint256 bugv_tmstmp4 = block.timestamp; 2 | -------------------------------------------------------------------------------- /bugs/Timestamp-Dependency/ts/5.txt: -------------------------------------------------------------------------------- 1 | uint256 bugv_tmstmp5 = block.timestamp; 2 | -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/1.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/10.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/11.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/12.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/13.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/14.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/15.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/16.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/17.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/18.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/19.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/2.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/20.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/21.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/22.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/23.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/24.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/25.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/26.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/27.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/28.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/29.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/3.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/30.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/31.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/32.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/4.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/5.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/6.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/7.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/8.txt -------------------------------------------------------------------------------- /bugs/Unchecked-Send/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unchecked-Send/tf/9.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/1.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/10.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/11.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/12.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/13.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/14.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/15.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/16.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/17.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/18.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/19.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/2.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/20.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/21.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/22.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/23.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/24.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/25.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/26.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/27.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/28.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/29.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/3.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/30.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/31.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/32.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/33.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/34.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/35.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/36.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/37.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/38.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/39.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/4.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/40.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/41.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/41.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/42.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/42.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/43.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/43.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/44.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/44.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/45.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/45.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/46.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/46.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/47.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/47.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/48.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/48.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/5.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/6.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/7.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/8.txt -------------------------------------------------------------------------------- /bugs/Unhandled-Exceptions/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/Unhandled-Exceptions/tf/9.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/1.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/10.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/11.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/11.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/12.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/13.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/14.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/15.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/16.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/16.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/17.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/17.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/18.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/19.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/19.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/2.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/20.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/21.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/21.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/22.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/23.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/24.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/25.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/26.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/27.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/27.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/28.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/29.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/29.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/3.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/30.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/31.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/31.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/32.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/32.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/33.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/33.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/34.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/34.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/35.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/35.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/36.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/36.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/37.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/37.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/38.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/39.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/39.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/4.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/40.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/40.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/5.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/6.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/7.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/8.txt -------------------------------------------------------------------------------- /bugs/tx-origin/tf/9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/bugs/tx-origin/tf/9.txt -------------------------------------------------------------------------------- /code_trans.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/code_trans.conf -------------------------------------------------------------------------------- /contracts/1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/1.sol -------------------------------------------------------------------------------- /contracts/10.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/10.sol -------------------------------------------------------------------------------- /contracts/11.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/11.sol -------------------------------------------------------------------------------- /contracts/12.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/12.sol -------------------------------------------------------------------------------- /contracts/13.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/13.sol -------------------------------------------------------------------------------- /contracts/14.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/14.sol -------------------------------------------------------------------------------- /contracts/15.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/15.sol -------------------------------------------------------------------------------- /contracts/16.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/16.sol -------------------------------------------------------------------------------- /contracts/17.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/17.sol -------------------------------------------------------------------------------- /contracts/18.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/18.sol -------------------------------------------------------------------------------- /contracts/19.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/19.sol -------------------------------------------------------------------------------- /contracts/2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/2.sol -------------------------------------------------------------------------------- /contracts/20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/20.sol -------------------------------------------------------------------------------- /contracts/21.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/21.sol -------------------------------------------------------------------------------- /contracts/22.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/22.sol -------------------------------------------------------------------------------- /contracts/23.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/23.sol -------------------------------------------------------------------------------- /contracts/24.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/24.sol -------------------------------------------------------------------------------- /contracts/25.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/25.sol -------------------------------------------------------------------------------- /contracts/26.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/26.sol -------------------------------------------------------------------------------- /contracts/27.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/27.sol -------------------------------------------------------------------------------- /contracts/28.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/28.sol -------------------------------------------------------------------------------- /contracts/29.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/29.sol -------------------------------------------------------------------------------- /contracts/3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/3.sol -------------------------------------------------------------------------------- /contracts/30.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/30.sol -------------------------------------------------------------------------------- /contracts/31.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/31.sol -------------------------------------------------------------------------------- /contracts/32.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/32.sol -------------------------------------------------------------------------------- /contracts/33.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/33.sol -------------------------------------------------------------------------------- /contracts/34.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/34.sol -------------------------------------------------------------------------------- /contracts/35.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/35.sol -------------------------------------------------------------------------------- /contracts/36.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/36.sol -------------------------------------------------------------------------------- /contracts/37.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/37.sol -------------------------------------------------------------------------------- /contracts/38.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/38.sol -------------------------------------------------------------------------------- /contracts/39.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/39.sol -------------------------------------------------------------------------------- /contracts/4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/4.json -------------------------------------------------------------------------------- /contracts/4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/4.sol -------------------------------------------------------------------------------- /contracts/40.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/40.sol -------------------------------------------------------------------------------- /contracts/41.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/41.sol -------------------------------------------------------------------------------- /contracts/42.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/42.sol -------------------------------------------------------------------------------- /contracts/43.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/43.sol -------------------------------------------------------------------------------- /contracts/44.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/44.sol -------------------------------------------------------------------------------- /contracts/45.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/45.sol -------------------------------------------------------------------------------- /contracts/46.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/46.sol -------------------------------------------------------------------------------- /contracts/47.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/47.sol -------------------------------------------------------------------------------- /contracts/48.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/48.sol -------------------------------------------------------------------------------- /contracts/49.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/49.sol -------------------------------------------------------------------------------- /contracts/5.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/5.sol -------------------------------------------------------------------------------- /contracts/50.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/50.sol -------------------------------------------------------------------------------- /contracts/6.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/6.sol -------------------------------------------------------------------------------- /contracts/7.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/7.sol -------------------------------------------------------------------------------- /contracts/8.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/8.sol -------------------------------------------------------------------------------- /contracts/9.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/contracts/9.sol -------------------------------------------------------------------------------- /evaluator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/evaluator.py -------------------------------------------------------------------------------- /inject_file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/inject_file.py -------------------------------------------------------------------------------- /inspection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/inspection.py -------------------------------------------------------------------------------- /performance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/performance.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | matplotlib 2 | ijson 3 | numpy 4 | configparser 5 | pandas 6 | -e . -------------------------------------------------------------------------------- /sec_methods.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/sec_methods.conf -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/setup.py -------------------------------------------------------------------------------- /solidifi.egg-info/PKG-INFO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/solidifi.egg-info/PKG-INFO -------------------------------------------------------------------------------- /solidifi.egg-info/SOURCES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/solidifi.egg-info/SOURCES.txt -------------------------------------------------------------------------------- /solidifi.egg-info/dependency_links.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /solidifi.egg-info/entry_points.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/solidifi.egg-info/entry_points.txt -------------------------------------------------------------------------------- /solidifi.egg-info/requires.txt: -------------------------------------------------------------------------------- 1 | matplotlib 2 | ijson 3 | numpy 4 | configparser 5 | pandas 6 | -------------------------------------------------------------------------------- /solidifi.egg-info/top_level.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /solidifi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/SolidiFI/HEAD/solidifi.py --------------------------------------------------------------------------------