pezkuwichain/revive
1
Fork 0
mirror of https://github.com/pezkuwichain/revive.git synced 2026-10-20 18:56:17 +00:00
Code Releases Activity
Files
main
revive/crates/integration/contracts
T
History
xermicusandLJ 68e8b167f5 NY: bugfix dead callvalue analysis (#589) 
- Remove the buggy `fn find_value_uses()`
- The logic flips from default-skip to default-keep

Closes #588

---------

Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Co-authored-by: LJ <81748770+elle-j@users.noreply.github.com>
2026-08-14 23:22:56 +02:00
..
AddModMulMod.sol
mark internal functions linker private (#381)
2025-09-29 17:55:29 +02:00
AddModZeroProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
AddressPredictor.sol
bugfix missing byte swap for the create2 salt value (#272)
2025-04-03 15:20:22 +02:00
ArrayProbe.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Balance.sol
llvm-context: disable call re-entrancy for send and transfer (#196)
2025-02-06 16:49:50 +01:00
BaseFee.sol
update to polkadot-sdk unstable2507 (#431)
2025-12-15 14:02:48 +01:00
Baseline.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
Bitwise.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
Block.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
BlockHash.sol
revive-runner: enable PVM logs (#442)
2026-01-06 18:31:45 +01:00
ByteOobProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
Call.sol
revive-runner: consider non-reverted transactions as success (#82)
2024-10-14 13:24:59 +02:00
CalldataCopyFmp.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CalldatacopyFmpDynBug.yul
Fix/ny dynamic calldatacopy fmp (#564)
2026-07-08 15:44:11 +02:00
CalldataCopySrcNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CalldataloadOOB.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CallerOriginAliasing.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CallGas.sol
Use the EVM call gas syscall variants (#436)
2025-12-18 17:01:24 +01:00
CallvalueRevertData.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Coinbase.sol
implement the coinbase opcode (#179)
2025-01-29 15:24:45 +01:00
Computation.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
ConstReturnOverflowBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Context.sol
set chain_id in test runtime
2024-09-28 19:17:41 +02:00
CopyOverlapBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CountLeadingZeros.sol
Support solc v0.8.31 (#430)
2025-12-05 15:25:13 +01:00
Create2.sol
integration: add create2 test case with duplicate salt (#188)
2025-02-04 14:04:14 +01:00
Create.sol
Updated call semantics (#56)
2024-09-28 20:03:03 +02:00
Crypto.sol
Updated call semantics (#56)
2024-09-28 20:03:03 +02:00
CustomErrorArgs.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
CustomErrorDupArg.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
DeadStoreOverlapBug.yul
Fix/ny dse overlapping load (#563)
2026-07-08 09:12:30 +02:00
Delegate.sol
Implement delegate_call (#80)
2024-11-23 18:05:21 +01:00
DelegateCaller.sol
integration: add delegate call corner case test (#243)
2025-02-27 11:10:00 +01:00
DivBothConst.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
DivisionArithmetics.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
DivisionArithmeticsConst.sol
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
EncodePackedHash.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ERC20.sol
implement the code size opcodes (#107)
2024-10-31 11:46:47 +01:00
ERC7201.sol
Support solc v0.8.35 (#512)
2026-05-01 20:14:36 +02:00
EscapeProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Events.sol
fixed size event topics
2024-09-10 09:09:52 +02:00
ExpZeroZeroProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
ExtCode.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Factorial.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Fibonacci.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
flipper.sol
storage keys and values should be big endian (#277)
2025-04-07 10:34:44 +02:00
FmpBig.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpBranchOverlapOogBug.yul
Fix/ny unaligned store fmp oog (#566)
2026-07-09 09:13:59 +02:00
FmpCrossObjectBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpDynRevertBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpDynStoreBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpNativeStoreBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpOverlapOogBug.yul
Fix/ny unaligned store fmp oog (#566)
2026-07-09 09:13:59 +02:00
FmpPropCopy.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpRangeProofBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpRevertBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpSlotReturnByteOrder.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FmpUnboundedCompare.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FnNativeFmpBug.yul
Fix/ny fn native fmp oog (#567)
2026-07-08 17:41:05 +02:00
FnSsaIce.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FoldedGuardZext.yul
Fix NY codegen wth folded guard + inlined for-loop (#561)
2026-07-06 12:37:55 +02:00
ForInitScopeIce.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ForLoopFmp.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
FunctionCvReturnOnly.yul
NY: bugfix dead callvalue analysis (#589)
2026-08-14 23:22:56 +02:00
FunctionPointer.sol
integration: add function pointer integration test (#205)
2025-02-10 18:50:12 +01:00
FunctionType.sol
integration: add function return type test (#244)
2025-02-27 10:37:37 +01:00
FuzzySwitchBug.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
GasLeft.sol
update to polkadot-sdk unstable2507 (#431)
2025-12-15 14:02:48 +01:00
GasLimit.sol
update to polkadot-sdk unstable2507 (#431)
2025-12-15 14:02:48 +01:00
GasPrice.sol
update to polkadot-sdk unstable2507 (#431)
2025-12-15 14:02:48 +01:00
HugeConstOffsetStore.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
IfCallFmp.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Immutables.sol
implement immutable variables codegen (#70)
2024-10-10 13:33:00 +02:00
InternalFn.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
KeccakFuseBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
LayoutAt.sol
Support solc v0.8.29 (#261)
2025-03-18 13:01:15 +01:00
LeaveWideOutput.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Library.sol
remove superfluous byte swap in linkersymbol builtin translation (#455)
2026-01-15 12:43:46 +01:00
Linked.sol
remove superfluous byte swap in linkersymbol builtin translation (#455)
2026-01-15 12:43:46 +01:00
LinkerI32BoundaryFoldBug.sol
add integration test for i32 operand overflow in PVM linker const fold (#552)
2026-06-25 18:01:54 +02:00
LoadFwdCopy.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MCopy.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
MCopyOverlap.sol
integration: additional mcopy test (#245)
2025-02-27 11:39:31 +01:00
Mem27.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MemOptOverlapDeadStore.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MemoryBounds.sol
Clip OOB values in call data load and copy (#448)
2026-01-13 10:15:31 +01:00
MemProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MLoad.sol
dedicated safe integer truncation integration test (#435)
2025-12-17 10:25:41 +01:00
ModBothConst.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
MSize.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MsizeCopy.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MsizeDseBug.yul
Fix/ny msize dse expansion (#565)
2026-07-08 16:31:01 +02:00
MsizeForCondition.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MsizeProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MsizeReadOps.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MsizeUnaligned.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
MStore8.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
MulModZeroProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
MultiLeaveReturnNarrow.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
NarrowProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
OpProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicCodeBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicCodes.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicInterveneBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicOutlineCall.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicOutlineYield.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PanicOverwriteSelector.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ParamCondNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ParamMload.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
PastHeapConstReturn.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ReturnDataOob.sol
Updated call semantics (#56)
2024-09-28 20:03:03 +02:00
RevertDataOob.sol
Add missing 63/64 rule documentation and a test (#462)
2026-01-27 19:43:14 +01:00
SAR.sol
llvm-context: bugfix PHI values in SAR builtin translation (#345)
2025-06-14 15:12:03 +02:00
SarOverflowProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SarReturnNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ScratchCopyTaint.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SdivBothConst.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SdivCompareNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SdivIntMinNegOneBug.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SDivNarrowBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SdivReturnNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SelfCall.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SelfCallRd.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Selfdestruct.sol
initial SELFDESTRUCT support (#400)
2025-11-03 15:04:04 +01:00
Send.sol
Use the EVM call gas syscall variants (#436)
2025-12-18 17:01:24 +01:00
SHA1.sol
switch to pallet_revive runtime (#40)
2024-09-03 17:18:22 +02:00
ShiftParamNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
ShlOverflowProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
ShrOverflowProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SignedCmpNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SignextendIndexNarrow.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SignExtendOobProbe.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SmodBothConst.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
SmodIntMinNegOneBug.yul
Fix optimization specific SREM edge case (#527)
2026-05-28 09:01:41 +02:00
Storage.sol
support full storage key space (#100)
2024-10-28 10:18:11 +01:00
StorageProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Store8Fmp.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
StructDeleteStorage.sol
Add integration test for deleting struct (#459)
2026-01-20 14:34:27 +01:00
SubTypeValidation.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SubUnderflowZext.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SwitchCvCseDangling.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SwitchCvFallthrough.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
SwitchCvYieldOnly.yul
NY: bugfix dead callvalue analysis (#589)
2026-08-14 23:22:56 +02:00
SwitchWideLabel.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Transaction.sol
support the origin opcode (#103)
2024-10-29 18:40:25 +01:00
Transfer.sol
Use the EVM call gas syscall variants (#436)
2025-12-18 17:01:24 +01:00
TryCatchCatchReturn.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
TstoreProbe.yul
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Uint128Arithmetic.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
UlongRem.sol
Fix __ulongrem stdlib edge case (#531)
2026-05-28 17:25:23 +02:00
UnalignedMloadNativeBug.sol
Fix/ny unaligned mload native byteorder (#562)
2026-07-07 19:38:21 +02:00
UnalignedMStore8Bug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
UnalignedMStoreBug.sol
The new Yul optimizer toolkit (#519)
2026-06-17 12:35:16 +02:00
Value.sol
Fix implementation for balance_of (#79)
2024-10-12 12:35:10 +02:00