trailofbits / polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Apache License 2.0
516 stars 47 forks source link

Polytracker CI should run all possible commands for regression purposes #6532

Open kaoudis opened 1 year ago

kaoudis commented 1 year ago

We currently run unit tests as well as a couple of the example Dockerfiles in CI, but this existing coverage does not seem to cover all Polytracker commands. Some features such as grammar generation and now info (see #6530, https://github.com/trailofbits/polytracker/tree/fix_polytracker_info) have bitrotted over time.

While I'm not sure if functional testing comes from "agile" full stack development, that's where I'm familiar with it from!

If the existing test suite and example Dockerfiles running in CI are not sufficient to ensure all the Polytracker features continue to work (preventing regressions), some ideas to broaden test coverage: