Subway2023

Modify readme in ossfuzz

1

According to the new readme instruction, Ossfuzz can be successfully compiled.

How do I attack the original vulnerable Linea's PLONK verifier.sol?

The Yul optimizer causes mstore results to be inconsistent.

4

## Environment - Compiler version: 0.8.26 - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): None - EVM execution environment / backend / blockchain...

## Environment - Compiler version: - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): None - EVM execution environment / backend / blockchain client:...

### Describe the issue: When handling internal function pointers, information about function visibility (internal, external) can be lost. ### Code example to reproduce the issue: ```solidity contract C { function()...

”read_storage cannot determine the storage layout of custom type variables within a struct.

1

### Describe the issue: If a structure contains custom types, the read_storage tool cannot determine the storage layout of that struct variable. ### Code example to reproduce the issue: ####...

The function get_storage_slot in read_storage.py cannot accurately determine the slot where variables in the structure are located.

1

### Describe the issue: If the first variable x in the structure has a size of m bits (m < 256) and the second variable y has a size of...

IR-base codegen, abicoder v1, Ast import lack of memory protection mechanism

1

## Description When writing a large number to memory, the legacy codegen successfully optimizes out the mstore statement without causing the program to revert. However, the IR-based codegen, abicoder v1,...

- Compiler version: 0.8.27 - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): Remix - EVM execution environment / backend / blockchain client: None...

SMTChecker: struct variable push() cause false positive

1

## Environment - Compiler version: 0.8.27 - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): None - EVM execution environment / backend / blockchain...