Mastodawn

A simple runtime invariant miner

이 글은 Python으로 구현한 Daikon 스타일의 런타임 인바리언트 마이너를 소개합니다. sys.settrace를 활용해 함수 진입과 종료 시점에서 변수 상태를 추적하고, 후보 인바리언트를 생성해 관찰된 모든 상태에서 참인지 검사합니다. 이를 통해 테스트 오라클 문제를 완화하며, 리그레션 테스트 시 코드 변경으로 인한 동작 변화를 자동으로 감지할 수 있습니다. 프로그램 포인트별로 인바리언트를 구분하고, 중복되는 인바리언트는 억제하는 기능도 포함되어 있습니다. 이 구현은 AI 개발자들이 프로그램 동작을 자동으로 분석하고 검증하는 데 참고할 수 있는 실용적 도구입니다.