Jun 01, 2024 · Xr0 Team
We completed the first version of our static debugger. We are working on solving buffer overflows.
It has taken us the last two months or so to implement 0db. 0db is the compile-time analogue of runtime debuggers like GDB. While runtime debuggers require you to execute a program in order to analyse it, 0db shows line-by-line the state of a C program on the basis of the semantics of the language alone.
This is significant because at runtime we interact with a very tiny subset of a program’s possible behaviours. In the state supplied by 0db you see at once what applies to all possible executions of a program.
Learn more about how 0db works on our website and try it out for yourself.
The next thing on the roadmap for Xr0 is solving buffer overflows, which we’re tracking under [#55]. Currently we do not track the sizes of objects within our model of C’s semantics. We don’t yet have enough clarity to propose dates for this, but will post an update as soon as we do.
Subscribe via email.