CodA is a toolkit performing advanced static and dynamic analysis on a given source code.
Static analysis includes control flow graph (CFG) and prime path extraction.
Dynamic analysis includes instrumenting code and path coverage computation. Currently, we support CPP 14 programs.
For more information, please refer to the CodA documentation website: https://m-zakeri.github.io/CodA.