Merge branch 'master' into feat/capture-return-values

crytic · Jan 14, 2025 · ed8c13c · ed8c13c
2 parents 5032f48 + 68a14ff
commit ed8c13c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 9 deletions.
diff --git a/compilation/abiutils/solidity_errors.go b/compilation/abiutils/solidity_errors.go
@@ -119,7 +119,7 @@ func GetPanicReason(panicCode uint64) string {
 	case PanicCodeAssertFailed:
 		return "panic: assertion failed"
 	case PanicCodeArithmeticUnderOverflow:
-		return "panic: arithmetic underflow"
+		return "panic: arithmetic underflow/overflow"
 	case PanicCodeDivideByZero:
 		return "panic: division by zero"
 	case PanicCodeEnumTypeConversionOutOfBounds:

diff --git a/fuzzing/corpus/corpus.go b/fuzzing/corpus/corpus.go
@@ -3,6 +3,14 @@ package corpus
 import (
 	"bytes"
 	"fmt"
+	"math/big"
+	"os"
+	"path/filepath"
+	"regexp"
+	"strconv"
+	"sync"
+	"time"
+
 	"github.com/crytic/medusa/chain"
 	"github.com/crytic/medusa/fuzzing/calls"
 	"github.com/crytic/medusa/fuzzing/coverage"
@@ -12,13 +20,6 @@ import (
 	"github.com/crytic/medusa/utils/randomutils"
 	"github.com/ethereum/go-ethereum/common"
 	"github.com/google/uuid"
-	"math/big"
-	"os"
-	"path/filepath"
-	"regexp"
-	"strconv"
-	"sync"
-	"time"
 
 	"github.com/crytic/medusa/fuzzing/contracts"
 )
@@ -363,7 +364,7 @@ func (c *Corpus) Initialize(baseTestChain *chain.TestChain, contractDefinitions
 			covMaps := coverage.GetCoverageTracerResults(messageResults)
 			_, _, covErr := c.coverageMaps.Update(covMaps)
 			if covErr != nil {
-				return 0, 0, err
+				return 0, 0, covErr
 			}
 		}
 	}