File tree Expand file tree Collapse file tree 2 files changed +13
-0
lines changed
Expand file tree Collapse file tree 2 files changed +13
-0
lines changed Original file line number Diff line number Diff line change 5454 fail-on : none
5555
5656 - name : Upload findings to GitHub Advanced Security Dashboard
57+ continue-on-error : true
5758 uses : github/codeql-action/upload-sarif@v3
5859 with :
5960 sarif_file : ${{ steps.slither.outputs.sarif }}
Original file line number Diff line number Diff line change @@ -349,6 +349,18 @@ abstract contract StdCheatsSafe {
349349 );
350350 }
351351
352+ function assumeUnusedAddress (address addr ) internal view virtual {
353+ uint256 size;
354+ assembly {
355+ size := extcodesize (addr)
356+ }
357+ vm.assume (size == 0 );
358+
359+ assumeNotPrecompile (addr);
360+ assumeNotZeroAddress (addr);
361+ assumeNotForgeAddress (addr);
362+ }
363+
352364 function readEIP1559ScriptArtifact (string memory path )
353365 internal
354366 view
You can’t perform that action at this time.
0 commit comments