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.
What is the scalability of state of the art static binary analysis techniques?
static analysis;binary analysis