crytic / crytic/slither

[Bug]: Dot File Not Generated for Global functions?

Open
#1,199 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

### Describe the issue:

In the example below a dot file is not generated for the addressToUnit256 function. It seems to because it is not located inside of a contract rather it is a global function in a way. Is there a way to fix this?

### Code example to reproduce the issue:

```
function addressToUint256(address a) public pure returns (uint256) {
return uint256(uint160(a));
}

abstract contract Example {

}

```

### Version:

0.8.2

### Relevant log output:

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.