diff --git a/CHANGELOG.md b/CHANGELOG.md index 951d87644..b97604d16 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,7 +6,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). ## Added -- When a staticcall is made to a contract that does not exist, we overapproxiate +- When a staticcall is made to a contract that does not exist, we overapproximate and return symbolic values ## Fixed