Trail of Bits Blog company blog

Differ: Tool for testing and validating transformed programs

by "Michael Brown" blog.trailofbits.com published 2024-01-315 min read

We recently released a new differential testing tool, called DIFFER, for finding bugs and soundness violations in transformed programs. DIFFER combines elements from differential, regression, and fuzz testing to help users find bugs in programs that have been altered by software rewriting, debloating, and hardening…

Points

120

HN comments

8

Submissions

1

Cited by

0 commenters

Tools & ProductivitySoftware Engineering2024

Related posts from the same era

Size of Life

NNeal Agarwal20252,619 points277 comments details

I designed a cube that balances itself on a corner

Willem Pennings20242,460 points377 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

macOS command-line tools you might not know about

Ssaurabhs.org20232,039 points442 comments details

Backing up Spotify

AAnna's Archive Blog20251,980 points701 comments details

I've acquired a new superpower

Daniel Wirtz20251,807 points557 comments details