---
id: 1958
title: "Trail of Bits @ ICSE 2019 – Recap"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2019/06/19/trail-of-bits-icse-2019-recap/"
published_at: "2019-06-19T14:35:13Z"
tags: ["web3", "smart-contracts", "fuzzing", "research", "static-analysis", "conferences", "icse"]
phying_url: "https://phying.com/item/1958"
lang: en
---

# Trail of Bits @ ICSE 2019 – Recap

## Summary

Trail of Bits recaps ICSE 2019, highlighting SMT-based refutation of Clang false positives, scalable leak detection, differential fuzzing for side channels, and smart contract decompilation research.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2019-06-19T14:35:13Z
- **Original:** https://blog.trailofbits.com/2019/06/19/trail-of-bits-icse-2019-recap/
- **Phying News:** https://phying.com/item/1958