Contract: Unknown

Description

When I run on some addresses, the output shows the contract address field as “unknown” (Yes, it is lowercase). E.g., === Potential denial-of-service if block gas limit is reached === SWC ID: 128 Severity: Low Contract: unknown Function name: constructor PC address: 361 …

How to Reproduce

I do not know how to reproduce as of yet, since I am running parallel threads and was expecting to get the contract address of a particular address from its output result (which is ‘unknown’ in this example)

Expected behavior

The address that was passed in should also be put out into the output if an exploit exists for that contract.

other

I can try and code something that puts the address in question whenever this happens into a file while I am running my program… but I need to wait until my current program finishes completion on the subset of data its working with.

EDIT All of these contracts that show ‘unknown’ in the Contract field have the same constructor name: constructor.

[norhh]

It might take some time for the next release, as this is Christmas time and a bunch of PRs are still in review. Is there a way to know when a release has occurred It may not be that easy, One way is to try installing new mythril version each time you are running a script, Like if you have 0.21.20 then try installing 0.21.21 each time you run the script if no release was done it will just fail.

[nbanmp]

Thanks. I can confirm that the fix will work on that contract!