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, regression, and fuzz testing to help users find bugs in programs that have been altered by software rewriting, debloating, and hardening tools. We used DIFFER to evaluate 10 […]

January 31, 2024
Read More >>

A look at the Defence news 22 – 28 January

Dutch Force Protection in Iraq at full strength A 145-strong unit of the air mobile brigade will protect military and civilian advisers in and around Baghdad over the coming period. With the arrival of these last soldiers, this force protection company…

January 31, 2024
Read More >>