├── .gitattributes ├── CVE-comparison ├── README.md ├── _safemath_manual │ ├── README.md │ ├── batchOverflow_BecToken │ │ └── batchOverflow_BecToken.sol │ ├── burnOverflow_Hexagon │ │ ├── SafeMath.sol │ │ └── burnOverflow_Hexagon.sol │ ├── multiOverflow_Token │ │ ├── SafeMath.sol │ │ └── multiOverflow_Token.sol │ ├── proxyOverflow_SMT │ │ ├── SafeMath.sol │ │ └── proxyOverflow_SMT.sol │ └── transferFlaw_UselessEthereumToken │ │ ├── README.md │ │ ├── SafeMath.sol │ │ └── transferFlaw_UselessEthereumToken.sol ├── batchOverflow_BecToken │ ├── batchOverflow_BecToken.bin │ ├── batchOverflow_BecToken.evmpatched.bin │ ├── batchOverflow_BecToken.safemath.bin │ └── batchOverflow_BecToken.sol ├── burnOverflow_Hexagon │ ├── burnOverflow_Hexagon.bin │ ├── burnOverflow_Hexagon.evmpatched.bin │ ├── burnOverflow_Hexagon.safemath.bin │ └── burnOverflow_Hexagon.sol ├── compile.sh ├── multiOverflow_Token │ ├── multiOverflow_Token.bin │ ├── multiOverflow_Token.evmpatched.bin │ ├── multiOverflow_Token.safemath.bin │ └── multiOverflow_Token.sol ├── osiris.sh ├── proxyOverflow_SMT │ ├── proxyOverflow_SMT.bin │ ├── proxyOverflow_SMT.evmpatched.bin │ ├── proxyOverflow_SMT.safemath.bin │ └── proxyOverflow_SMT.sol └── transferFlaw_UselessEthereumToken │ ├── transferFlaw_UselessEthereumToken.bin │ ├── transferFlaw_UselessEthereumToken.evmpatched.bin │ ├── transferFlaw_UselessEthereumToken.safemath.bin │ └── transferFlaw_UselessEthereumToken.sol ├── CVEs-tx-reexec-analysis ├── BEC │ ├── gas.res │ ├── orig-out-of-gas.tx │ ├── patched-did-not-pass.tx │ └── safemath-did-not-pass.tx ├── HXG │ ├── README.md │ ├── attacks.tx │ ├── gas.res │ ├── orig-out-of-gas.tx │ ├── patched-did-not-pass.tx │ ├── safemath-did-not-pass.tx │ └── tracediff.res ├── SCA │ ├── attacks.tx │ ├── gas.res │ ├── orig-out-of-gas.tx │ ├── patched-did-not-pass.tx │ ├── safemath-did-not-pass.tx │ └── tracediff.res ├── SMT │ ├── attacks.tx │ ├── gas.res │ ├── orig-out-of-gas.tx │ ├── patched-did-not-pass.tx │ ├── safemath-did-not-pass.tx │ └── tracediff.res └── UET │ ├── attacks.tx │ ├── gas.res │ ├── orig-out-of-gas.tx │ ├── patched-did-not-fail.tx │ ├── patched-did-not-pass.tx │ ├── safemath-did-not-fail.tx │ ├── safemath-did-not-pass.tx │ └── tracediff.res ├── README.md ├── gas-cost-comparison-to-safemath ├── Makefile ├── README.md ├── SafeMath.bin-runtime ├── SafeMath.sol ├── SafeMathAdd.bin-runtime ├── SafeMathDiv.bin-runtime ├── SafeMathMod.bin-runtime ├── SafeMathMul.bin-runtime ├── SafeMathOpt.sol ├── SafeMathSub.bin-runtime ├── TestAdd.bin-runtime ├── TestAdd.evmpatched.bin-runtime ├── TestDiv.bin-runtime ├── TestMul.bin-runtime ├── TestMul.evmpatched.bin-runtime ├── TestMultipleAdd.bin-runtime ├── TestMultipleAdd.evmpatched.bin-runtime ├── TestOverflow.bin-runtime ├── TestSafeAdd.bin-runtime ├── TestSafeDiv.bin-runtime ├── TestSafeMul.bin-runtime ├── TestSafeMultipleAdd.bin-runtime ├── TestSafeOptAdd.bin-runtime ├── TestSafeOptMul.bin-runtime ├── TestSafeOptMultipleAdd.bin-runtime ├── TestSafeOptSub.bin-runtime ├── TestSafeSub.bin-runtime ├── TestSub.bin-runtime ├── TestSub.evmpatched.bin-runtime ├── overflow.sol └── rewrite.py └── large-scale └── osiris_dataset_14k.tar.zst /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/.gitattributes -------------------------------------------------------------------------------- /CVE-comparison/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/README.md -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/README.md -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/batchOverflow_BecToken/batchOverflow_BecToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/batchOverflow_BecToken/batchOverflow_BecToken.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/burnOverflow_Hexagon/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/burnOverflow_Hexagon/SafeMath.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/burnOverflow_Hexagon/burnOverflow_Hexagon.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/burnOverflow_Hexagon/burnOverflow_Hexagon.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/multiOverflow_Token/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/multiOverflow_Token/SafeMath.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/multiOverflow_Token/multiOverflow_Token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/multiOverflow_Token/multiOverflow_Token.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/proxyOverflow_SMT/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/proxyOverflow_SMT/SafeMath.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/proxyOverflow_SMT/proxyOverflow_SMT.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/proxyOverflow_SMT/proxyOverflow_SMT.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/README.md -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/SafeMath.sol -------------------------------------------------------------------------------- /CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/_safemath_manual/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.sol -------------------------------------------------------------------------------- /CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.bin -------------------------------------------------------------------------------- /CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.evmpatched.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.evmpatched.bin -------------------------------------------------------------------------------- /CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.safemath.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.safemath.bin -------------------------------------------------------------------------------- /CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/batchOverflow_BecToken/batchOverflow_BecToken.sol -------------------------------------------------------------------------------- /CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.bin -------------------------------------------------------------------------------- /CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.evmpatched.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.evmpatched.bin -------------------------------------------------------------------------------- /CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.safemath.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.safemath.bin -------------------------------------------------------------------------------- /CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/burnOverflow_Hexagon/burnOverflow_Hexagon.sol -------------------------------------------------------------------------------- /CVE-comparison/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/compile.sh -------------------------------------------------------------------------------- /CVE-comparison/multiOverflow_Token/multiOverflow_Token.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/multiOverflow_Token/multiOverflow_Token.bin -------------------------------------------------------------------------------- /CVE-comparison/multiOverflow_Token/multiOverflow_Token.evmpatched.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/multiOverflow_Token/multiOverflow_Token.evmpatched.bin -------------------------------------------------------------------------------- /CVE-comparison/multiOverflow_Token/multiOverflow_Token.safemath.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/multiOverflow_Token/multiOverflow_Token.safemath.bin -------------------------------------------------------------------------------- /CVE-comparison/multiOverflow_Token/multiOverflow_Token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/multiOverflow_Token/multiOverflow_Token.sol -------------------------------------------------------------------------------- /CVE-comparison/osiris.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/osiris.sh -------------------------------------------------------------------------------- /CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.bin -------------------------------------------------------------------------------- /CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.evmpatched.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.evmpatched.bin -------------------------------------------------------------------------------- /CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.safemath.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.safemath.bin -------------------------------------------------------------------------------- /CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/proxyOverflow_SMT/proxyOverflow_SMT.sol -------------------------------------------------------------------------------- /CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.bin -------------------------------------------------------------------------------- /CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.evmpatched.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.evmpatched.bin -------------------------------------------------------------------------------- /CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.safemath.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.safemath.bin -------------------------------------------------------------------------------- /CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVE-comparison/transferFlaw_UselessEthereumToken/transferFlaw_UselessEthereumToken.sol -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/BEC/gas.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/BEC/gas.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/BEC/orig-out-of-gas.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/BEC/orig-out-of-gas.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/BEC/patched-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/BEC/patched-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/BEC/safemath-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/BEC/safemath-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/README.md -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/attacks.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/attacks.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/gas.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/gas.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/orig-out-of-gas.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/orig-out-of-gas.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/patched-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/patched-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/safemath-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/safemath-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/HXG/tracediff.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/HXG/tracediff.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/attacks.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/attacks.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/gas.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/gas.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/orig-out-of-gas.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/orig-out-of-gas.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/patched-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/patched-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/safemath-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/safemath-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SCA/tracediff.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SCA/tracediff.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/attacks.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/attacks.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/gas.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/gas.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/orig-out-of-gas.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/orig-out-of-gas.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/patched-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/patched-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/safemath-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/safemath-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/SMT/tracediff.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/SMT/tracediff.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/attacks.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/attacks.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/gas.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/gas.res -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/orig-out-of-gas.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/orig-out-of-gas.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/patched-did-not-fail.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/patched-did-not-fail.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/patched-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/patched-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/safemath-did-not-fail.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/safemath-did-not-fail.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/safemath-did-not-pass.tx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/safemath-did-not-pass.tx -------------------------------------------------------------------------------- /CVEs-tx-reexec-analysis/UET/tracediff.res: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/CVEs-tx-reexec-analysis/UET/tracediff.res -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/README.md -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/Makefile -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/README.md -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMath.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMath.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMath.sol -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathDiv.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathDiv.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathMod.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathMod.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathMul.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathMul.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathOpt.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathOpt.sol -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/SafeMathSub.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/SafeMathSub.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestAdd.evmpatched.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestAdd.evmpatched.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestDiv.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestDiv.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestMul.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestMul.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestMul.evmpatched.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestMul.evmpatched.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestMultipleAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestMultipleAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestMultipleAdd.evmpatched.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestMultipleAdd.evmpatched.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestOverflow.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestOverflow.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeDiv.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeDiv.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeMul.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeMul.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeMultipleAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeMultipleAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeOptAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeOptAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeOptMul.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeOptMul.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeOptMultipleAdd.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeOptMultipleAdd.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeOptSub.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeOptSub.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSafeSub.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSafeSub.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSub.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSub.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/TestSub.evmpatched.bin-runtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/TestSub.evmpatched.bin-runtime -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/overflow.sol -------------------------------------------------------------------------------- /gas-cost-comparison-to-safemath/rewrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/gas-cost-comparison-to-safemath/rewrite.py -------------------------------------------------------------------------------- /large-scale/osiris_dataset_14k.tar.zst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uni-due-syssec/evmpatch-eval-data/HEAD/large-scale/osiris_dataset_14k.tar.zst --------------------------------------------------------------------------------