Skip to content

Conversation

@msooseth
Copy link
Contributor

@msooseth msooseth commented Jan 15, 2026

This is a PR to #16242

It contains the following improvements:

  • CallData is automatically generated by the fuzzer for supported systems
  • gas(), msize() and codesize() are no longer allowed calls by the fuzzer. These can trivially distinguish the optimized vs the unoptimized code. Hence, we'd get a lot of false positives.
  • Don't report issues related to langutil::UnimplementedFeatureError as a bug
  • Better printing of an actual bug found by the system so we can debug easier
  • hevm is now called with cvc5 SMT solver, which is much faster. CVC5 is already installed in the Dockerfile.ubuntu.clang.ossfuzz
  • some .gitignore elements related to fuzzing
  • use newer hevm
  • use boost::container::flat_map<u256, uint8_t> memory; for speed

@cameel
Copy link
Collaborator

cameel commented Jan 15, 2026

I think this needs a rebase. Looks like it's pulling in a lot of earlier commits from @clonker and looks like a huge ball of new code because of this. The only new part is your commit at the end, right?

@msooseth
Copy link
Contributor Author

msooseth commented Jan 15, 2026

Aaaaaaa sorry! I was trying to put it on top of ethereum/ssaCfgCodegen-ossfuzz, not argotorg/ssaCfgCodegen-ossfuzz. Fixing now...

PS: This was not the issue. I am simply an idiot.

@msooseth msooseth force-pushed the ssaCfgCodegen-ossfuzz branch from e1cf932 to b674581 Compare January 15, 2026 16:18
@msooseth msooseth force-pushed the ssaCfgCodegen-ossfuzz-mate branch from c85d915 to 3abc069 Compare January 15, 2026 16:24
@msooseth
Copy link
Contributor Author

@cameel sorry. OK, I made a bit of a mess, but it's clean now. Fixed everything up. Sorry!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants