Yu Pan

icon indicating a website link pypy233.github.io icon indicating an email [email protected]

icon company U of Utah icon location Salt Lake City icon location CS PhD student@ University of Utah-> SE B.Eng@ Nanjing University -> Interested in Program Analysis, System & Security

Results 1 issues of Yu Pan

Manticore hang on and m.c.worker:NameError

### Summary of the problem Hi maintainers, Manticore failed to analyze the smart contract below and hang on. ``` solidity pragma solidity ^0.4.18; contract MultiplicatorX3 { address public Owner =...

bug