This list is intended to be a central repository of small, focussed CBMC
'nice-to-have' features that would be suitable for first-time CBMC
contributors to get their feet wet with. Projects on this list should
have the following features:
- Small (e.g. <200 LOC) or easy to implement
- This is so that time-constrained contributors (like interns or
students) can use these projects to ramp up before starting their
main CBMC work
- Focussed, touching only one part of the codebase
- This is so that people wanting to learn about one aspect of CBMC
(solver, front-end, symex) can pick a project that involves that
part of the codebase.
- Genuinely useful to somebody
- This is so that somebody will be keen to quickly review and merge
the code, and guide the new contributor in polishing the PR. This
leads to a more rewarding experience for the contributor.