Request: Example code (written in C) that makes strong use of assertions

Vote count:

0

I'm doing research in the field of software verification for a public university in Germany. To this end, I'm looking for a wide range of example source code (written in C) that makes strong use of assertions. Unfortunately, most open source tools in practice disregard assertions completely (or are already too complex for our tools). That's why I'm asking for your help. Concretely, I'm looking for examples that

• have an average or high complexity (too small examples wouldn't be that interesting for my purpose, too complex ones wouldn't help either),


• have none or only few dependencies to (proprietary) libraries / frameworks (unfortunately, our verification tool doesn't like external library functions very much at this time),


• use assertions to check meaningful properties at runtime,


• have a commandline-interface (i.e. no GUI-only)

It's all about the verification of real-world software - in this case, the automatic verification of assertions inside C code. Thus, I'd like to use such examples to evaluate my verification approach. Moreover, all results will be made public and will be free to use.

Thanks for your help!

Best regards, Zenscr.

asked 33 secs ago

user3696787

1