Tool for structural testing of C programs