SPARTA는 추상 해석 이론을 기반으로 고성능 정적 분석기를 구축하기 위해 특별히 설계된 소프트웨어 컴포넌트 라이브러리입니다.
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.
