---
id: 1753
title: "Using mutants to improve Slither"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/08/17/using-mutants-to-improve-slither/"
published_at: "2022-08-17T13:00:12Z"
tags: ["smart-contracts", "software-testing", "static-analysis", "blockchain", "mutation-testing", "slither"]
phying_url: "https://phying.com/item/1753"
lang: en
---

# Using mutants to improve Slither

## Summary

Researchers used mutation testing to seed bugs in smart contracts and check whether Slither detects them, deriving new rules for Boolean constant misuse, type-based tautologies, and precision loss.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-08-17T13:00:12Z
- **Original:** https://blog.trailofbits.com/2022/08/17/using-mutants-to-improve-slither/
- **Phying News:** https://phying.com/item/1753