C 언어에 대한 의미 론적 분석

Question

최근에는 C 언어에 대한 의미 론적 분석기를 찾고 있었지만 찾을 수 없었습니다. 파서를 생성하기 위해 flex과 yaccC 개의 언어 파일을 찾았습니다. 나는 그들을 수정하고 파서를 생성 할 수 있었다. 하지만 이제 다음 단계를 수행해야합니다. 어떤 사람이 C에 대한 의미 론적 분석의 예를 지적하고 트리를 만들 수 있으면 고맙겠습니다. 의미 론적 분석에 대한 정보도 도움이 될 것입니다. 내가 작은 C 컴파일러를 찾았지만 그들은 자신의 파서를 사용하므로 스위트가 아니다.

Answer 1

DMS Software Reengineering Toolkit 및 C Front End은 아마도 필요한 것을 제공 할 것입니다.

DMS는 일반 구문 분석, 트리 작성 및 프로그램 분석 기계를 제공합니다. C 프론트 엔드는 C 언어를 전문으로합니다. C (GCC, Microsoft, Green Hills)의 여러 가지 방언/변형을 어두운 곳에서 처리하고, ASTS를 구문 분석하고, ASTS를 작성하고, 제어 및 데이터 흐름 그래프, 점 대 점 분석 및 간접 함수 포인터를 설명하는 글로벌 콜 그래프를 작성합니다.

이 모든 것을 직접 시도해 볼 수도 있지만,이 모든 권리를 얻으려면 인력이 필요합니다.