trailmark

Trailmark 소스 코드를 파싱하여 함수, 클래스, 호출 및 보안 분석을 위한 의미 주석의 쿼리 가능한 그래프로 만듭니다. Trailmark는 언어에 구애받지 않는 AST 파싱을 위해 tree-sitter를 사용하고, 고성능 그래프 탐색을 위해 rustworkx를 사용합니다. 장기적인 비전은 이 그래프를 변이 테스트 및 커버리지 가이드 퍼징과 결합하여 사용자 입력으로부터 접근 가능한 가정과 테스트 커버리지 사이의 격차를 식별하는 것입니다. 작동 방식 Trailmark는 파싱 , 인덱싱 , 쿼리 의 세 단계로...