Subway2023

my afl command is this: `` afl-fuzz -t 300+ -m none -i solidity_input_part -o output -Q -- solc --bin -o --overwrite @@ `` my afl-cov command is this: `` ./afl-cov...

```bash afl-fuzz-compiler -1 0 -2 100 -p 4448 -t 300+ -m none -i output -n -- solc-0825 --bin -o output_bin --overwrite @@ ```  When I executed the command, it...

I switch OFF to ON before compile solidity [coverage switch](https://github.com/ethereum/solidity/blob/develop/cmake/EthCompilerSettings.cmake#L249). When I used afl cov in conjunction with solc to test coverage, the following error occurred:  May I ask...

`You shall not have another CompilerStack aside me` error in Remix when compiling with 0.5.9

1

## Description I used the 0.5.9 compiler in Remix to compile the program with an error, but I was able to successfully compile using binary solc ## Environment - Compiler...

Segmentation fault when assigning to a parenthesized non-tuple expression of a tuple type

1

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

SMTChecker is unable to accurately determine the output of bytes.concat

1

## Environment - Compiler version: 0.8.25 - Target EVM version (as per compiler settings): No restrictions - Framework/IDE (e.g. Truffle or Remix): Command-line - EVM execution environment / backend /...

SMTChecker: Incorrectly determines insufficient balance.

1

## Description When the transfer amount is 0, SMTChecker incorrectly determines insufficient balance ## Environment - Compiler version: - Target EVM version (as per compiler settings): - Framework/IDE (e.g. Truffle...

solProtoFuzzer of OSSFUZZ can not generate different solidity program

1

## Description I added code in [solProtoFuzzer.cpp](https://github.com/ethereum/solidity/tree/develop/test/tools/ossfuzz) to output the Solidity program each time, but I found that each outputted program is the same. ## Environment - Compiler version: 0.8.25...

How get coverage for solidity compiler?

1

## Abstract I switch OFF to ON before compile solidity [coverage switch](https://github.com/ethereum/solidity/blob/develop/cmake/EthCompilerSettings.cmake#L249). When I used afl cov in conjunction with solc to test coverage, the following error occurred:  May...