Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Joran Honig 85e33e79ed Add test cases		6 years ago
..
add0.json	Implement generic evm_test and add initial tests to the repo.	6 years ago
add1.json	Implement generic evm_test and add initial tests to the repo.	6 years ago
add2.json	Implement generic evm_test and add initial tests to the repo.	6 years ago
add3.json	Implement generic evm_test and add initial tests to the repo.	6 years ago
add4.json	Implement generic evm_test and add initial tests to the repo.	6 years ago
addmod0.json	Add test cases	6 years ago
addmod1.json	Add test cases	6 years ago
addmod1_overflow2.json	Add test cases	6 years ago
addmod1_overflow3.json	Add test cases	6 years ago
addmod1_overflow4.json	Add test cases	6 years ago
addmod1_overflowDiff.json	Add test cases	6 years ago
addmod2.json	Add test cases	6 years ago
addmod2_0.json	Add test cases	6 years ago
addmod2_1.json	Add test cases	6 years ago
addmod3.json	Add test cases	6 years ago
addmod3_0.json	Add test cases	6 years ago
addmodBigIntCast.json	Add test cases	6 years ago
addmodDivByZero.json	Add test cases	6 years ago
addmodDivByZero1.json	Add test cases	6 years ago
addmodDivByZero2.json	Add test cases	6 years ago
addmodDivByZero3.json	Add test cases	6 years ago
arith1.json	Add test cases	6 years ago
div1.json	Add test cases	6 years ago
divBoostBug.json	Add test cases	6 years ago
divByNonZero0.json	Add test cases	6 years ago
divByNonZero1.json	Add test cases	6 years ago
divByNonZero2.json	Add test cases	6 years ago
divByNonZero3.json	Add test cases	6 years ago
divByZero.json	Add test cases	6 years ago
divByZero_2.json	Add test cases	6 years ago
exp0.json	Add test cases	6 years ago
exp1.json	Add test cases	6 years ago
exp2.json	Add test cases	6 years ago
exp3.json	Add test cases	6 years ago
exp4.json	Add test cases	6 years ago
exp5.json	Add test cases	6 years ago
exp6.json	Add test cases	6 years ago
exp7.json	Add test cases	6 years ago
exp8.json	Add test cases	6 years ago
expPowerOf2_2.json	Add test cases	6 years ago
expPowerOf2_4.json	Add test cases	6 years ago
expPowerOf2_8.json	Add test cases	6 years ago
expPowerOf2_16.json	Add test cases	6 years ago
expPowerOf2_32.json	Add test cases	6 years ago
expPowerOf2_64.json	Add test cases	6 years ago
expPowerOf2_128.json	Add test cases	6 years ago
expPowerOf2_256.json	Add test cases	6 years ago
expPowerOf256Of256_0.json	Add test cases	6 years ago
expPowerOf256Of256_1.json	Add test cases	6 years ago
expPowerOf256Of256_2.json	Add test cases	6 years ago
expPowerOf256Of256_3.json	Add test cases	6 years ago
expPowerOf256Of256_4.json	Add test cases	6 years ago
expPowerOf256Of256_5.json	Add test cases	6 years ago
expPowerOf256Of256_6.json	Add test cases	6 years ago
expPowerOf256Of256_7.json	Add test cases	6 years ago
expPowerOf256Of256_8.json	Add test cases	6 years ago
expPowerOf256Of256_9.json	Add test cases	6 years ago
expPowerOf256Of256_10.json	Add test cases	6 years ago
expPowerOf256Of256_11.json	Add test cases	6 years ago
expPowerOf256Of256_12.json	Add test cases	6 years ago
expPowerOf256Of256_13.json	Add test cases	6 years ago
expPowerOf256Of256_14.json	Add test cases	6 years ago
expPowerOf256Of256_15.json	Add test cases	6 years ago
expPowerOf256Of256_16.json	Add test cases	6 years ago
expPowerOf256Of256_17.json	Add test cases	6 years ago
expPowerOf256Of256_18.json	Add test cases	6 years ago
expPowerOf256Of256_19.json	Add test cases	6 years ago
expPowerOf256Of256_20.json	Add test cases	6 years ago
expPowerOf256Of256_21.json	Add test cases	6 years ago
expPowerOf256Of256_22.json	Add test cases	6 years ago
expPowerOf256Of256_23.json	Add test cases	6 years ago
expPowerOf256Of256_24.json	Add test cases	6 years ago
expPowerOf256Of256_25.json	Add test cases	6 years ago
expPowerOf256Of256_26.json	Add test cases	6 years ago
expPowerOf256Of256_27.json	Add test cases	6 years ago
expPowerOf256Of256_28.json	Add test cases	6 years ago
expPowerOf256Of256_29.json	Add test cases	6 years ago
expPowerOf256Of256_30.json	Add test cases	6 years ago
expPowerOf256Of256_31.json	Add test cases	6 years ago
expPowerOf256Of256_32.json	Add test cases	6 years ago
expPowerOf256Of256_33.json	Add test cases	6 years ago
expPowerOf256_1.json	Add test cases	6 years ago
expPowerOf256_2.json	Add test cases	6 years ago
expPowerOf256_3.json	Add test cases	6 years ago
expPowerOf256_4.json	Add test cases	6 years ago
expPowerOf256_5.json	Add test cases	6 years ago
expPowerOf256_6.json	Add test cases	6 years ago
expPowerOf256_7.json	Add test cases	6 years ago
expPowerOf256_8.json	Add test cases	6 years ago
expPowerOf256_9.json	Add test cases	6 years ago
expPowerOf256_10.json	Add test cases	6 years ago
expPowerOf256_11.json	Add test cases	6 years ago
expPowerOf256_12.json	Add test cases	6 years ago
expPowerOf256_13.json	Add test cases	6 years ago
expPowerOf256_14.json	Add test cases	6 years ago
expPowerOf256_15.json	Add test cases	6 years ago
expPowerOf256_16.json	Add test cases	6 years ago
expPowerOf256_17.json	Add test cases	6 years ago
expPowerOf256_18.json	Add test cases	6 years ago
expPowerOf256_19.json	Add test cases	6 years ago
expPowerOf256_20.json	Add test cases	6 years ago
expPowerOf256_21.json	Add test cases	6 years ago
expPowerOf256_22.json	Add test cases	6 years ago
expPowerOf256_23.json	Add test cases	6 years ago
expPowerOf256_24.json	Add test cases	6 years ago
expPowerOf256_25.json	Add test cases	6 years ago
expPowerOf256_26.json	Add test cases	6 years ago
expPowerOf256_27.json	Add test cases	6 years ago
expPowerOf256_28.json	Add test cases	6 years ago
expPowerOf256_29.json	Add test cases	6 years ago
expPowerOf256_30.json	Add test cases	6 years ago
expPowerOf256_31.json	Add test cases	6 years ago
expPowerOf256_32.json	Add test cases	6 years ago
expPowerOf256_33.json	Add test cases	6 years ago
expXY.json	Add test cases	6 years ago
expXY_success.json	Add test cases	6 years ago
fibbonacci_unrolled.json	Add test cases	6 years ago
mod0.json	Add test cases	6 years ago
mod1.json	Add test cases	6 years ago
mod2.json	Add test cases	6 years ago
mod3.json	Add test cases	6 years ago
mod4.json	Add test cases	6 years ago
modByZero.json	Add test cases	6 years ago
mul0.json	Add test cases	6 years ago
mul1.json	Add test cases	6 years ago
mul2.json	Add test cases	6 years ago
mul3.json	Add test cases	6 years ago
mul4.json	Add test cases	6 years ago
mul5.json	Add test cases	6 years ago
mul6.json	Add test cases	6 years ago
mul7.json	Add test cases	6 years ago
mulmod0.json	Add test cases	6 years ago
mulmod1.json	Add test cases	6 years ago
mulmod1_overflow.json	Add test cases	6 years ago
mulmod1_overflow2.json	Add test cases	6 years ago
mulmod1_overflow3.json	Add test cases	6 years ago
mulmod1_overflow4.json	Add test cases	6 years ago
mulmod2.json	Add test cases	6 years ago
mulmod2_0.json	Add test cases	6 years ago
mulmod2_1.json	Add test cases	6 years ago
mulmod3.json	Add test cases	6 years ago
mulmod3_0.json	Add test cases	6 years ago
mulmod4.json	Add test cases	6 years ago
mulmoddivByZero.json	Add test cases	6 years ago
mulmoddivByZero1.json	Add test cases	6 years ago
mulmoddivByZero2.json	Add test cases	6 years ago
mulmoddivByZero3.json	Add test cases	6 years ago
not1.json	Add test cases	6 years ago
sdiv0.json	Add test cases	6 years ago
sdiv1.json	Add test cases	6 years ago
sdiv2.json	Add test cases	6 years ago
sdiv3.json	Add test cases	6 years ago
sdiv4.json	Add test cases	6 years ago
sdiv5.json	Add test cases	6 years ago
sdiv6.json	Add test cases	6 years ago
sdiv7.json	Add test cases	6 years ago
sdiv8.json	Add test cases	6 years ago
sdiv9.json	Add test cases	6 years ago
sdivByZero0.json	Add test cases	6 years ago
sdivByZero1.json	Add test cases	6 years ago
sdivByZero2.json	Add test cases	6 years ago
sdiv_dejavu.json	Add test cases	6 years ago
sdiv_i256min.json	Add test cases	6 years ago
sdiv_i256min2.json	Add test cases	6 years ago
sdiv_i256min3.json	Add test cases	6 years ago
signextendInvalidByteNumber.json	Add test cases	6 years ago
signextend_00.json	Add test cases	6 years ago
signextend_0_BigByte.json	Add test cases	6 years ago
signextend_AlmostBiggestByte.json	Add test cases	6 years ago
signextend_BigByteBigByte.json	Add test cases	6 years ago
signextend_BigBytePlus1_2.json	Add test cases	6 years ago
signextend_BigByte_0.json	Add test cases	6 years ago
signextend_BitIsNotSet.json	Add test cases	6 years ago
signextend_BitIsNotSetInHigherByte.json	Add test cases	6 years ago
signextend_BitIsSetInHigherByte.json	Add test cases	6 years ago
signextend_Overflow_dj42.json	Add test cases	6 years ago
signextend_bigBytePlus1.json	Add test cases	6 years ago
signextend_bitIsSet.json	Add test cases	6 years ago
smod0.json	Add test cases	6 years ago
smod1.json	Add test cases	6 years ago
smod2.json	Add test cases	6 years ago
smod3.json	Add test cases	6 years ago
smod4.json	Add test cases	6 years ago
smod5.json	Add test cases	6 years ago
smod6.json	Add test cases	6 years ago
smod7.json	Add test cases	6 years ago
smod8_byZero.json	Add test cases	6 years ago
smod_i256min1.json	Add test cases	6 years ago
smod_i256min2.json	Add test cases	6 years ago
stop.json	Add test cases	6 years ago
sub0.json	Add test cases	6 years ago
sub1.json	Add test cases	6 years ago
sub2.json	Add test cases	6 years ago
sub3.json	Add test cases	6 years ago
sub4.json	Add test cases	6 years ago