What is the largest program that has been analyzed by a semantics-based static binary analysis?
By semantics-based, I mean an analysis that examines the meaning of the program, and does not simply perform a computation on the syntax of the program, such as computing an md5sum
.