Introducing DIFFER, a new tool for testing and validating...

avatar

Stream of Goodies

Hacker News: Front Page's profile picture on Select App
HNF

Hacker News: Front Page

·2 years ago
shared a link post in group #Stream of Goodies
Introducing DIFFER, a new tool for testing and validating transformed programs
blog.trailofbits.com

Introducing DIFFER, a new tool for testing and validating transformed programs

By Michael Brown We recently released a new differential testing tool, called DIFFER, for finding bugs and soundness violations in transformed programs. DIFFER combines elements from differential, …

Comment here to discuss with all recipients or tap a user's profile image to discuss privately.

Embed post to a webpage :
<div data-postid="roognyo" [...] </div>
Powered bySelect·iOS·Android
Privacy|Terms|