타입체크를 런타임에 한다고 동적타입이면 C도 동적타입 언어 인가요?

네 C가 타입체크를 런타임에 하면 동적타입 언어입니다.
그렇지 않기 때문에 정적 타입입니다.

void 포인터는 그냥 원래 자료형을 알 수 없는 raw 포인터입니다. 해당 포인터가 가르키는 주소에 어떤 타입이 있는지는 알 수 없습니다.