Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
Currently calldataload creates a symbol called ```calldata[index]``` while what it should create is a concatination of ```calldata[index] ... calldata[index + 31]``` according to the yellowpaper.
This can cause false positives when mythril can't recognize that msg.data is the second byte in the result from calldataload(36).
### Good first issue
This issue is labeled as a good first issue ( not super simple though). Hop by on our discord server if you'd like to contribute!